Paolo Torroni's Publications

Citations (in google order)

...if you found my articles interesting, you may also want to read related work by other authors! This page contains links to articles that cite some of my papers, which I am aware of. Enjoy!

Articles citing the following work on negotiation dialogues:

Fariba Sadri, Francesca Toni, and Paolo Torroni. Logic agents, dialogues and negotiation: an abductive approach. In Kosthas Stathis and Michael Schroeder, eds., Proceedings of the Symposium on Information Agents for E-Commerce, AISB'01, York, UK, March 2001.

Fariba Sadri, Francesca Toni, and Paolo Torroni. Dialogues for negotiation: agent varieties and dialogue sequences. In John-Jules Meyer and Milind Tambe, eds., Intelligent Agent VIII, revised papers from the 8th International Workshop on Agent Theories, Applications, and Languages (ATAL'01), Seattle, WA, USA, August 1-3, 2001. Best paper award. LNAI 2333, pp. 405-421. © Springer-Verlag, 2002.

Fariba Sadri, Francesca Toni, and Paolo Torroni. An abductive logic programming architecture for negotiating agents. In Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone, eds., Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), Cosenza, Italy, September, 23-26, 2002. LNAI 2424, 2002, pp. 419-431. © Springer-Verlag, 2002.

Argumentation-based negotiation, by I. Rahwan, S.D. Ramchurn, N.R. Jennings, P. Mcburney, S. Parsons, and L. Sonenberg. The Knowledge Engineering Review (2003), 18: 343-375. Cambridge University Press
Properties and complexity of some formal inter-agent dialogues by S. Parsons, M. Wooldridge, and L. Amgoud. Journal of Logic and Computation (2003), 13(3): 347-376. Oxford University Press
On optimal outcomes of negotiations over resources, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. In Proc. 2nd AAMAS (2003): 177-184, ACM Press, ISBN:1-58113-683-8
Protocol conformance for logic-based agents, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. In Proc. 18th IJCAI (2003): 679-684, Morgan Kaufmann Publishers
Reasoning about self and others: communicating agents in a modal action logic, by M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. In Proc. 8th ICTCS (2003), LNAI 2841: 228-241, Springer-Verlag
Programming rational agents in a modal action logic, by M. Baldoni, A. Martelli, V. Patti, and L. Giordano. Annals of Mathematics and Artificial Intelligence (2004), 41: 207–257, Kluwer Academic Publishers
Speculative computation with multi-agent belief revision, by K. Satoh and K. Yamamoto. In Proc. 1st AAMAS (2002): 897-904, ACM Press
Programming rational agents: a modal approach in a logic programming setting, by V. Patti. AI*IA Notizie (2002), XV(2): 24-29
Persuasive negotiation for autonomous agents: a rhetorical approach, by S.D. Ramchurn, N.R. Jennings, and C. Sierra. In Proc. IJCAI'03 Workshop on Computational Models of Natural Argument (2003)
Argumentative deliberation for autonomous agents, by A. Kakas, P. Moraitis. In Proc. ECAI'02 Workshop on Computational Models of Natural Argument (CMNA'02): 65-74
Abduction in logic programming, by M. Denecker and A.C. Kakas. In Computational Logic: Logic Programming and Beyond (2002), LNAI 2407: 402-436, Springer-Verlag
Engineering issues in interagent dialogues, by N. Karacapilidis and P. Moraitis. In Proc. 15th ECAI (2002): 58-62, IOS Press
Ontological Overhearing, by M. Aiello, P. Busetta, A. Dona, and L. Serafini. In Proc. 8th ATAL (2001), LNAI 2333: 175-189, Springer-Verlag
Argumentative agent deliberation, roles and context, by A.C. Kakas and P. Moraitis. Electronic Notes in Theoretical Computer Science (2002), 70(5): 1-15, Elsevier Science
Access-as-you-need: a computational logic framework for flexible resource access in artificial societies, by F. Toni and K. Stathis. In Proc. 3rd ESAW (2002), LNAI 2577: 126-140, Springer-Verlag
Logic-based agent communication protocols, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. In Proc. ACL Workshop (2003), LNAI 2922: 91-107, Springer-Verlag
Reasoning about communicating agents in the semantic web, by M. Baldoni, C. Baroglio, L. Giordano, A. Martelli, and V. Patti. In Proc. 1st PPSWR (2003), LNAI 2901: 84-98, Springer-Verlag
Reasoning about conversation protocols in a logic-based agent language, by M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. In Proc. 8th AI*IA (2003), LNAI 2829: 300-311, Springer-Verlag
Aspects of protocol conformance in inter-agent dialogue, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. In Proc. 2nd AAMAS (2003): 982-983, ACM Press
Layered strategies and protocols for argumentation-based agent interaction, by A. Kakas, N. Maudet, and P. Moraitis. In Proc. 1st ArgMAS (2004), LNAI 3366: 64-77, Springer-Verlag
Specifying and implementing a persuasion dialogue game using commitments and arguments, by J. Bentahar, B. Moulin, and B. Chaib-draa. In Proc. 1st ArgMAS (2004), LNAI 3366: 130-148, Springer-Verlag
On modelling multi-agent systems declaratively, by A. Bracciali, P. Mancarella, K. Stathis, and F. Toni. In Proc. 2nd DALT (2004), LNAI 3476: 53-68, Springer-Verlag
Competent agents and customising protocols, by U. Endriss, W. Lu, N. Maudet, and K. Stathis. In Proc. 4th ESAW (2003), LNAI 3071: 168-181, Springer-Verlag
Inter-agent dialogues in electronic marketplaces, by N. Karacapilidis and P. Moraitis. In Computational Intelligence (2004), 20(1): 1-17, Blackwell Publishing, Inc.
Communication Protocols for Logic-based Agents, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. In Proc. 5th UKMAS (2002)
Negotiation with concurrent dialogues in multi–agent systems, by I. Lionis. MSc Project, Dept. of Computing, Imperial College London (2002)
Modeling dialogues in multi-agent systems, by N. Karacapilidis and P. Moraitis. In Proc. 1st AAMAS (2002): 798-799. ACM Press
Flexible agent dialogue strategies and societal communication protocols, by A. Kakas, N. Maudet, and P. Moraitis. In Proc. 3rd AAMAS (2004): 1434-1435, ACM Press
Abductive logic programming for communication and negotiation amongst agents, by F. Sadri and F. Toni. ALP Newsletter (2003), 16(2-3)
A logic-based approach to reasoning with beliefs about trust, by F. Sadri and F. Toni. In Proc. ARSPA (2004): 178-187
Formal theories of negotiation, by F. Dignum. In Proc. 8th ATAL (2001), LNAI 2333: 321-323, Springer-Verlag
Modular representation of agent interaction rules through argumentation, by A. Kakas, N. Maudet, and P. Moraitis. Autonomous Agents and Multi-Agent Systems (2005), 11(2): 189-206. Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.
Decision theoretic and logic based agents for multi-agent systems, by P. Moraitis. HDR (Mémoire d'Habilitation à Diriger des Recherches), Univ. Paris-Dauphine (2002)
Multi-agent negotiation using trust and persuasion, by S.D. Ramchurn. PhD Thesis, ECS, University of Southampton (2004)
Speculative computation with deadline and its resource negotiation under time constraints, by L. Wang, H. Huang, and Y. Chai. In Proc. IEEE/WIC/ACM International Conference on Intelligent Agent Technology (2004): 353- 356, IEEE Press
Intelligent agents: modeling and reasoning techniques (BISS04), by M. Martelli. Course at University of Turin, Italy
Desiderata for agent argumentation protocols, by P. McBurney, S. Parsons, and M. Wooldridge. In Proc. 1st AAMAS (2002): 402-409, ACM Press
Games that agents play: a formal framework for dialogues between autonomous agents, by P. McBurney and S. Parsons. Journal of Logic, Language and Information (2002), 11(3): 315-334, Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.
A dialogue-game protocol for agent purchase negotiations, by P. McBurney, R.M. van Eijk, S. Parsons, and L. Amgoud. Journal of Autonomous Agents and Multi-Agent Systems (2003), 7(3): 235-273, Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.
Commitment-based and dialogue-game-based protocols: new trends in agent communication languages, by N. Maudet and B. Chaib-Draa. The Knowledge Engineering Review (2002), 17: 157-179, Cambridge University Press
Linear logic, partial deduction and cooperative problem solving, by P. Kungas and M. Matskin. In Proc. 1st DALT (2003), LNAI 2990: 263-279, Springer-Verlag
When are two protocols the same?, by M.W. Johnson, P. McBurney, and S. Parsons. In Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies (2003), LNAI 2650: 253-268, Springer-Verlag
Dialogue game protocols, by P. McBurney and S. Parsons. In Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies (2003), LNAI 2650: 269-283, Springer-Verlag
A geometric semantics for dialogue game protocols for autonomous agent interactions, by P. McBurney and S. Parsons. Electronic Notes in Theoretical Computer Science (2002), 52(2): 187-204, Elsevier Science
DIAGAL: a tool for analyzing and modelling commitment-based dialogues between agents, by M.A. Labrie, B. Chaib-draa, and N. Maudet. In Advances in Artificial Intelligence: Proc. 16th Canadian AI (2003), LNAI 2671: 353-369, Springer-Verlag
A parameterised hierarchy of argumentation semantics for extended logic programming and its …, by R. Schweimeier and M. Schroeder. Theory and Practice of Logic Programming (2005), 5: 207-242, Cambridge University Press
Symbolic negotiation with linear logic, by P. Kungas, M. Matskin. In Proc. CLIMA IV (2004), LNAI 3259: 71-89, Springer-Verlag
Determining error bounds for hypothesis tests in risk assessment: a research agenda, by P. McBurney and S. Parsons. Law Probability and Risk (2002), 1: 17–36, Oxford University Press
Reasoning about the semantic web using answer set programming, by G. Ianni, F. Calimeri, V. Lio, S. Galizia, and A. Bonfà. In Proc. APPIA-GULP-PRODE (2003): 324-336
A Logical Framework for Modelling eMAS, by P. Dell'Acqua and L.M. Pereira. In Proc. PADL (2003), LNAI 2562: 241-255, Springer-Verlag
Arguments and misunderstandings: fuzzy unification for negotiating agents, by M. Schroeder and R. Schweimeier. Electronic Notes in Theoretical Computer Science (2002), 70(5): 1-19, Elsevier Science
Dialogue games in multi-agent systems, by P. McBurney and S. Parsons. Informal Logic (2005), 22(3): 257-274
A dialogue game to offer an agreement to disagree, by H.J. Lebbink, C. Witteman, and J.J.-Ch. Meyer. In Proc. 2nd ProMAS (2003), LNAI 3346: 199-223, Springer-Verlag
The eightfold way of deliberation dialogue, by P. McBurney, D. Hitchcock, and S. Parsons. International Journal of Intelligent Systems (to appear)
Towards a theory of negotiation strategy (a preliminary report), by I. Rahwan, P. McBurney, L. Sonenberg. In Proc. Workshop on Game Theoretic and Decision Theoretic agents (2003): 73–80
Guest editorial: argumentation in multi-agent systems, by I. Rahwan. Autonomous Agents and Multi-Agent Systems (2005), 11(2): 115-125, Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.
Fuzzy unification and argumentation for well-founded semantics, by R. Schweimeier and M. Schroeder. In Proc. SOFSEM (2004), LNCS 2932: 102-121, Springer-Verlag
ACL: specification, design and analysis all based on commitments, by M. Bergeron and B. Chaib-draa. In Proc. Workshop on Agent Communication (2005)
A hundred schools of thought automatically contending, by P. McBurney and S. Parsons. Tech. Rep. ULCS-01-002, Dept. of Computer Science, The University of Liverpool, UK
Temporal Linear Logic for Symbolic Agent Negotiation, by P. Kungas. In Proc. PRICAI (2004), LNAI 3157: 23-32, Springer-Verlag
State-of-the-art on evolution and reactivity, in J.J. Alferes and W. May (eds.), REWERSE Project (IST-2004-506779) Deliverable I5.D1 (2004)
A Rule Language for Modelling and Monitoring Social Expectations in Multi-Agent Systems, by S. Cranefield. Technical Report, Department of Information Science, University of Otago, New Zealand (2005)
Towards a test-bed for multi-party dialogues, by F.P.M. Dignum and G.A.W. Vreeswijk. In Proc. ACL Workshop (2003), LNAI 2922: 212-230, Springer-Verlag
Model for dialogue between semantically heterogeneous informational, by E. Valencia and J.P. Sansonnet. In Proc. EPIA (2003), LNAI 2902: 355-359, Springer-Verlag
Modelization and experimentation of conversational policies for non task oriented agents based on dissonance and relevance theories, by J.P. Sansonnet and E. Valencia. In Proc. EUMAS (2003)
Combining Goal Generation and Planning in an Argumentation Framework, by J. Hulstijn and L. van der Torre. In Proc. NMR (2004), ISBN 92-990021-0-X: 212-218
Argumentation for access control, by G. Boella, J. Hulstijn, and L. van der Torre. In Proc. AI*IA (2005), LNAI 3673: 86-97, Springer-Verlag
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication, by Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. In Proc. 3rd. DALT (2005), LNAI 3904: 223-244, Springer-Verlag
Abductive Logic Programming with CIFF: System Description, by U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni. In Proc. 9th JELIA (2004), LNAI 3229: 680-684, Springer-Verlag
Negotiating Socially Optimal Allocations of Resources: An Overview, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. Journal of Artificial Intelligence Research (2006), 25: 315-348
The CIFF Proof Procedure for Abductive Logic Programming with Constraints, by U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. In Proc. 9th JELIA (2004), LNAI 3229: 31-43, Springer-Verlag
A negotiation-based approach of consistency for dynamic adaptation, by J. Buisson, F. André, and J.-L. Pazat. Publications internes IRISA, Univ. de Rennes, France (2005), N. 1700: 12 pp.

Articles citing the following work on dialogue termination:

Paolo Torroni. A study on the termination of negotiation dialogues. In Cristiano Castelfranchi and W. Lewis Johnson, eds., Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002): part 3, Bologna, Italy, ACM Press, July 2002. ISBN 1-58113-480-0 pp. 1223-1230.

