Agent programming with temporally extended goals.
Koen V. HindriksWiebe van der HoekM. Birna van RiemsdijkPublished in: AAMAS (1) (2009)
Keyphrases
- agent programming
- temporally extended goals
- partial observability
- symbolic model checking
- temporal logic
- heuristic search
- situation calculus
- model checking
- agent systems
- partially observable
- planning problems
- belief state
- game theoretic
- temporally extended
- modal logic
- linear temporal logic
- belief space
- dynamic logic
- planning domains
- mental states
- multi agent
- markov decision process
- reinforcement learning
- operational semantics
- control program
- partially observable markov decision processes
- classical planning
- partial information