Graded Modal Logic GS5 and Itemset Support Satisfiability.
Yakoub SalhiSaïd JabbourLakhdar SaisPublished in: ISIP (2012)
Keyphrases
- modal logic
- decision procedures
- description logic alc
- temporal logic
- inference rules
- satisfiability problem
- epistemic logic
- itemsets
- np complete
- situation calculus
- explanation based generalization
- prime implicates
- nonmonotonic logics
- classical logic
- default logic
- computational complexity
- domain knowledge
- association rules
- propositional logic
- dynamic logic
- desirable properties