Modal extensions of Łukasiewicz logic for modelling coalitional power.
Tomás KroupaBruno TeheuxPublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- nonmonotonic logics
- default logic
- temporal logic
- power consumption
- classical logic
- knowledge representation formalisms
- chip design
- modal operators
- epistemic logic
- default theories
- automated reasoning
- inference rules
- logic programming
- propositional logic
- defeasible logic
- causal reasoning
- predicate logic
- default reasoning
- efficient implementation
- truth maintenance systems
- special case
- argumentation semantics
- data sets