A Compete Modal Proof for HAL: the Herbrand Agent Language.
Zineb HabbasPublished in: Theor. Comput. Sci. (1993)
Keyphrases
- dynamic logic
- agent programming
- multi agent
- logic programming
- logic programs
- multiagent systems
- modal logic
- multi agent systems
- programming language
- decision making
- agent architecture
- software agents
- intelligent agents
- declarative semantics
- agent communication
- language learning
- natural language
- proof theory
- mobile agents
- logic programming language
- artificial intelligence
- artificial agents
- agent systems
- autonomous agents
- first order logic
- dynamic environments
- agent technology
- agent model
- mental states
- pedagogical agents
- multiple agents
- specification language
- cooperative
- speech acts
- theorem proving
- temporal logic
- data model
- conversational agent
- bayesian networks