Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
Thomas EiterVolker KlotzHans TompitsStefan WoltranPublished in: TABLEAUX (2002)
Keyphrases
- nonmonotonic logics
- reasoning tasks
- modal logic
- description logics
- nonmonotonic reasoning
- logic programming
- propositional logic
- temporal reasoning
- automated reasoning
- default logic
- situation calculus
- abductive reasoning
- formal specification
- qualitative and quantitative
- contextual information
- general purpose
- knowledge base
- artificial intelligence