Quantitative Modal Logic and Possibilistic Reasoning.
Churn-Jung LiauBertrand I-Peng LinPublished in: ECAI (1992)
Keyphrases
- modal logic
- intuitionistic logic
- classical logic
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- epistemic logic
- situation calculus
- conditional logic
- reasoning tasks
- sequent calculus
- possibilistic networks
- possibilistic logic
- qualitative models
- reasoning systems
- probability theory
- dynamic logic
- default logic
- knowledge representation
- explanation based generalization
- uncertain information
- description logic alc
- autoepistemic logic
- linear logic
- prime implicates
- legal reasoning
- probabilistic reasoning
- logic programming
- knowledge representation and reasoning
- possibility theory
- reasoning about actions
- probabilistic logic
- automated reasoning
- qualitative reasoning
- model checking
- description logics
- multi agent systems
- knowledge base
- artificial intelligence