The refinement extension principle for semantics of dynamic logic programming (Q2574878)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The refinement extension principle for semantics of dynamic logic programming |
scientific article |
Statements
The refinement extension principle for semantics of dynamic logic programming (English)
0 references
2 December 2005
0 references
Logic Programming
0 references
Dynamic Logic Programming
0 references
Updates
0 references
Belief Change
0 references
Non-monotonic Reasoning
0 references
Answer-set Programming
0 references
Stable Model Semantics
0 references
