Keyphrases
- event calculus
- reasoning tasks
- commonsense reasoning
- reasoning about actions and change
- situation calculus
- temporal reasoning
- automated reasoning
- description logics
- partially ordered
- answer set programming
- domain specific knowledge
- logic programming
- decision procedures
- transitive closure
- deductive databases
- reasoning about actions
- propositional logic
- knowledge base
- knowledge representation
- temporal information
- domain knowledge
- expert systems