Contract-related agents

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

Volumn 3900 LNAI, Issue , 2006, Pages 226-242

  Knottenbelt, John ^a   Clark, Keith ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; METADATA; OUTSOURCING; PROBLEM SOLVING; PURCHASING;

BELIEF-DESIRE-INTENTION AGENT ARCHITECTURE; CONTRACT-RELATED AGENTS; META-INFORMATION; SERVICE CONTRACTS;

SOFTWARE AGENTS;

EID: 33745608119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750734_13     Document Type: Conference Paper

References (18)

1. M. Alberti, D. Daolio, P. Torroni, M. Gavanelli, E. Lamma, and P. Mello. Specification and verification of agent interaction protocols in a logic-based system. In SAC '04: Proceedings of the 2004 ACM symposium on Applied computing, pages 72-78, New York, NY, USA, 2004. ACM Press.
2. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and verification of agent interactions using social integrity constraints. In W. van der Hoek, A. Lomuscio, E. de Vink, and M. Wooldridge, editors, Workshop on Logic and Communication in Multi-Agent Systems (LCMAS '03), volume 85 of Electronic Notes in Theoretical Computer Science, Eindhoven, Netherlands, June 2003. Elsevier.
3. A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In C. Castelfranchi and L. Johnson, editors, Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS '02), pages 1053-1062. ACM Press, 2002.
4. A. K. Bandara, E. C. Lupu, and A. Russo. Using event calculus to formalise policy specification and analysis. In Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks, page 26. IEEE Computer Society, 2003.
5. R. H. Bordini and J. F. Hübner. Jason - A Java-based agentSpeak intepreter used with saci for multi-agent distribution over the net. http://jason.sourceforge.net, 2005.
6. J. M. Broersen, M. Dastani, J. Hulstijn, Z. Huang, and L. W. N. van der Torre. The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In Proceedings of the Fifth International Conference on Autonomous Agents, pages 9-16. ACM Press, 2001.
7. K. L. Clark and F. G. McCabe. Go! - a Multi-paradigm programming language for implementing Multi-threaded agents. Annals of Mathematics and Artificial Intelligence, 41:171-206, August 2004. Issue 2-4.
8. F. P. M. Dignum, J. M. Broersen, V. Dignum, and J.-J. C. Meyer. Meeting the deadline: Why, when and how. In Proceedings of the 3rd Conference on Formal Aspects of Agent-Based Systems (FAABS III), 5 2004.
9. V. Dignum, J.-J. C. Meyer, F. P. M. Dignum, and H. Weigand. Formal specification of interaction in agent societies. In Formal Approaches to Agent-Based Systems, number 2699 in LNAI. Springer, 2002.
10. M. J. Kollingbaum and T. J. Norman. Supervised interaction: creating a web of trust for contracting agents in electronic environments. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pages 272-279. ACM Press, 2002.
11. M. J. Kollingbaum and T. J. Norman. Norm consistency in practical reasoning agents. In Proceedings of PROMAS Workshop on Programming Multiagent Systems (AAMAS '03), 2003.
12. R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4(4):319-340, 1986.
13. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. V. Velde and J. W. Perram, editors, Agents Breaking Away (LNAI 1038), pages 42-55. Springer-Verlag, 1996.
14. M. Shanahan. The event calculus explained. In M. J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today, volume 1600 of LNAI, pages 409-430. Springer Verlag, 1999.
15. Y. Shoham. Agent0: A simple agent language and its interpreter. In Proceedings of AAAI-91, pages 704-709, Anaheim, CA, 1991.
16. E. M. Verharen and F. P. M. Dignum. Cooperative Information Agents and communication. In P. Kandzia and M. Klusch, editors, Cooperative Information Agents, First International Workshop, number 1202 in LNAI, pages 195-209, 1997.
17. E. M. Verharen, F. P. M. Dignum, and S. Bos. Implementation of a cooperative agent architecture based on the language-action perspective. In M. Singh, editor, Intelligent Agents IV, volume 1365 of LNAI, pages 31-44. 1998.
18. M. Winikoff. An agentspeak meta-interpreter and its applications. In Proceedings of the Third international Workshop on Programming Multi-Agent Systems, 2005.