Towards a Testbed for Multi-party Dialogues, by F.P.M. Dignum, G.A.W. Vreeswijk. In Proc. ACL (2003) LNAI 2922: 212-230
Interest-Based Negotiation in Multi-Agent Systems, by I. Rahwan. PhD thesis (2004), University of Melbourne
A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics, by Ralf Schweimeier, Michael Schroeder. Theory and Practice of Logic Programming (2005), 5(1-2): 207-242
Argumentation-based negotiation, by I. Rahwan, S.D. Ramchurn, N.R. Jennings, P. Mcburney, S. Parsons, and L. Sonenberg. The Knowledge Engineering Review (2003), 18: 343-375. Cambridge University Press
Dialogue Between non-task oriented agents, by J.P. Sansonnet and E. Valencia. In Proc. Agent-Based Simulation (2003)
Agents informationnels pour l’étude expérimentale de concepts de socio-cognition: vers une approche agent de la socio informatique, by J.P. Sansonnet, W.A. Turner, and E. Valencia. In Proc. Journées Francophones sur les Systèmes Multi-Agents (2003)
When and Why Does Haggling Occur? Some suggestions from a qualitative but computational simulation of negotiation, by B. Edmonds and D. Hales. Journal of Artificial Societies and Social Simulation (2004), 7(2):9
Computational Models for Argumentation in MAS, by C.I. Chesñevar and G.R. Simari. Tutorial at EASSS (2005)
A negotiation-based approach of consistency for dynamic adaptation, by J. Buisson, F. André, and J.-L. Pazat. Publications internes IRISA, Univ. de Rennes, France (2005), N. 1700: 12 pp.

