Person: Wooldridge, M.

 
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: 62.

Lomuscio, A. and Wooldridge, M. and Jennings, N.R. (2001) A Classification Scheme for Negotiation in Electronic Commerce. In: Agent-Mediated Electronic Commerce: A European AgentLink Perspective. Springer Verlag, pp. 19-33.

Wooldridge, M. and Lomuscio, A. (2001) A Computationally Grounded Logic of Visibility. Perception, and Knowledge In Logic Journal of the IGPL, 9 (2). pp. 273-288.

d'Inverno, M. and Kinny, D. and Luck, M. and Wooldridge, M. (1998) A Formal Specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, 1365. Springer-Verlag, pp. 155-176.

Vasconcelos, W. and Robertson, D. and Agusti, J. and Sierra, C. and Wooldridge, M. and Parsons, S. and Walton, C. and Sabater, J. (2001) A lifecycle for models of large multi-agent systems. In: Agent-Oriented Software Engineering II. Lecture Notes in Computer Science, 2222. Springer-Verlag.

Jennings, N. R. and Sycara, K. and Wooldridge, M. (1998) A Roadmap of Agent Research and Development. Int Journal of Autonomous Agents and Multi-Agent Systems, 1 (1). pp. 7-38.

Fatima, S. S. and Wooldridge, M. (2001) Adaptive Task and Resource Allocation in Multi-Agent Systems. In: Agents 2001: Proceedings of the Fifth International Conference on Autonomous Agents. , Montreal, Canada.

Jennings, N. R. and Wooldridge, M. (1998) Agent Technology: Foundations, Applications, and Markets. Springer Verlag.

Wooldridge, M. and Jennings, N.R. (1994) Agent Theories, Architectures, and Languages: A Survey. In: Proc. ECAI-Workshop on Agent Theories, Architectures and Languages. , Amsterdam, The Netherlands, pp. 1-32.

Jennings, N. R. and Wooldridge, M. (2001) Agent-Oriented Software Engineering. In: Handbook of Agent Technology. AAAI/MIT Press.

Zambonelli, F. and Jennings, N. R. and Omicini, A. and Wooldridge, M. (2001) Agent-Oriented Software Engineering for Internet Applications. In: Coordination of Internet Agents. Springer Verlag, pp. 326-346. ISBN 3-540-41613-7

Wooldridge, M. and Ciancarini, P. (2001) Agent-Oriented Software Engineering: The State of the Art. In: Agent-Oriented Software Engineering. Lecture Notes in AI, 1957. Springer-Verlag.

Parsons, S. and Wooldridge, M. and Amgoud, L. (2002) An analysis of formal interagent dialogues. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

Tamma, V. and Wooldridge, M. and Dickinson, I. (2002) An Ontology for Automated Negotiation. In: Proceedings of the Workshop on Ontologies in Agent Systems. , Bologna, Italy.

Tamma, V. and Wooldridge, M. and Dickinson, I. (2002) An Ontology-based Approach to Automated Negotiation. In: Proceedings of the Fourth International Workshop on Agent-Mediated Elctronic Commerce (AMEC-2002). , Bologna, Italy.

Jennings, N. R. and Wooldridge, M. (1998) Applications of Intelligent Agents. In: Agent Technology: Foundations, Applications, and Markets. , pp. 3-28.

Jennings, N.R. and Faratin, P. and Lomuscio, A. and Parsons, S. and Sierra, C. and Wooldridge, M. (2001) Automated negotiation: prospects, methods and challenges. Int. J. of Group Decision and Negotiation, 10 (2). pp. 199-215.

Jennings, N.R. and Faratin, P. and Lomuscio, A. and Parsons, S. and Sierra, C. and Wooldridge, M. (2001) Automated negotiation: prospects, methods and challenges. International Journal of Group Decision and Negotiation, 10 (2). pp. 199-215.

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

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

McBurney, P. and Parsons, S. and Wooldridge, M. (2002) Desiderata for agent argumentation protocols. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

d'Inverno, M. and Fisher, M. and Lomuscio, A. and Luck, M. and De Rijke, M. and Ryan, M. and Wooldridge, M. (1997) Formalisms for Multi-Agent Systems. The Knowledge Engineering Review, 12 (3).

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. (1995) Intelligent Agents: Theory and Practice. The Knowledge Engineering Review, 10 (2). pp. 115-152.

Bordini, R.H. and Fisher, M. and Pardavila, C. and Wooldridge, M. (2003) Model Checking AgentSpeak. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). , Melbourne, Australia.

Van der Hoek, W. and Wooldridge, M. (2003) Model Checking Cooperation, Knowledge, and Time --A Case Study. Research in Economics, 57 (3). pp. 235-265.

Van der Hoek, W. and Wooldridge, M. (2002) Model Checking Knowledge and Time. In: SPIN 2002 -- Proceedings of the Ninth International SPIN Workshop on Model Checking of Software. , Grenoble, France.

Bordini, R.H. and Fisher, M. and Pardavila, C. and Visser, W. and Wooldridge, M. (2003) Model Checking Multi-AGent Programs with CASP. In: Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003). , Boulder, Colorado.

Wooldridge, M. and Fisher, M. and Huget, M.P. and Parsons, S. (2002) Model Checking Multiagent systems with MABLE. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

Bordini, R. and Fisher, M. and Visser, M. and Wooldridge, M. (2004) Model checking rational agents. IEEE Intelligent Systems. .

Fatima, S. S. and Wooldridge, M. and Jennings, N. R. (2002) Multi-issue negotiation under time constraints. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

