Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate

  title={Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate},
  author={Anna Ciampolini and Evelina Lamma and Paola Mello and Francesca Toni and Paolo Torroni},
  journal={Annals of Mathematics and Artificial Intelligence},
This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents, and where the raised hypotheses have to be consistent for the overall set of agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomous, since each one… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 53 references

Logic agents

  • F. Sadri, F. Toni, P. Torroni
  • dialogues and negotiation: an abductive approach…
  • 2001
Highly Influential
8 Excerpts

The role of abduction in logic programming

  • A. C. Kakas, R. A. Kowalski, F. Toni
  • in: Handbook of Logic in Artificial Intelligence…
  • 1998
Highly Influential
3 Excerpts

KQML as and agent communication language

  • T. Finin, Y. Labrou, J. Mayfield
  • in: Software Agents, ed. J. Bradshaw
  • 1997
Highly Influential
4 Excerpts

On the relation between truth maintenance and abduction

  • A. C. Kakas, P. Mancarella
  • in: Proc. of the first Pacific Rim International…
  • 1990
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…