Articles citing the following work on interaction protocols:

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interactions using Social Integrity Constraints. In Electronic Notes in Theoretical Computer Science, Vol. 85 No. 2, Elsevier Science, October 2003.

Marco Alberti, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. In Hisham M. Haddad, Andrea Omicini, and Roger L. Wainwright, eds., Proceedings of the 19th ACM Symposium on Applied Computing, SAC 2004, Special Track on Agents, Interactions, Mobility, and Systems (AIMS). Nicosa, Cyprus, March 14-17, 2004. pp. 72-78. ACM Press.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-Based Software Tool. In Applied Artificial Intelligence, Vol. 20, Nos. 2-4, pp. 133-157. Taylor & Francis, February-April 2006.

Specifying and verifying interaction protocols in a temporal action logics, by L. Giordano, A. Martelli, and C. Schwind. In Journal of Applied Logic, Elsevier Science, 2006
Verification of protocol conformance and agent interoperability, by M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. In Proc. CLIMA VI (2005), LNAI 3900, Springer-Verlag
Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication, by A.F. Moreira. R. Vieira, and R.H. Bordini. In Proc. 1st DALT (2003), LNAI 2990: 135-154, Springer-Verlag
Rapid prototyping of large multi-agent systems through logic programming, by W. Vasconcelos, D. Robertson, C. Sierra, M. Esteva, J. Sabater, and M. Wooldridge. Annals of Mathematics and Artificial Intelligence (2004), 41(2-4): 135-169, Springer Science+Business Media B.V., Formerly Kluwer Academic Publishers B.V.
Verifying communicating agents by model checking in a temporal action logic, by L. Giordano, A. Martelli, and C. Schwind. In Proc. 9th JELIA (2004), LNAI 3229: 57-69, Springer-Verlag
Verifying protocol conformance for logic-based communicating agents, by M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. In Proc. CLIMA V (2004), LNAI 3487: 196-212, Springer-Verlag
Specialization of interaction protocols in a temporal action logic, by L. Giordano, A. Martelli, and C. Schwind. Electronic Notes in Theoretical Computer Science (to appear), Elsevier Science
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction, by H. Christiansen and V. Dahl. In Proc. 21th ICLP (2005), LNAI 3668: 159-173, Springer-Verlag
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step, by M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. In Proc. EPEW (2005), LNCS 3670: 257-271, Springer-Verlag
Correctness requirements for multiagent commitment protocols, by P. Yolum. In Proc. 19th ISCIS (2004), LNAI 3280: 955-965, Springer-Verlag
Towards design tools for protocol development, by P. Yolum. In Proc. 4th AAMAS (2005): 99-105, ACM Press
Logic-based electronic institutions, by W.W. Vasconcelos. In Proc. 1st DALT (2003), LNAI 2990: 221-242, Springer-Verlag
Logic-based agent communication protocols, by U. Endriss, N. Maudet, F. Sadri, and F. Toni. In Proc. ACL Workshop (2003), LNAI 2922: 91-107, Springer-Verlag
Reasoning about communicating agents inside DCaseLP, by M Baldoni, C Baroglio, I Gungui, A Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. In Proc. 2nd DALT (2004), LNAI 3476: 112-131, Springer-Verlag
Temporal Logics for Representing Agent Communication Protocols, by U. Endriss. In Proc. Workshop on Agent Communication (2005), LNAI (to appear)
Formalization and Verification of Interaction Protocols, by F. Chesani. In Proc. 21st ICLP (2005), LNAI 3668: 437-438, Springer-Verlag
Ambient Intelligence Using KGP Agents, by K. Stathis and F. Toni. In Proc. 2nd EUSAI (2004), LNCS 3295: 351-362, Springer-Verlag
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication, by Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer. In Proc. 3rd. DALT (2005), LNAI 3904: 223-244, Springer-Verlag
Addressing Constraint Failures in Agent Interaction Protocol, by Fadzil Hassan, Dave Robertson Chris Walton. In Proc. 8th PRIMA (2008), LNAI, Springer-Verlag.
Personalization, verification and conformance for logic-based communicating agents, by Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella, Laura Torasso. In Proc. 6th WOA (2005).