van Otterloo, S. and Wooldridge, M. (2004) On the Complexity of Knowledge Condition Games. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Bussmann, S. and Jennings, N.R. and Wooldridge, M. (2001) On the Identification of Agents in the Design of Production Control Systems. In: Agent-Oriented Software Engineering. Lecture Notes in AI Volume, 1957. Springer-Verlag.

Parsons, S. and Wooldridge, M. and Amgoud, L. (2003) On the outcomes of formal inter-agent dialogues. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). , Melbourne, Australia.

Fatima, S. S. and Wooldridge, M. and Jennings, N. R. (2003) Optimal Agendas for Multi-Issue Negotiation. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). , Melbourne, Australia.

Fatima, S. and Wooldridge, M. and Jennings, N. (2004) Optimal negotiation of multiple issues in incomplete information settings. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

Fatima, S. S. and Wooldridge, M. and Jennings, N. R. (2002) Optimal Negotiation Strategies for Agents with Incomplete Information. In: Intelligent Agents VIII. Lecture Notes in AI. Springer-Verlag.

Wooldridge, M. and Dunne, P. E. (2001) Optimistic and Disjunctive Agent Design Problems. In: Intelligent Agents VII. Lecture Notes in AI. Springer-Verlag.

Zambonelli, F. and Jennings, N. R. and Wooldridge, M. (2000) Organisational Abstractions for the Analysis and Design of Multi-Agent Systems. In: Proc. 1st Int. Workshop on Agent-Oriented Software Engineering. , Limerick, Ireland, pp. 127-141.

Zambonelli, F. and Jennings, N.R. and Wooldridge, M. (2001) Organizational Abstractions for the Analysis and Design of Multi-Agent Systems. In: Agent-Oriented Software Engineering. Lecture Notes in AI Volume, 1957. Springer-Verlag.

Zambonelli, F. and Jennings, N.R. and Wooldridge, M. (2001) Organizational Rules as an Abstraction for the Analysis and Design of Multi-agent Systems. Journal of Knowledge and Software Engineering, Vol, 11.

Wooldridge, M. and Jennings, N.R. (1998) Pitfalls of Agent-Oriented Development. In: Proc 2nd Int. Conf. on Autonomous Agents (Agents-98). , Minneapolis, USA, pp. 385-391.

Dickinson, I. and Wooldridge, M. (2003) Practical reasoning agents for the semantic web. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). , Melbourne, Australia.

van Otterloo, S. and van der Hoek, W. and Wooldridge, M. (2004) Preferences in Game Logics. In: Autonomous Agents and Multi Agent Systems, 19-23 Jul 2004, New York.

van Otterloo, S. and van der Hoek, W. and Wooldridge, M. (2004) Preferences in Game Logics. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

Schut, M. and Wooldridge, M. (2001) Principles of Intention Reconsideration. In: Agents 2001: Proceedings of the Fifth International Conference on Autonomous Agents. , Montreal, Canada.

Parsons, S. and Wooldridge, M. and Amgoud, L. (2003) Properties and complexity of some formal inter-agent dialogues. Journal of Logic and Computation, 13 (3). pp. 347-376.

Schut, M. and Wooldridge, M. and Parsons, S. (2001) Reasoning about intentions in uncertain domains. In: Proceedings of the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2001). , Toulouse, France.

Tamma, V. and Blacoe, I. and Lithgow Smith, B. and Wooldridge, M. (2004) SERSE: Searching for Semantic Web Content. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Wooldridge, M. and Jennings, N. R. (1999) Software Engineering with Agents: Pitfalls and Pratfalls. IEEE Internet Computing, 3 (3). pp. 20-27.

Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M. (2004) State-Space Reduction Techniques in Agent Verification. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

Bordini, R.H. and Fisher, M. and Visser, W. and Wooldridge, M. (2004) State-Space Reduction Techniques in Agent Verification. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M. (2004) State-space reduction techniques in agent verification. Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems. , New York.

Wooldridge, M. and Dunne, P. E. (2002) The Computational Complexity of Agent Verification. In: Intelligent Agents VIII. Lecture Notes in AI. Springer-Verlag.

Dunne, P. E. and Wooldridge, M. (2002) The Computational Complexity of Boolean and Stochastic Agent Design Problems. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

Schut, M. and Wooldridge, M. (2001) The Control of Reasoning in Resource-Bounded Agents. Knowledge Engineering Review.

d'Inverno, M. and Luck, M. and Georgeff, M. and Kinny, D. and Wooldridge, M. (2004) The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems, 9 (1-2). pp. 5-53.

Wooldridge, M. and Jennings, N. R. and Kinny, D. (2000) The Gaia Methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems, 3 (3). pp. 285-312.

Fatima, S. S. and Wooldridge, M. and Jennings, N. R. (2002) The Influence of Information on Negotiation Equilibrium. In: Proceedings of the Fourth International Workshop on Agent-Mediated Elctronic Commerce (AMEC-2002). , Bologna, Italy.

Van der Hoek, W. and Wooldridge, M. (2003) Towards a Logic of Rational Agency. Logic Journal of the IGPL, 11 (2). pp. 133-157.

Van der Hoek, W. and Wooldridge, M. (2003) Towards a Logic of Rational Agency. In. Logic Journal of the IGPL, 11 (2). pp. 133-157.

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.

Van der Hoek, W. and Wooldridge, M. (2002) Tractable Multiagent Planning for Epistemic Goals. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

This list was generated on Mon Sep 10 16:57:39 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.