An Agent Language with Destructive Assignment and Model-Theoretic Semantics.
Robert A. KowalskiFariba SadriPublished in: CLIMA (2010)
Keyphrases
- model theoretic
- operational semantics
- deductive databases
- reasoning mechanism
- description logics
- decision procedures
- proof theoretic
- logic programs
- multi agent systems
- fixpoint semantics
- fixpoint
- default reasoning
- probabilistic reasoning
- multi agent
- multiagent systems
- autonomous agents
- formal semantics
- intelligent agents
- mental states
- dynamic environments
- declarative semantics
- automated reasoning
- action theories
- modal logic
- query evaluation
- xml documents