Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.
Erik T. MuellerGeoff SutcliffePublished in: FLAIRS Conference (2005)
Keyphrases
- event calculus
- automated theorem proving
- reasoning tasks
- answer set programming
- theorem prover
- automated reasoning
- first order logic
- theorem proving
- commonsense reasoning
- situation calculus
- transitive closure
- logic programming
- temporal reasoning
- deductive databases
- action theories
- classical logic
- answer sets
- expressive power
- partially ordered
- logic programs
- description logics
- domain specific knowledge
- probabilistic reasoning
- artificial intelligence
- knowledge base
- stable models
- horn clauses
- knowledge representation
- inference rules