SAT for Epistemic Logic Using Belief Bases.
Emiliano LoriniFabián RomeroPublished in: EMAS@AAMAS (2019)
Keyphrases
- epistemic logic
- belief base
- belief merging
- logical framework
- belief revision
- modal logic
- model checking
- possibilistic logic
- sat solvers
- belief change
- multi agent systems
- dynamic epistemic logic
- multi faceted
- inference rules
- formal semantics
- merging operators
- mathematical theory
- minimal change
- knowledge base
- propositional logic
- nonmonotonic reasoning
- preference relations
- game theory
- first order logic
- software engineering
- probabilistic model