An Implementation for Abductive Logic Agents.
Anna CiampoliniEvelina LammaPaola MelloCesare StefanelliPaolo TorroniPublished in: AI*IA (1999)
Keyphrases
- logic programming
- multi agent
- multi agent systems
- intelligent agents
- multiagent systems
- logical framework
- alternating time temporal logic
- dynamic logic
- abductive reasoning
- cooperative
- software agents
- abductive logic programming
- multiple agents
- resource allocation
- autonomous agents
- decision making
- proof procedure
- epistemic logic
- agent model
- agent architecture
- probabilistic logic
- agent systems
- agent technology
- interacting agents
- normative systems
- modal logic