Subject: 2.1.2 Models and formalisms for cooperation
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 48.

[Project] Mier, Mariola (2006) HealthAgents: Agent-based Distributed Decision Support System for Brain Tumour Diagnosis and Prognosis.

Küngas, Peep and Matskin, Mihhail (2005) Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. In: Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, 19 July, 2004, New York, USA.

Cordi, V. and Mascardi, V. (2004) Checking the Completeness of Ontologies: A Case Study from the Semantic Web. CILC. .

Ancona, D. and Mascardi, V. and Hubner, J. and Bordini, R. (2004) Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. Proceedings of AAMAS. .

Chen-Burger, J. and Hui, J. and Preece, K. and Gray, A. and Tate, A. (2004) Supporting Collaboration through Semantic-based Workflow and Constraint Solving. 14th International Conference on Knowledge Engineering and Knowledge Management (EKAW). .

Küngas, Peep and Matskin, Mihhail (2004) Symbolic Negotiation with Linear Logic. In: Fourth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV, 6-7 January, 2004, Fort Lauderdale, FL, USA.

Küngas, Peep (2004) Temporal Linear Logic for Symbolic Agent Negotiation. In: 8th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2004, 9-13 August, 2004, Auckland, New Zealand.

Schafer, B. and Rodriguez-Rico, M. and Vandenberghe, W. (2004) Undercover agents and agents provocateur - evidence collection by autonomous agents and the law. In: The Law of Electronic Agents LEA04. Gedit Edizioni, Bologna, pp. 165-170.

Kollingbaum, M.J. and Norman, T.J. (2003) A Normative Agent Architecture. IJCAI. , Acapulco, Mexico.

Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) An Abductive Computational Model for Open Societies. In: Proceedings of the 8th National Congress on Artificial Intelligence, AI*IA 2003, Pisa, Italy. LNAI (2829). 2829, pp. 287-299.

Boella, G. and van der Torre, L. (2003) Attributing mental attitudes to groups: Cooperation in a qualitative game theory. In Procs. of Collaboration Agents: Autonomous Agents for Collaborative Environments at WI/IAT. .

de Haan, H.W. and Hesselink, W.H. and Renardel de Lavalette, G.R. (2003) Knowledge-based programming inspired by an asynchronous hardware leader election problem. In: Proceedings of Formal Approaches in Multi-agent Systems (FAMAS03). , Warsaw, Poland, pp. 109-124.

Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) Modeling interactions using social integrity constraints: a resource sharing case study. In: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003. , Melbourne, Victoria, pp. 81-96.

De Weerdt, M.M. and Bos, A. and Tonino, H. and Witteveen, C. (2003) Models and formalisms for cooperation. A Resource Logic for Multi-Agent Plan Merging. Annals of Mathematics and Artificial Intelligence, Special issue on Computational Logic in Multi-Agent Systems, 37. pp. 93-130.

Griffiths, N. and Luck, M. (2002) Annotating Cooperative Plans with Trusted Agents. In: Proceedings of the Fifth International Workshop on Decepetion, Fraud and Trust in Agent Societies, AAMAS. .

Boella, G. (2002) Norms and cooperation: Two sides of social rationality. In Agent Autonomy. .

Panzarasa, P. and Jennings, N. R. and Norman, T. J. (2001) Formalising collaborative decision making and practical reasoning in multi-agent systems. Journal of Logic and Computation, 12 (1). pp. 55-117.

Bouzid, M. and Chevrier, V. and Vialle, S. and Charpillet, F. (2001) Parallel simulation of a stochastic agent/environment interaction model. Integrated Computer-Aided Engineering, 8 (3). pp. 189-203.

Panzarasa, P. and Norman, T. J. and Jennings, N. R. (2001) Social mental shaping: modelling the impact of sociality on autonomous agents' mental states. Computational Intelligence, 17 (4). pp. 738-782.

Willmott, S. and Faltings, B. (2000) Using Adaptation and Organisational Knowledge to Coordinate Mobile Agents. In: Joint Symposium on Agent Systems and Applications (ASA2000) and Mobile Agents (MA2000), 13-15 September, 2000, Zurich, Switzerland.

Luck, M. and d'Inverno, M. (2000) Plan Analysis for Autonomous Sociological Agents. In: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages. .

Zamfirescu, C.B. and Filip, F.G. (1999) An agent-oriented approach to team-based manufacturing systems. In Proceedings of the Second International Workshop on Intelligent Manufacturing Systems. .

Gallimore, R.J. and Jennings, N.R. and Lamba, H.S. and Mason, C.L. and Orenstein, B.J. (1999) Cooperating Agents for 3D Scientific Data Interpretation. IEEE Trans. on Systems, Man and Cybernetics, Part C, 29 (1). pp. 110-126.

Griffiths, N. and Luck, M. (1999) Cooperative Plan Selection Through Trust. In: Multi-Agent System Engineering - Proceedings of the Ninth European Workshop on Modelling Autonomous Agents in a Multi-Agent World. Lecture Notes in Artificial Intelligence, 1647. Springer-Verlag, pp. 162-174.

