OPENLOG: A Logic Language to Program Reactive and Rational Agents.
Jacinto A. DávilaPublished in: ILPS (1997)
Keyphrases
- rational agents
- declarative semantics
- programs written
- nonmonotonic logics
- logic programming
- functional programs
- computer programs
- programming language
- logic programs
- game theoretic
- bounded rationality
- dynamic logic
- modal operators
- mental states
- incentive compatible
- autonomous agents
- multi agent
- coalition formation
- decision theory
- belief revision
- natural language
- default reasoning
- goal directed
- model checking