Expressing Collaboration And Competition Among Abductive Logic Agents.
Anna CiampoliniEvelina LammaPaola MelloPaolo TorroniPublished in: WOA (2000)
Keyphrases
- logic programming
- multi agent
- multi agent systems
- abductive reasoning
- dynamic logic
- alternating time temporal logic
- abductive logic programming
- logical framework
- epistemic logic
- multiagent systems
- autonomous agents
- multiple agents
- cooperative
- software agents
- artificial agents
- agent systems
- intelligent agents
- mobile agents
- proof procedure
- logic programs
- decision making
- coalition formation
- dynamic environments
- information exchange
- exchange information
- agent model
- information sharing
- knowledge representation
- resource allocation
- collaborative learning
- coalition logic
- probabilistic logic
- human agent
- normative systems
- incomplete information
- model checking
- classical logic
- agent architecture
- mechanism design
- team members
- plan recognition