Foundations of a Logical Approach to Agent Programming.
Yves LespéranceHector J. LevesqueFangzhen LinDaniel MarcuRaymond ReiterRichard B. ScherlPublished in: ATAL (1995)
Keyphrases
- agent programming
- partially observable stochastic domains
- agent systems
- game theoretic
- situation calculus
- mental states
- multi agent
- dynamic logic
- partial observability
- multi agent planning
- artificial intelligence
- operational semantics
- control program
- intelligent agents
- game theory
- computational complexity
- autonomous agents
- decision problems
- learning algorithm
- partially observable