Combining Event Calculus and Description Logic Reasoning via Logic Programming.
Peter BaumgartnerPublished in: CoRR (2021)
Keyphrases
- reasoning tasks
- event calculus
- logic programming
- description logics
- logic programs
- reasoning problems
- answer set programming
- knowledge base
- knowledge representation
- deductive databases
- commonsense reasoning
- knowledge representation and reasoning
- nonmonotonic reasoning
- programming language
- answer sets
- dl lite
- default logic
- reasoning about actions
- probabilistic reasoning
- classical logic
- automated reasoning
- inductive logic programming
- fixpoint
- xml documents
- computational properties
- artificial intelligence
- linear logic