A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus.
Erik T. MuellerPublished in: FLAIRS Conference (2004)
Keyphrases
- commonsense reasoning
- event calculus
- situation calculus
- deductive databases
- partially ordered
- domain specific knowledge
- reasoning tasks
- temporal reasoning
- transitive closure
- nonmonotonic reasoning
- knowledge representation
- incomplete information
- propositional logic
- artificial intelligence
- domain independent
- partial order
- general theory
- machine learning
- bayesian networks
- directed acyclic graph
- database