Articles citing the following work on agent reasoning and interaction:

Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, and Paolo Torroni. Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence, Volume 37 Nos. 1-2, pp. 65-91. Kluwer Academic Publishers, January 2003. ISSN 1012-2443.

Anna Ciampolini and Paolo Torroni. Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence. Applied Artificial Intelligence, Volume 18, Nos. 3-4, pp. 251-275. Taylor & Francis, March-April 2004.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli and Paolo Torroni. An implementation for Abductive LogIc AgentS. In Paola Mello and Evelina Lamma, eds., AI*IA 99: Advances in Artificial Intelligence, LNAI 1792, pp. 61-71. © Springer-Verlag, 2000.

Logic-based specification languages for intelligent software agents, by V. Mascardi, M. Martelli, and L. Sterling. Theory and Practice of Logic Programming (2004), 4: 429-494, Cambridge University Press
Programming multi-agent systems, by M. Dastani and J. Gomez-Sanz. The Knowledge Engineering Review (2006), 20(2): 151-164
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach, by P.M. Dung, D.D. Hanh, and P.M. Thang. Theory and Practice of Logic Programming (to appear), Cambridge University Press
On modelling multi-agent systems declaratively, by A. Bracciali, P. Mancarella, K. Stathis, and F. Toni. In Proc. 2nd DALT (2004), LNAI 3476: 53-68, Springer-Verlag
Engineering stable multi-agent systems, A. Bracciali, P. Mancarella, K. Stathis, and F. Toni. In Proc. 5th ESAW (2004), LNAI 3451: 322-334, Springer-Verlag
Outlier Detection by Logic Programming, by F. Angiulli, G. Greco, and L. Palopoli. Technical Report ICAR-CNR-CS n. 9, 2004
Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results, by G. Greco. In Proc. 4th FoIKS (2006) LNCS 3861: 116-136, Springer-Verlag
Coordination between logical agents, by C. Sakama and K. Inoue. In Proc. CLIMA V (2004) LNAI 3487: 161-177, Springer-Verlag
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming, by M. De Vos, T. Crick, J. Padget, M. Brain, O. Cliffe, J. Needham. In Proc. 3rd DALT (2005), LNAI 3904: 72-88, Springer-Verlag
Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments, by O. Obst. In Proc. 7th RoboCup (2003), LNCS 3020: 518-525, Springer-Verlag
Design and Implementation of a Hybrid Agent Platform, by Li Chunlin, Lu Zhengding, and Li Layuan. Programming and Computer Software (2003) , 29(1): 28-42. (mhh.. this article is strikingly similar to the one in LNAI 1792 - except for the authors)