Prospective logic agents.
Luís Moniz PereiraGonçalo LopesPublished in: Int. J. Reason. based Intell. Syst. (2009)
Keyphrases
- multi agent systems
- epistemic logic
- dynamic logic
- multi agent
- logical framework
- dynamic environments
- intelligent agents
- multiagent systems
- software agents
- alternating time temporal logic
- artificial agents
- multiple agents
- normative systems
- cooperative
- autonomous agents
- modal logic
- agent architecture
- decision making
- coalition logic
- multi valued
- agent systems
- distributed agents
- mobile agents
- logic programming
- learning agents
- cognitive agents
- single agent
- automated reasoning
- resource allocation
- asynchronous circuits
- combinatorial auctions
- automated negotiation
- action selection
- complex environments
- agent technology
- trust model
- model checking
- search algorithm
- knowledge base