Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability.
Liangda FangKewen WangZhe WangXiming WenPublished in: AAAI (2019)
Keyphrases
- modal logic
- multi agent
- disjunctive normal form
- boolean functions
- decision rules
- normal form
- kripke models
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- classification rules
- multi agent systems
- conjunctive normal form
- situation calculus
- membership queries
- reinforcement learning
- default logic
- model checking
- learning algorithm
- database design
- np complete
- search algorithm