Clausal Tableaux for Multimodal Logics of Belief.
Rajeev GoréLinh Anh NguyenPublished in: Fundam. Informaticae (2009)
Keyphrases
- decision procedures
- modal logic
- modal operators
- theorem proving
- automated reasoning
- inference rules
- prime implicates
- nonmonotonic logics
- temporal logic
- multi modal
- sequent calculi
- conjunctive queries
- belief functions
- epistemic logic
- model theoretic
- dynamic logic
- belief revision
- situation calculus
- multimodal interaction
- subjective logic
- audio visual
- defeasible logic
- conditional logic
- machine learning
- sequent calculus
- expressive power
- truth values
- knowledge compilation
- inductive logic programming
- default logic
- constraint propagation
- temporal resolution
- multimedia
- probability theory