Subject: 2.6.4 Semantics of multi-agent systems and logics of multi-agent systems

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 23.

[Course] van der Hoek, Wiebe (2005) Knowledge Representation and Reasoning.

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.

Hirsch, Benjamin (2005) Programming Rational Agents. PhD thesis, University of Liverpool.

Gomez Sanz, Jorge and Fuentes, Ruben (2004) Agent Oriented Software Engineering with Web Applications. International Journal of Web Engineering and Technology, 1 (4). 471- 483. ISSN 1741-9212

Cabac, L. and Moldt, D. (2004) Formal Semantics for AUML Agent Interaction Protocol Diagrams. In: Workshop on Agent-Oriented Software Engineering (AOSE-2004) at AAMAS04.

Küngas, Peep and Matskin, Mihhail (2004) Linear Logic, Partial Deduction and Cooperative Problem Solving. In: First International Workshop on Declarative Agent Languages and Technologies, 15 July, 2003, Melbourne, Australia.

Rölke, Heiko (2004) Modellierung von Agenten und Multiagentensystemen: Grundlagen und Anwendungen. PhD thesis, University of Hamburg.

Boella, G. and van der Torre, L. (2004) Permission and authorization in policies for virtual communities of agents. In Procs. of Agents and P2P Computing Workshop at AAMAS, New York.

Boella, G. and van der Torre, L. (2004) Regulative and constitutive norms in normative multiagent systems. In Procs. of 9th International Conference on the Principles of Knowledge Representation and Reasoning. Whistler (CA).

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.

Ardissono, L. and Goy, A. and Petrone, G. and Felfernig, A. and Friedrich, G. and Jannach, D. and Zanker, M. and Schaefer, R. (2003) A Framework for the Development of Personalized, Distributed Web-Based Configuration Systems AI Magazine. AAAI Press. .

Gomez-Sanz, Jorge and Pavon, Juan (2003) Agent oriented software engineering with INGENIAS. In: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, June 16-18, 2003, Prague, Czech Republic.

Roorda, J.W. and Van der Hoek, W. and Meyer, J.J. (2003) Iterated Belief Change in Multi Agent Systems. Logic Journal of the IGPL, 11 (2). pp. 223-246.

Mathieu, P. and Routier, J.C. and Secq, Y. (2002) Dynamic organization of multi-agent systems. Proceedings of the first international joint conference on Autonomous Agents and Multi-Agent Systems. .

Norman, T.J. and Reed, C.A. (2002) Group Delegation and Responsibility. Proceedings of the Joint Conference on Autonomous Agents and Multi-Agent Systems. .

Mascardi, V. and Martelli, M. and Sterling, L. (2002) Logic-Based Specification Languages for Intelligent Software Agents. Theory and Practice of Logic Programming Journal.

Gomez-Sanz, Jorge and Pavon, Juan (2002) Meta-modelling in Agent Oriented Software Engineering. In: 8th Ibero-American Conference on AI, November 12-15, 2002, Seville, Spain.

Gomez-Sanz, Jorge and Pavon, Juan and Garijo, Francisco (2002) Metamodels for building multi-agent systems. In: Symposium of Applied Computing 2002, Madrid.

Dignum, F. and Dunin-Keplicz, B. and Verbrugge, R. (2001) Creating collective intention through dialogue. Logic Journal of the IGPL, 9 (1). pp. 289-303.

Norman, T.J. and Reed, C.A. (2001) Delegation and Responsibility. Proceedings of the Workshop on Agent Architectures Theories and Languages (ATAL VI). .

Balbo, F. and Pinson, S. (2001) Towards a Multi-Agent Modelling Approach for Urban Public Transportation Systems. Engineering Societies in the Agent World, Springer Verlag.

Ramsay, A. (1989) Epistemic Reasoning without Possible Worlds. In: Primo Congresso della Assoc. Italiana per l'Intelligenza Artificiale, IRST, Trento.

This list was generated on Mon Sep 10 17:01:02 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 web@agentlink.org.