A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.
Kees van BerkelTim LyonFrancesco OlivieriPublished in: CLAR (2020)
Keyphrases
- reasoning about actions
- multi agent
- situation calculus
- action theories
- logic programming
- dynamic logic
- propositional dynamic logic
- multi agent systems
- action language
- agent societies
- normative systems
- kripke models
- classical logic
- logic programs
- reinforcement learning
- indirect effects
- event calculus
- coalition formation
- answer set programming
- minimal change
- initial state
- datalog programs
- databases
- reasoning tasks
- deductive databases
- multiagent systems
- knowledge representation
- high level