Tractable Reasoning about Agent Programming in Dynamic Preference Logic.
Marlo SouzaÁlvaro F. MoreiraRenata VieiraPublished in: BRACIS (2018)
Keyphrases
- agent programming
- dynamic logic
- game theoretic
- operational semantics
- partially observable stochastic domains
- artificial intelligence
- situation calculus
- mental states
- partial observability
- multi agent
- domain independent
- dynamical systems
- intelligent agents
- distributed systems
- agent systems
- dynamic programming
- agent communication
- modal operators
- np hard
- control program
- computational complexity
- multi agent planning