The Event Calculus in Classical Logic - Alternative Axiomatisations.
Rob MillerMurray ShanahanPublished in: Electron. Trans. Artif. Intell. (1999)
Keyphrases
- classical logic
- event calculus
- commonsense reasoning
- logic programming
- reasoning tasks
- situation calculus
- modal logic
- deductive databases
- domain specific knowledge
- partially ordered
- temporal reasoning
- default logic
- autoepistemic logic
- logic programs
- transitive closure
- partial order
- general theory
- valued logic
- domain independent
- nonmonotonic reasoning
- domain knowledge
- possibility theory
- qualitative and quantitative
- graphical models
- object oriented
- query processing