Agents' reasoning using TIL-Script and Prolog.
Martina CíhalováNikola CiprichMarie DuzíMarek MensíkPublished in: EJC (2009)
Keyphrases
- resource bounded
- reasoning process
- multi agent
- multi agent systems
- knowledge base
- knowledge representation
- multi agent decision making
- distributed constraint satisfaction
- logical framework
- multiple agents
- incomplete knowledge
- cooperative
- cognitive agents
- inference engine
- multiagent systems
- autonomous agents
- intelligent agents
- backward chaining
- plan execution
- software agents
- agent technology
- mobile agents
- expert systems
- artificial agents
- agent systems
- agent architecture
- meta reasoning
- interacting agents
- coalition formation
- resource allocation
- argumentation systems
- constraint logic programming
- learning agents
- programming language
- bdi agents
- reasoning tasks
- intelligent behavior
- automated reasoning
- agent interactions
- legal reasoning
- description logics
- dynamic environments
- abstract machine
- reasoning and decision making
- logic programming