Wooldridge, M. and Jennings, N. R. (1999) Cooperative Problem Solving. Journal of Logic and Computation, 9 (4). pp. 563-592.

Kalenka, S. and Jennings, N.R. (1999) Socially Responsible Decision Making by Autonomous Agents. In: Cognition, Agency and Rationality. Kluwer, pp. 135-149.

Hogg, L.M. and Jennings, N.R. (1999) Variable Sociability in Agent-Based Decision Making. In: Proc. 6th Int. Workshop on Agent Theories Architectures and Languages (ATAL-99). , Orlando, FL, pp. 305-318.

Vulkan, N. and Jennings, N. R. (1998) Efficient Mechanisms for the Supply of Services in Multi-Agent Environments. In: Proc of 1st Int Conf. on Information and Computation Economies. , Charlestown, South Carolina, pp. 1-10.

Norman, T. J. and Sierra, C. and Jennings, N. R. (1998) Rights and commitments in multi-agent agreements. In: Proc. 3rd Int. Conf. on Multi-Agent Systems (ICMAS-98). , Paris, France, pp. 222-229.

Luck, M. and Wooldridge, M. (1997) Cooperation Structures. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. , Nagoya, Japan, pp. 600-605.

Luck, M. (1997) Making and Breaking Engagements: An Operational Analysis of Agent Relationships. In: Multi-Agent Systems Methodologies and Applications: Proceedings of the Second Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1286. Springer-Verlag, pp. 48-62.

Jennings, N. R. and Campos, J. R. (1997) Towards a Social Level Characterisation of Socially Responsible Agents. In: IEE Proceedings on Software Engineering. , pp. 11-25.

d'Inverno, M. and Luck, M. (1996) A Formal View of Social Dependence Networks. In: Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1087. Springer-Verlag, pp. 115-129.

Luck, M. (1996) Engagement and Cooperation in Motivated Agent Modelling. In: Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1087. Springer-Verlag, pp. 70-84.

Joy, M. and Luck, M. (1996) Software Standards in Undergraduate Computing Courses. Journal of Computer Assisted Learning, 12. pp. 103-113.

Jennings, N. R. (1995) Controlling Cooperative Problem Solving in Industrial Multi-Agent Systems using Joint Intentions. Artificial Intelligence, 75 (2). pp. 195-240.

Huang, J. and Jennings, N.R. and Fox, J. (1994) Cooperation in Distributed Medical Care. In: Proc. Int. Conf. on Cooperative Information Systems (CoopIS-94). , Toronto, Canada, pp. 255-263.

Jennings, N. R. (1994) Cooperation in Industrial Multi-Agent Systems. World Scientific Publishing, Singapore. ISBN 981-02-1652-1

Wooldridge, M. and Jennings, N.R. (1994) Formalizing the Cooperative Problem Solving Process. In: 13th International Workshop on Distributed Artificial Intelligence (IWDAI-94). , Lake Quinhalt, WA, pp. 403-417.

Wooldridge, M. and Jennings, N.R. (1994) Towards a Theory of Cooperative Problem Solving. In: Proc. Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-94). , Odense, Denmark, pp. 15-26.

Jennings, N. R. (1993) Specification and Implementation of a Belief-Desire-Joint-Intention Architecture for Collaborative Problem Solving. Int. Journal of Intelligent and Cooperative Information Systems, 2 (3). pp. 289-318.

Jennings, N. R. (1992) A Knowledge Level Approach to Collaborative Problem Solving. In: Proc. AAAI Workshop on Cooperation Among Heterogeneous Intelligent Agents. , San Jose, USA, pp. 55-64.

Jennings, N. R. (1992) On Being Responsible. In: Decentralized A. I. North Holland Publishers, pp. 93-102.

Jennings, N. R. (1992) Towards a Cooperation Knowledge Level for Collaborative Problem Solving. In: Proc. 10th European Conf. on Artificial Intelligence (ECAI-92). , Vienna, Austria, pp. 224-228.

Jennings, N.R. (1992) Using Joint Intentions in Electricity Transport Management. In: Proc. ECAI Workshop on Application Aspects of Distributed AI. , Vienna, Austria.

Jennings, N. R. and Mamdani, E. H. (1992) Using Joint Responsibility to Coordinate Collaborative Problem Solving in Dynamic Environments. In: Proceedings of the 10th National Conf. on Artificial Intelligence (AAAI-92). , San Jose, USA, pp. 269-275.

Aarnts, R. P. and Corera, J. and Perez, J. and Gureghian, D. and Jennings, N. R. (1991) Examples of Cooperative Situations and their Implementation. Vleermuis Journal of Software Research, 3 (4). pp. 74-81.

PETIT, M. and HEYMANS, P. and SCHOBBENS, P.Y. (1991) Formal Models of Agents. Springer LNAI. .

This list was generated on Mon Sep 10 17:00:34 BST 2007.


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact