Keyphrases
- agent programming
- dynamic logic
- situation calculus
- modal logic
- game theoretic
- agent systems
- operational semantics
- control program
- mental states
- declarative semantics
- multi agent
- partial observability
- decision theoretic
- automated reasoning
- logic programming language
- proof theory
- data sets
- reasoning about actions
- classical logic
- fixpoint
- multi valued
- logic programming
- automatic programming
- inference rules
- temporal logic
- logic programs
- multi agent systems
- database
- recursive programs