Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.
Joohyung LeeRavi PallaPublished in: J. Artif. Intell. Res. (2012)
Keyphrases
- general theory
- stable models
- event calculus
- answer set programming
- situation calculus
- logic programs
- reasoning tasks
- logic programming
- answer sets
- stable model semantics
- action theories
- answer set programs
- initial state
- indirect effects
- deductive databases
- action language
- theorem prover
- nonmonotonic reasoning
- modal logic
- default theories
- knowledge representation
- reasoning about actions