Tractable reasoning about Agent Programming in Dynamic Preference Logic.
Marlo SouzaÁlvaro F. MoreiraRenata VieiraPublished in: CoRR (2019)
Keyphrases
- agent programming
- dynamic logic
- operational semantics
- partially observable stochastic domains
- situation calculus
- agent systems
- game theoretic
- dynamic environments
- modal operators
- mental states
- reasoning about actions
- multi agent planning
- multi agent
- multi agent systems
- computational complexity
- partial observability