Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.
Hudson TurnerPublished in: J. Log. Program. (1997)
Keyphrases
- logic programs
- default theories
- action theories
- situation calculus
- logic programming
- answer set programming
- default logic
- reasoning about actions
- autoepistemic logic
- nonmonotonic reasoning
- answer sets
- concurrent actions
- default reasoning
- event calculus
- stable models
- fixpoint
- classical logic
- initial state
- reasoning tasks
- nonmonotonic logics
- modal logic
- background knowledge
- deductive databases
- inductive logic programming
- model theoretic
- logic programming language
- horn clauses
- primitive actions
- dynamic programming
- knowledge representation and reasoning