Token-based Execution Semantics for Multi-Agent Epistemic Planning.
Thorsten EngesserRobert MattmüllerBernhard NebelFelicitas RitterPublished in: KR (2020)
Keyphrases
- multi agent
- epistemic logic
- kripke models
- plan generation
- plan execution
- multi agent systems
- modal logic
- reactive planning
- planning problems
- multi agent planning
- modal operators
- plan recognition
- single agent
- control flow
- concurrent execution
- formal semantics
- active rules
- reactive agents
- agent communication
- logic program updates
- multiagent systems
- data flow
- heuristic search
- propositional dynamic logic
- dynamic epistemic logic
- cooperative
- planning under uncertainty
- model theoretic
- decision theoretic
- heterogeneous agents
- autonomous agents
- domain independent
- durative actions
- logic programming