An analytic tableau calculus for a temporalised belief logic.
Ji MaMehmet A. OrgunKamel AdiPublished in: J. Appl. Log. (2011)
Keyphrases
- tableau calculus
- defeasible logic
- description logics
- knowledge base
- belief revision
- modal logic
- truth values
- modal operators
- rule base
- probability theory
- knowledge representation and reasoning
- automated reasoning
- machine learning
- propositional logic
- logic programming
- nonmonotonic logics
- truth maintenance systems
- minimal models