- PRODUCTION SEQUENCING AS NEGOTIATION Michael Wooldridge y Stefan Bussmann z Marcus Klosterberg z
- An Ontological Framework for Dynamic Coordination Valentina Tamma1
- Agent-Based Software Engineering Michael Wooldridge
- On the Meta-Logic of Arguments Michael Wooldridge
- Artif Intell Rev (2008) 29:144 DOI 10.1007/s10462-009-9107-8
- The Influence of Information on Negotiation Equilibrium
- On the Dimensionality of Voting Games Edith Elkind
- !#"%$'&(0)213"%4)568795@13$'A8)2BC4D EF&4GIH"QPR)S"Q(TEU"%)S(5$'5@VWBC)S&4YX`4BCab"%(0PRBW)Sc
- MultiAgent VSK Logic Michael Wooldridge and Alessio Lomuscio y
- Organisational Abstractions for the Analysis and Design of MultiAgent Systems
- MYWORLD: AN AGENTORIENTED TESTBED FOR DISTRIBUTED ARTIFICIAL INTELLIGENCE
- Specifying and Executing Protocols for Cooperative Action Michael Fisher and Michael Wooldridge
- Auton Agent Multi-Agent Sys (2006) 12: 239256 DOI 10.1007/s10458-006-5955-7
- A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief
- Optimal Negotiation of Multiple Issues in Incomplete Information Settings Shaheen Fatima and Michael Wooldridge
- The Computational Complexity of Agent Veri cation
- A classi cation scheme for negotiation in electronic commerce
- ANNALS MATHEMATICS, COMPUTING & TELEINFORMATICS, 1936
- Knowledge Condition Games Sieuwert van Otterloo Wiebe van der Hoek Michael Wooldridge
- A LOGIC OF BDI AGENTS WITH PROCEDURAL KNOWLEDGE [PRELIMINARY REPORT]
- Annals of Mathematics and Artificial Intelligence (2005) 44: 207232 Springer 2005 Bargaining with incomplete information
- The Control of Reasoning in Resource-Bounded Agents
- This is MYWORLD: The Logic of an AgentOriented DAI Testbed
- AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge
- Baltzer Journals September 29, 1997 AgentBased Computing
- Developing Multiagent Systems: The Gaia Methodology
- Resolution for Temporal Logics of Knowledge Clare Dixon, Michael Fisher Michael Wooldridge
- Intention reconsideration in theory and practice Simon Parsons 1 and Ola Pettersson 2 and Alessandro Saffiotti 2 and Michael Wooldridge 1
- On the MetaLogic of Arguments Michael Wooldridge # Peter McBurney # Simon Parsons +
- An analysis of the Shapley Value and its Uncertainty for the Voting Game
- Ann Math Artif Intell (2009) 56:109131 DOI 10.1007/s10472-009-9162-5
- Automated Game Analysis via Probabilistic Model Checking: a case study
- , , 1--27 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- An ontology based approach to automated negotiation
- The Computational Complexity of Boolean and Stochastic Agent Design Problems
- Verifying that Agents Implement a Communication Language Michael Wooldridge
- Math. Log. Quart. 55, No. 4, 362 376 (2009) / DOI 10.1002/malq.200810021 A Tractable and Expressive Class of Marginal Contribution Nets
- A Logic of Visibility, Perception, and Completeness and Correspondence Results
- A Framework for Web Service Negotiation SHAMIMABI PAUROBALLY
- On Obligations and Abilities Wojciech Jamroga1
- A Computationally Grounded Logic of Visibility, Perception, and
- An analysis of the Shapley Value and its Uncertainty for the Voting Game
- Verification of Games in the Game Description Language
- Cooperation Structures Mark d'Inverno
- Towards Practical Reasoning Agents for the Semantic Web Ian Dickinson
- Robots with the Best of Intentions S. Parsons 1 O. Pettersson 2 A. Saffiotti 2 M. Wooldridge 1
- Optimistic and Disjunctive Agent Design Problems Michael Wooldridge and Paul E. Dunne
- A Logic of Visibility, Perception, and Completeness and Correspondence Results
- An Analysis of Sequential Auctions for Common and Private Value Objects
- Studia Logica (2009) 92: 126 DOI: 10.1007/s11225-009-9184-3 Springer 2009
- Property-based Slicing for Agent Verification RAFAEL H. BORDINI, Department of Computer Science, University of Durham,
- Principles of Intention Reconsideration Martijn Schut and Michael Wooldridge
- Distributed ProblemSolving as Concurrent Theorem Proving ?
- Comparing Equilibria for Game-Theoretic and Evolutionary Bargaining Models
- AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge
- Specifying and Executing Protocols for Cooperative Action Michael Fisher and Michael Wooldridge
- Artificial Intelligence (2004) 1--45 www.elsevier.com/locate/artint An agendabased framework
- Preferences in Qualitative Coalitional Games Paul E. Dunne and Michael Wooldridge
- Sequential Auctions for Objects with Common and Private Values
- Journal of Artificial Intelligence Research 27 (2006) 381-417 Submitted 3/06; published 11/06 Multi-Issue Negotiation with Deadlines
- ANNALS OF MATHEMATICS, COMPUTING & TELEINFORMATICS, VOL 1, NO 1, 2003, PP 19-36 19 Complexity Results for Agent Design
- Reasoning about Judgment and Preference Aggregation Department of Computer
- Time, Knowledge, and Choice (PRELIMINARY REPORT)
- The Cooperative Problem Solving Process Michael Wooldridge and Nicholas R. Jennings
- A KnowledgeTheoretic Approach to Distributed Problem Solving
- AGENTBASED SOFTWARE ENGINEERING
- MultiIssue Negotiation Under Time Constraints Shaheen S. Fatima
- Model Checking Cooperation, Knowledge, and Time ---A Case Study
- On the Outcomes of Formal Interagent Dialogues Simon Parsons
- An analysis of formal interagent dialogues Simon Parsons and Michael Wooldridge
- Journal of Artificial Intelligence Research 29 (2007) 221267 Submitted 12/06; published 06/07 On the Formal Semantics of
- Optimistic and Disjunctive Agent Design Problems Michael Wooldridge and Paul E. Dunne
- Agent-Oriented Software Engineering: The State of the Art
- A Knowledge-Theoretic Approach to Distributed Problem Solving
- Making it up as they go along: A Theory of Reactive Cooperation
- Adaptive Task and Resource Allocation in MultiAgent Systems
- An Automata Theoretic Approach to Multiagent Planning
- A classification scheme for negotiation in electronic commerce
- Desiderata for Agent Argumentation Protocols Peter McBurney, Simon Parsons and Michael Wooldridge
- Intention Reconsideration Reconsidered Michael Wooldridge and Simon Parsons
- A LOGIC OF BDI AGENTS WITH PROCEDURAL KNOWLEDGE [PRELIMINARY REPORT]
- Model Checking Knowledge and Time Wiebe van der Hoek y and Michael Wooldridge y
- The Influence of Information on Negotiation Equilibrium
- An Analysis of Sequential Auctions for Common and Private Value Objects
- Optimal Negotiation Strategies for Agents with Incomplete Information
- Coherent Social Action Michael Wooldridge 1
- Properties and Complexity of Some Formal Interagent Dialogues
- Executable Temporal Logic for Distributed A.I. Michael Fisher *
- THE LOGICAL MODELLING OF COMPUTATIONAL MULTI-AGENT SYSTEMS
- Cooperative Boolean Games Paul E. Dunne
- On the Logic of Normative Systems Thomas Agotnes1
- Reasoning about Action and Cooperation Luigi Sauro
- Logics for Qualitative Coalitional THOMAS GOTNES, University of Bergen, Norway.
- AN ONTOLOGY FOR COORDINATION Ben Lithgow Smith, Valentina Tamma, and Michael Wooldridge
- Synthese (2007) 155:265290 Knowledge, Rationality & Action 103128
- On the Dynamics of Delegation, Cooperation, and Control: A Logical Account
- FELINE ---A Case Study in the Design and Implementation of a Cooperating Expert System
- Logic for Mechanism Design ---A Manifesto Marc Pauly and Michael Wooldridge
- Semantic Issues in the Veri cation of Agent Communication Michael Wooldridge (m.j.wooldridge@qmw.ac.uk)
- Model Checking for ACL Compliance Verification MarcPhilippe Huget
- A Logic for Strategic Reasoning Wiebe van der Hoek
- Intention Reconsideration in Complex Environments Martijn Schut and Michael Wooldridge
- The Computational Complexity of Agent Design Problems Michael Wooldridge
- Engineering the computational economy Michael Wooldridge
- Engineering Applications of Artificial Intelligence 18 (2005) 223236 Ontologies for supporting negotiation in e-commerce
- Verifiable Semantics for Agent Communication Languages Michael Wooldridge
- Optimal Agendas for MultiIssue Negotiation Shaheen Fatima
- Knowledge and Social Laws Wiebe van der Hoek Mark Roberts Michael Wooldridge
- Sequential Auctions for Objects with Common and Private Values
- 1 Intelligent Agents 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
- An Abstract General Model and Logic of ResourceBounded Believers
- A Lifecycle for Models of Large Multi-Agent Systems ?
- Web Economics: A Case for AgentBased Digital Libraries
- A Logic of Games and Propositional Control Nicolas Troquard Wiebe van der Hoek Michael Wooldridge
- AgentOriented Software Engineering: The State of the Art
- THE LOGICAL MODELLING OF COMPUTATIONAL MULTIAGENT SYSTEMS
- Artificial Intelligence 173 (2009) 4579 Contents lists available at ScienceDirect
- Introducing autonomic behaviour in semantic web agents
- Computational Complexity of Weighted Threshold Games Edith Elkind
- An Abstract General Model and Logic of Resource-Bounded Believers
- A Methodology for Agent-Oriented Analysis and Design Michael Wooldridge
- Towards Service-Oriented Ontology-Based Coordination Thierry Moyaux, Ben Lithgow Smith, Shamimabi Paurobally,
- Practical Reasoning with Procedural Knowledge (A LOGIC OF BDI AGENTS WITH KNOW-HOW)
- Towards a Theory of Cooperative Problem Solving Michael Wooldridge
- AgentOriented Software Engineering for Internet Applications Franco Zambonelli 1 Nicholas R. Jennings 2 Andrea Omicini 3 Michael Wooldridge 4
- Logic for Automated Mechanism Design --A Progress Report Michael Wooldridge
- Approximate and Online Multi-Issue Negotiation Shaheen S. Fatima
- Computationally Grounded Theories of Agency Michael Wooldridge
- A Formal Specification of dMARS Mark d'Inverno \Lambda David Kinny y Michael Luck z Michael Wooldridge ]
- Towards Logic of Rational Agency Wiebe Hoek, Dept Computer Science, University
- IEE Review, January 1996, pp 1720 Software Agents
- The Computational Complexity of Agent Design Problems Michael Wooldridge
- IEE Review, January 1996, pp 17-20 Software Agents
- Intention Reconsideration Reconsidered Michael Wooldridge and Simon Parsons
- Specifying and Verifying Distributed Intelligent Systems
- On the Identification of Agents in the Design of Production Control Systems
- Practical Reasoning with Procedural Knowledge (A LOGIC OF BDI AGENTS WITH KNOWHOW)
- This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed
- Constrained Coalition Formation Talal Rahwan1
- Scientia Potentia Est Thomas gotnes
- Designing Incentives for Boolean Games Ulle Endriss
- Knowledge and Control Wiebe van der Hoek
- Auton Agent Multi-Agent Syst (2011) 22:430 DOI 10.1007/s10458-009-9115-8
- INDIAN COUNCIL OF PHILOSOPHICAL
- Intentions in Equilibrium John Grant1,2
- Optimal Social Laws Thomas gotnes
- A Logic-Based Representation for Coalitional Games with Externalities
- Combinatorial Auctions with Externalities (Extended Abstract)
- Robust normative systems and a logic of norm compliance
- A logic of propositional control for truthful implementations Nicolas Troquard Wiebe van der Hoek
- Inconsistency Tolerance in Weighted Argument Systems Paul E. Dunne
- An Analysis of Feasible Solutions for Multi-Issue Negotiation Involving Nonlinear Utility Functions
- How to Rig Elections and Competitions Noam Hazon and Paul E. Dunne and Sarit Kraus and Michael Wooldridge
- DOI 10.1007/s11229-008-9363-1 Quantified coalition logic
- Robust Normative Systems Dept of Computer Engineering
- Evaluation of Election Outcomes under Uncertainty Noam Hazon1
- A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
- An Anytime Approximation Method for the Inverse Shapley Value Problem
- Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen
- A logical characterisation of qualitative coalitional games
- Logics for Coalitional Games Thomas Agotnes, Paul E. Dunne, Wiebe van der Hoek,
- Strategy Logics and the Game Description WIEBE VAN DER HOEK, JI RUAN AND MICHAEL WOOLDRIDGE
- Alternating-time Temporal Logic with Explicit Strategies Dirk Walther
- Normative System Games Dept of Computer Engineering
- Quantified Coalition Logic Thomas Agotnes Wiebe van der Hoek Michael Wooldridge
- !ournal of )ogic-)anguage and Information 325567 15: 425<452 C Springer 2556 DOI: 15.155CDs15F4G-556-G514-1
- Artificial Intelligence 170 (2006) 835871 www.elsevier.com/locate/artint
- Towards a Logic of Social Welfare Thomas gotnes1
- Temporal Qualitative Coalitional Games Department of Informatics,
- Discussion on Robin Milner's First Computer Journal Lecture: Ubiquitous
- Journal of Applied Logic 3 (2005) 396420 www.elsevier.com/locate/jal
- A Logic for Strategic Reasoning Wiebe van der Hoek
- Agents are not (just) web services: considering BDI agents and web services
- Optimal Agendas for Sequential Auctions for Common and Private Value Objects
- Artificial Intelligence 164 (2005) 81119 www.elsevier.com/locate/artint
- The theory and practice of intention reconsideration MARTIJN SCHUT1
- Annals of Mathematics and Artificial Intelligence 41: 135169, 2004. 2004 Kluwer Academic Publishers. Printed in the Netherlands.
- SERSE: Searching for Semantic Web Content Valentina Tamma and Ian Blacoe and Ben Lithgow Smith and Michael Wooldridge 1
- Axioms for Game Logic with Preferences Sieuwert van Otterloo
- Tractability Results for Automatic Contracting Paul E. Dunne and Michael Laurence and Michael Wooldridge1
- Preferences in Game Logics Sieuwert van Otterloo
- Knowledge Condition Games Sieuwert van Otterloo Wiebe van der Hoek Michael Wooldridge
- Preferences in Qualitative Coalitional Games Paul E. Dunne and Michael Wooldridge
- Artificial Intelligence 152 (2004) 145 www.elsevier.com/locate/artint
- Electronic Notes in Theoretical Computer Science 85 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume85.html 24 pages
- Properties and Complexity of Some Formal Inter-agent Dialogues
- Model Checking Cooperation, Knowledge, and Time --A Case Study
- Model Checking a Knowledge Exchange Scenario Sieuwert van Otterloo Wiebe van der Hoek Michael Wooldridge
- Model Checking AgentSpeak Rafael H. Bordini Michael Fisher Carmen Pardavila Michael Wooldridge
- , , 127 () Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Multi-Agent Logic
- Languages for Negotiation Michael Wooldridge and Simon Parsons
- Intention reconsideration in theory and practice Simon Parsons
- Computationally Grounded Theories of Agency Michael Wooldridge
- On the use of logic in negotiation Michael Wooldridge and Simon Parsons
- Reasoning about Visibility, Perception, and Knowledge
- The Belief-Desire-Intention Model of Agency Michael Georgeff
- Verifiable Semantics for Agent Communication Languages Michael Wooldridge
- Making it up as they go along: A Theory of Reactive Cooperation
- Pitfalls of Agent-Oriented Development Michael Wooldridge and Nicholas R. Jennings
- A Formal Specification of dMARS Mark d'Inverno
- Baltzer Journals September 29, 1997 Agent-Based Computing
- Web Economics: A Case for Agent-Based Digital Libraries
- PRODUCTION SEQUENCING AS NEGOTIATION Michael Wooldridge
- Time, Knowledge, and Choice (PRELIMINARY REPORT)
- AGENT-BASED SOFTWARE ENGINEERING
- Coherent Social Action Michael Wooldridge1
- Towards a Theory of Cooperative Problem Solving Michael Wooldridge
- MYWORLD: AN AGENT-ORIENTED TESTBED FOR DISTRIBUTED ARTIFICIAL INTELLIGENCE
- Executable Temporal Logic for Distributed A.I. Michael Fisher
- Proof Systems and Transformation Games Yoram Bachrach1
- A Randomized Method for the Shapley Value for the Voting Game
- FELINE --A Case Study in the Design and Implementation of a Co-operating Expert System
- Knowledge and Social Laws Wiebe van der Hoek Mark Roberts Michael Wooldridge
- Synthese (2007) 156:119 DOI 10.1007/s11229-006-9072-6
- On the Complexity of Practical ATL Model Checking Wiebe van der Hoek
- On the Dynamics of Delegation, Cooperation, and Control: A Logical Account
- Cooperation Structures Mark d'Inverno
- The Control of Reasoning in ResourceBounded Agents
- Formalizing the Cooperative Problem Solving Process Michael J. Wooldridge
- On the Sources of Complexity in Agent Design Michael Wooldridge
- On the use of logic in negotiation Michael Wooldridge and Simon Parsons
- Quantifying Over Coalitions in Epistemic Logic Department of Computer
- On the Identification of Agents in the Design of Production Control Systems
- Artificial Intelligence 158 (2004) 2773 www.elsevier.com/locate/artint
- Decomposing constraint systems: Equivalences and computational properties
- The complexity of agent design problems: Determinism and history dependence
- Artificial Intelligence 164 (2005) 2346 www.elsevier.com/locate/artint
- Artificial Intelligence 175 (2011) 457486 Contents lists available at ScienceDirect
- Optimal Negotiation Strategies for Agents with Incomplete Information
- Exogenous coalition formation in the e-marketplace based on geographical proximity
- AgentBased Software Engineering Michael Wooldridge
- Reasoning about Visibility, Perception, and Knowledge
- On the Logic of Coalitional Games Department of Informatics,
- Completeness and Complexity of Multi-Modal Thomas Agotnesa
- 76 Chapter 4 (Notice that
- 1 Intelligent Agents 3 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
- Electronic Notes in Theoretical Computer Science (2003)
- Tractable Multiagent Planning for Epistemic Goals Wiebe van der Hoek
- Preferences in Game Logics Sieuwert van Otterloo
- A KnowledgeTheoretic Semantics for Concurrent METATEM
- The BeliefDesireIntention Model of Agency Michael Georgeff \Lambda Barney Pell + Martha Pollack #
- Artificial Intelligence 172 (2008) 16731699 Contents lists available at ScienceDirect
- Hedonic Coalition Nets Edith Elkind
- Model Checking a Knowledge Exchange Scenario Sieuwert van Otterloo Wiebe van der Hoek Michael Wooldridge
- Understanding the Emergence of Conventions in MultiAgent Systems
- Reasoning About Intentions in Uncertain Domains
- Pitfalls of AgentOriented Development Michael Wooldridge and Nicholas R. Jennings
- Applying Agent Technology Applying Agent Technology
- Comparing Equilibria for GameTheoretic and Evolutionary Bargaining Models
- A TableauBased Proof Method for Temporal Logics of Knowledge and Belief \Lambda
- Specifying and Verifying Distributed Intelligent Systems
- Languages for Negotiation Michael Wooldridge and Simon Parsons 1
- To appear in: Int Journal of Group Decision and Negotiation GDN2000 Keynote Paper Automated Negotiation: Prospects, Methods and Challenges
- Logic for Mechanism Design --A Manifesto Marc Pauly and Michael Wooldridge
- Synthese (2010) 175:3962 Knowledge, Rationality & Action 127150
- Journal of Artificial Intelligence Research 37 (2010) 437477 Submitted 8/09; published 3/10 Reasoning about the Transfer of Control
- Model Checking a Knowledge Exchange Sieuwert van Otterloo Wiebe van der Hoek Michael Wooldridge
- CHAPTER 10: Temporal Belief Logics for Modelling
- The theory and practice of intention reconsideration MARTIJN SCHUT 1 , MICHAEL WOOLDRIDGE 2 and
- A FIRSTORDER BRANCHING TIME LOGIC OF MULTIAGENT SYSTEMS
- A Distributed Algorithm for Anytime Coalition Structure Generation
- 1 Applications of Intelligent Agents N. R. Jennings and M. Wooldridge
- DOI 10.1007/s10462-004-6391-1 Artificial Intelligence Review (2005) 23:185203 Springer 2005
- Boolean Combinations of Weighted Voting Games Piotr Faliszewski
- ATL Satisfiability is Indeed EXPTIME-complete
- Organisational Abstractions for the Analysis and Design of Multi-Agent Systems
- Principles of Intention Reconsideration Martijn Schut and Michael Wooldridge
- A Knowledge-Theoretic Semantics for Concurrent METATEM
- Understanding the Emergence of Conventions in Multi-Agent Systems
- An ontology for automated negotiation Valentina Tamma
- MAGENTA Technology: MultiAgent Systems for Industrial Logistics
- A ResolutionBased Proof Method for Temporal Logics of Knowledge and Belief ?
- A Methodology for AgentOriented Analysis and Design Michael Wooldridge \Lambda , Nicholas R. Jennings \Lambda , and David Kinny +
- Towards a Logic of Rational Agency Wiebe van der Hoek, Dept of Computer Science, University of
- A Decision Procedure for a Temporal Belief Logic Michael Wooldridge and Michael Fisher
- J Philos Logic (2011) 40:473498 DOI 10.1007/s10992-011-9189-z
- Knowledge and Action in Semi-Public Environments
