Specifying and Reasoning with Institutional Agents.
Filipe SantosOlga PachecoPublished in: ICAIL (2003)
Keyphrases
- resource bounded
- reasoning process
- multi agent systems
- multi agent decision making
- multi agent
- multiagent systems
- cognitive agents
- autonomous agents
- multiple agents
- logical framework
- incomplete knowledge
- agent architecture
- coalition formation
- intelligent agents
- software agents
- cooperative
- higher education
- artificial agents
- dynamic environments
- bdi agents
- reasoning systems
- resource allocation
- knowledge base
- argumentation systems
- distributed constraint satisfaction
- bdi architecture
- reasoning and decision making
- game theoretic
- internal and external
- decision making
- agent technology
- automated reasoning
- reasoning tasks
- past experience
- meta level
- intelligent behavior
- incomplete information
- mobile agents
- artificial intelligence
- agent model
- learning agents
- combinatorial auctions
- agent systems
- meta reasoning
- logic programs
- state space
- knowledge representation