Situation Calculus Specifications for Event Calculus Logic Programs.
Rob MillerPublished in: LPNMR (1995)
Keyphrases
- logic programs
- event calculus
- situation calculus
- logic programming
- reasoning tasks
- stable models
- answer sets
- fixpoint
- action theories
- initial state
- deductive databases
- answer set programming
- reasoning about actions
- background knowledge
- concurrent actions
- modal logic
- indirect effects
- inductive logic programming
- sensing actions
- horn clauses
- high level
- universally quantified