An abductive logic programming architecture for negotiating agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2424, Issue , 2002, Pages 419-431

  Sadri, Fariba ^a   Toni, Francesca ^a   Torroni, Paolo ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

ABDUCTIVE LOGIC PROGRAMMING; AGENT NEGOTIATIONS; AGENT SYSTEMS; EXISTING ARCHITECTURES; LOGIC-BASED AGENTS; NEGOTIATING AGENTS; OPERATIONAL MODEL;

COMPUTER CIRCUITS;

EID: 77952023993     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. Handbook of Logic in AI and Logic Programming 5 (1998) 235-324
2. Kowalski, R.A., Sadri, F.: From logic programming to multi-agent systems. Annals of Mathematics and AI (1999)
3. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming (1997)
4. Sadri, F., Toni, F.: Abduction with negation as failure for active and reactive rules. In Proc. AI*IA'99. LNAI 1792, Springer-Verlag (2000) 49-60
5. Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Intelligent Agents VIII. LNAI 2333, Springer-Verlag (2002)
6. Sadri, F., Toni, F., Torroni, P.: Logic agents, dialogues and negotiation: an abductive approach. In: Proc. AISB'01 Convention, York, UK. (2001)
7. Torroni, P., Toni, F.: Extending a logic based one-to-one negotiation framework to one-to-many negotiation. In: ESAW II. LNAI 2203, Springer-Verlag (2001)
8. Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.: Semantics of communicating agents based on deduction and abduction. In: Proc. CABS. (1999)
9. Kraus, S., Sycara, K., Evenchik, A.: Reaching agreements through argumentation; a logical model and implementation. Artificial Intelligence 104 (1998) 1-69
10. Amgoud, L., Parsons, S., Maudet, N.: Arguments, dialogue and negotiation. In: Proc. 14th ECAI, Berlin, Germany, IOS Press (2000)
11. Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8 (1998) 261-292
12. Roli, A., Torroni, P.: Logics, local search and resource allocation (short paper). In: Proc. STAIRS, Lyon, France. (2002)