Forgetting in multi-agent modal logics.
Liangda FangYongmei LiuHans van DitmarschPublished in: Artif. Intell. (2019)
Keyphrases
- modal logic
- multi agent
- decision procedures
- kripke models
- temporal logic
- inference rules
- nonmonotonic logics
- incremental learning
- multi agent systems
- classical logic
- cooperative
- epistemic logic
- multiple agents
- reinforcement learning
- multiagent systems
- default logic
- situation calculus
- machine learning
- autoepistemic logic
- autonomous agents
- special case
- action theories
- conjunctive queries
- dynamic logic