ULCS-10-002: Tim Miller and Peter McBurney: Efficient Storage and Retrieval in Protocol Libraries using Subsumption Hierarchies
[Abstract] [PDF File]

ULCS-10-001: Paul E. Dunne: Tractability in Value-based Argumentation
[Abstract] [PDF File]

ULCS-09-021: Savas Konur, Michael Fisher and Sven Schwe: Verification of Multi-agent Systems via Combined Model Checking
[Abstract] [PDF File]

ULCS-09-020: Stella Heras, Katie Atkinson, Vicente Botti, Floriana Grasso, Vicente Julian and Peter McBurney: How Argumentation can Enhance Dialogues in Social Networks
[Abstract] [PDF File] (Not yet published.)

ULCS-09-019: Steve Phelps, Peter McBurney and Simon Parsons: A Novel Method for Strategy Acquisition and its Application to a Double-Auction Market Game: Full Report
[Abstract] [PDF File]

ULCS-09-018: Sanjay Modgil and Trevor Bench-Capon: Metalevel Argumentation
[Abstract] [PDF File]

ULCS-09-017: Thierry Moyaux and Peter McBurney: Centralized vs. Market-based and Decentralized Decision-Making: A Review of the Evidence in Computer Science and Economics
[Abstract] [PDF File] (Not yet published.)

ULCS-09-016: Ashraf Elsayed, Frans Coenen, Marta Garcia-Finana and Vanessa Sluming: Segmentation for Medical Imaging: A Technical Report
[Abstract] [PDF File]

ULCS-09-015: Ji Ruan: Reasoning about Time, Action and Knowledge in Multi-Agent Systems (PhD Thesis)
[Abstract] [PDF File]

ULCS-09-014: Ji Ruan, Wiebe van der Hoek and Michael Wooldridge: Model Checking GDL through MOCHA: A Case Study
[Abstract] [PDF File]

ULCS-09-013: Floris Bex, Trevor Bench-Capon and Katie Atkinson: Evidential Reasoning about Motives: A Case Study
[Abstract] [PDF File]

ULCS-09-012: Jinzhong Niu, Albert Mmoloke, Peter McBurney and Simon Parsons: CATP: A Communication Protocol for CAT Games (version 2.0)
[Abstract] [PDF File]

ULCS-09-011: Paul E. Dunne: On Constructing Minimal Formulae
[Abstract] [PDF File]

ULCS-09-010: Paul Doran, Valentina Tamma, Terry R. Payne and Ignazio Palmisano: Evaluating a Space Reduction Mechanism for the Dynamic Selection of Ontological Alignments
[Abstract] [PDF File]

ULCS-09-009: Boris Konev, Anatoli Degtiarev, Michael Fisher and Alexei Lisitsa: Characterising Finite Domains in Monodic First-Order Temporal Logic
[Abstract] [PDF File]

ULCS-09-008: Michel Ludwig and Ullrich Hustadt: Resolution-Based Model Construction for PLTL (Extended Version)
[Abstract] [PDF File]

ULCS-09-007: Ullrich Hustadt (Editor): Proceedings of the Automated Reasoning Workshop 2009: Bridging the Gap between Theory and Practice (ARW 2009)
[Abstract] [PDF File]

ULCS-09-006: Boris Konev, Dirk Walther and Frank Wolter: Forgetting and Uniform Interpolation in Large-scale Description Logic Terminologies
[Abstract] [PDF File]

ULCS-09-005: Kai Cai, Enrico Gerding, Peter McBurney, Jinzhong Niu, Simon Parsons and Steve Phelps: Overview of CAT: A Market Design Competition (version 2.0)
[Abstract] [PDF File]

ULCS-09-004: Matt Webster, Louise Dennis and Michael Fisher: Model-Checking Auctions, Coalitions and Trust
[Abstract] [PDF File]

ULCS-09-003: Richard Molyneux: Hyperset Approach to Semi-structured Databases and the Experimental Implementation of the Query Language Delta (PhD Thesis)
[Abstract] [PDF File]

ULCS-09-002: Michael Fisher, Louise Dennis and Anthony Hepple: Modular Multi-Agent Design
[Abstract] [PDF File]

ULCS-09-001: Pattarawit Polpinit: The Computation of Equilibria in Congestion Networks (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-021: Savas Konur: A Survey on Temporal Logics
[Abstract] [PDF File]

ULCS-08-020: Savas Konur: Real-Time and Probabilistic Temporal Logics: An Overview
[Abstract] [PDF File]

ULCS-08-019: Farnaz Derakhshan: The Implementation of Dynamic Assignment of Rights, Responsibilities and Sanctions to External Agents in Normative Multiagent Systems (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-018: Matthew Paul Webster: Formal Models of Reproduction: from Computer Viruses to Artificial Life (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-017: Paul Doran, Valentina Tamma, Ignazio Palmisano, Terry Payne and Luigi Iannone: Evaluating Ontology Modules Using an Entropy Inspired Metric
[Abstract] [PDF File]

ULCS-08-016: Floris Bex, Katie Atkinson and Trevor Bench-Capon: Representing Abductive Practical Reasoning as an Action-Based Alternating Transition System
[Abstract] [PDF File]

ULCS-08-015: Paul E. Dunne: The Computational Complexity of Ideal Semantics
[Abstract] [PDF File]

ULCS-08-014: Michael Fisher: Agent Deliberation in an Executable Temporal Framework
[Abstract] [PDF File]

ULCS-08-013: Omar Baqueiro Espinosa: Agent Risk Management in Electronic Markets Using Option Derivatives (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-012: Ignazio Palmisano, Valentina Tamma, Luigi Iannone, Terry Payne and Paul Doran: Dynamic Ontology Evolution in Open Environments
[Abstract] [PDF File]

ULCS-08-011: Tim Miller and Peter McBurney: Annotation and Matching of Recursive and Iterative First-Class Agent Interaction Protocols
[Abstract] [PDF File] (Replaced by version of 2010-02-01.)

ULCS-08-010: Lan Zhang, Ullrich Hustadt and Clare Dixon: First-order Resolution for CTL
[Abstract] [PDF File]

ULCS-08-009: Yanbo J. Wang: Language-independent Pre-processing of Large Documentbases for Text Classification (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-008: Farnaz Derakhshan, Peter McBurney and Trevor Bench-Capon: Towards Dynamic Assignment of Rights and Responsibilities to Agents
[Abstract] [PDF File]

ULCS-08-007: Adam Wyner and Trevor Bench-Capon: Taking the A-chain: Strict and Defeasible Implication in Argumentation Frameworks
[Abstract] [PDF File]

ULCS-08-006: Katie Atkinson and Trevor Bench-Capon: Value-Based Arguments in the Dictator Game
[Abstract] [PDF File]

ULCS-08-005: Paul Bell: Computational Problems in Matrix Semigroups (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-004: Steve Phelps: Evolutionary Mechanism Design (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-003: Kasper Pedersen: On Systematic Scan (PhD Thesis)
[Abstract] [PDF File]

ULCS-08-002: Clare Dixon and John C. McCabe-Dansted: Resolution for a Temporal Logic of Robustness (Extended Version)
[Abstract] [PDF File]

ULCS-08-001: I. Blacoe, L. Ianonne, I. Palmisano and V. Tamma: QuestSemantics - Intelligent Search and Retrieval of Business Knowledge
[Abstract] [PDF File]

ULCS-07-027: Adam Wyner: An Ontology in OWL for Legal Case-based Reasoning
[Abstract] [PDF File]

ULCS-07-026: Adam Wyner and Trevor Bench-Capon: Modelling Judicial Contexts in Argumentation Frameworks
[Abstract] [PDF File]

ULCS-07-025: Enrico Oliva, Mirko Viroli, Andrea Omicini and Peter McBurney: Argumentation and Artifact for Dialog Support
[Abstract] [PDF File]

ULCS-07-024: Katie Atkinson, Rod Girle, Peter McBurney and Simon Parsons: Command Dialogues
[Abstract] [PDF File]

ULCS-07-023: Sanjay Modgil and Trevor Bench-Capon: Integrating Object and Meta-Level Value Based Argumentation
[Abstract] [PDF File]

ULCS-07-022: Patrick Briest, Martin Hoefer, and Piotr Krysta: Stackelberg Network Pricing Games
[Abstract] [PDF File]

ULCS-07-021: Ioannis Politopoulos: Review and Analysis of Agent-Based Models in Biology
[Abstract] [PDF File]

ULCS-07-020: Yanbo J. Wang, Qin Xin and Frans Coenen: A Novel Rule Weighting Approach in Classification Association Rule Mining (An Extended Version of 2007 IEEE ICDM Workshop Paper)
[Abstract] [PDF File]

ULCS-07-019: Tim Miller and Peter McBurney: Annotation and Matching of First-Class Agent Interaction Protocols
[Abstract] [PDF File]

ULCS-07-018: Silvio Ranise (Editor): Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007), held September 12–13, 2007, at the University of Liverpool, Liverpool, United Kingdom
[Abstract] [PDF File]

ULCS-07-017: Reshma Patel, Frans Coenen, Russell Martin and Lawson Archer: Reverse Engineering of Web Applications: A Technical Review
[Abstract] [PDF File]

ULCS-07-016: Peter McBurney and Simon Parsons: Retraction and Revocation in Agent Deliberation Dialogs
[Abstract] [PDF File]

ULCS-07-015: Tim Miller and Peter McBurney: Executable Logic for Reasoning and Annotation of First-Class Interaction Protocols
[Abstract] [PDF File]

ULCS-07-014: Jez McKean, Hayden Shorter, Michael Luck, Peter McBurney and Steven Willmott: Technology Diffusion: the Case of Agent Technologies
[Abstract] [PDF File]

ULCS-07-013: Paul E. Dunne: Uncontested Semantics for Value-Based Argumentation
[Abstract] [PDF File]

ULCS-07-012: Thierry Moyaux, Peter McBurney and Michael Wooldridge: A Supply Chain as a Network of Auctions
[Abstract] [PDF File]

ULCS-07-011: Jez Mckean, Sebastian Rahlf, Hayden Shorter, Guy Barnish, Ray Paton, Peter McBurney, Dyfrig Hughes and Ian Hastings: A Prototype Agent-based Model of Antimalarial Drug Compliance
[Abstract] [PDF File]

ULCS-07-010: Jarred McGinnis and Tim Miller: Amongst First Class Protocols
[Abstract] [PDF File]

ULCS-07-009: Mark W. Johnson, Tim Miller and Peter McBurney: Modelling Multi-agent Interaction Protocols using Categories Enriched over Pointed Sets
[Abstract] [PDF File]

ULCS-07-008: Paul E. Dunne: The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks
[Abstract] [PDF File]

ULCS-07-007: Anthony Hepple, Louise Dennis, and Michael Fisher: A Common Basis for Agent Organisations in BDI Languages
[Abstract] [PDF File]

ULCS-07-006: Enrico Gerding, Peter McBurney, Jinzhong Niu, Simon Parsons and Steve Phelps: Overview of CAT: A Market Design Competition
Replaced by Technical Report ULCS-09-005.

ULCS-07-005: Leila Amgoud, Lianne Bodenstaff, Martin Caminada, Peter McBurney, Simon Parsons, Henry Prakken, Jelle van Veenen and Gerard Vreeswijk: Report on Formal Argumentation System for ASPIC Project
[Abstract] [PDF File]

ULCS-07-004: Louise A. Dennis, Jeremy Gow and Carsten Shurmann: Challenge Problems for Inductive Theorem Provers v1.0
[Abstract] [PDF File]

ULCS-07-003: Adam Zachary Wyner and Trevor Bench-Capon: Towards an Extensible Argumentation System [Abstract] [PDF File]

ULCS-07-002: Adam Zachary Wyner and Trevor Bench-Capon: Precedent and Procedure: an argumentation-theoretic analysis [Abstract] [PDF File]

ULCS-07-001: L. A. Dennis: Agent Infrastructure Layer (AIL): Design and Operational Semantics v1.0
[Abstract] [PDF File]

ULCS-06-004: Paul E. Dunne: Computational properties of argument systems satisfying graph-theoretic constraints
[Abstract] [PDF File] [PS File]

ULCS-06-003: Claudia Nalon and Clare Dixon: Anti-Prenexing and Prenexing for Modal Logics (Extended Version)
[Abstract] [PDF File]

ULCS-06-002: Tim Miller and Peter McBurney: Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols.
[Abstract] [PDF File]

ULCS-06-001: Clare Dixon, Michael Fisher and Boris Konev: Is there a future for deductive temporal verification?
[Abstract] [PDF File]

ULCS-05-012: Tim Miller and Peter McBurney: A Formal Semantics for Gaia Liveness Rules and Expressions
[Abstract] [PDF File]

ULCS-05-011: Christian Setzkorn, Azzam F. Taktak and Bertil Damato: Geoconda: a web environment for multi-centre research
[Abstract] [PDF File]

ULCS-05-010: Sylvie Doutre, Peter McBurney, Michael Wooldridge and William Barden: Information-seeking agent dialogs with permissions and arguments
[Abstract] [PDF File]

ULCS-05-009: Paul E. Dunne and Yann Chevaleyre: Negotiation can be as hard as planning: Deciding reachability properties of distributed negotiation schemes
[Abstract] [PDF File]

ULCS-05-008: Jez McKean, Hayden Shorter, Peter McBurney and Michael Luck: The AgentLink III Technology Diffusion Model
[Abstract] [PDF File]

ULCS-05-007: Tim Miller and Peter McBurney: Agent system specification using TCOZ
[Abstract] [PS File]

ULCS-05-006: Katie Atkinson, Trevor Bench-Capon and Peter McBurney: Agent decision using argumentation about actions
[Abstract] [PDF File]

ULCS-05-005: Matt Webster: ASM-based modelling of self-replicating programs
[Abstract] [PDF File]

ULCS-05-004: Katie Atkinson, Trevor Bench-Capon and Sanjay Modgil: Value added: Processing information with Argumentation
[Abstract] [PDF File]

ULCS-05-003: Boris Konev and Stephan Schulz (Editors): Proceedings of the Fifth Workshop on the Implementation of Logics
[Abstract] [PDF File]

ULCS-05-002: Trevor Bench-Capon, Sylvie Doutre and Paul E. Dunne: Audiences in Argumentation Frameworks
[Abstract] [PDF File]

ULCS-05-001: Paul E. Dunne: Failing to comply: on deviating from social conventions
[Abstract] [PS File]

ULCS-04-017: Wiebe van der Hoek, Mark Roberts and Michael Wooldridge: Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis
[Abstract] [PS File]

ULCS-04-016: Wiebe van der Hoek and Michael Wooldridge: On the Logic of Co-operation and Propositional Control
[Abstract] [PS File]

ULCS-04-015: Katie Atkinson, Trevor Bench-Capon and Peter McBurney: Attacks on a Presumptive Argument Scheme in Multi-Agent Systems: Pre-conditions in terms of Beliefs and Desires
[Abstract] [PDF File]

ULCS-04-014: Michael R. Laurence, Sebastian Danicic, Mark Harman, Rob Hierons and John Howroyd: Equivalence of Linear, Free, Liberal, Structured Program Schemas is Decidable in Polynomial Time
[Abstract] [PDF File]

ULCS-04-013: Paul E. Dunne: Context Dependence in Multiagent Resource Allocation
[Abstract] [PDF File]

ULCS-04-012: Paul E. Dunne: Extremal Behaviour in Multiagent Contract Negotiation
[Abstract] [PDF File]

ULCS-04-011: Christian Setzkorn and Ray C. Paton: JavaSpaces - An Affordable Technology For The Simple Implementation Of Reusable Parallel Evolutionary Algorithms
[Abstract] [PS File]

ULCS-04-010: Paul E. Dunne and Trevor Bench-Capon: Identifying Audience Preferences in Legal and Social Domains [Abstract] [PDF File]

ULCS-04-009: Paul E. Dunne and Trevor Bench-Capon: Complexity in Value-Based Argument Systems [Abstract] [PS File]

ULCS-04-008: Paul E. Dunne and Michael Wooldridge: Qualitative Coalitional Reasoning with Preferences [Abstract] [PS File]

ULCS-04-007: Michael Wooldridge and Paul E. Dunne: On the Computational Complexity of Qualitative Coalitional Games [Abstract] [PS File]

ULCS-04-006: Katie Atkinson, Trevor Bench-Capon and Peter McBurney: Computational Representation of Persuasive Argument
[Abstract] [PDF File]

ULCS-04-005: Katie Atkinson, Trevor Bench-Capon and Peter McBurney: Implementation of a Dialogue Game for Persuasion over Action
[Abstract] [PS File]

ULCS-04-004: Ullrich Hustadt, Boris Konev, Alexandre Riazanov and Andrei Voronkov: TeMP: A Temporal Monodic Prover
[Abstract] [PS File]

ULCS-04-003: Clare Dixon: Specifying and Verifying the Game Cluedo using Temporal Logics of Knowledge
[Abstract] [PS File]

ULCS-04-002: Peter McBurney and Simon Parsons: Syntax and Semantics of the Fatio Argumentation Protocol
[Abstract] [PS File]

ULCS-04-001: Paul E. Dunne: Extremal Behaviour in Multiagent Contract Negotiation
[Abstract] Replaced by Technical Report ULCS-04-012.

ULCS-03-024: Michael Fisher and Alexei Lisitsa: Temporal Deductive Verification of Cache Coherence Protocols. [Abstract] [PS File]

ULCS-03-023: Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher and Ullrich Hustadt: Mechanising First-Order Temporal Resolution
[Abstract] [PS File]

ULCS-03-022: Clare Dixon, Mari-Carmen Fernandez Gago, Michael Fisher and Wiebe van der Hoek: Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
[Abstract] [PS File]

ULCS-03-021: Christian Setzkorn and Ray C. Paton: MERBIS: A Self-Adaptive Multi-Objective Evolutionary Rule Base Induction System
[Abstract] [PS File]

ULCS-03-020: Michael Laurence, Paul E. Dunne and Michael Wooldridge: On the Computational Complexity of Designing Bounded Agents
[Abstract] [PDF File]

ULCS-03-019: Colin Cooper, Ralf Klasing and Michele Zito: On-line Dominating Sets in Web Graphs
[Abstract] Available from the authors upon request.

ULCS-03-018: Boris Konev and Renate Schmidt: Proceedings of the Fourth Workshop on the Implementation of Logics.
[Abstract] [PDF File]

ULCS-03-017: Alexei Lisitsa: LambdaLeanTap: Lean Deduction in Lambda Prolog.
[Abstract] [PS File]

ULCS-03-016: Christian Setzkorn and Ray C. Paton: MERBIS - A Multi-Objective Evolutionary Rule Base Induction System.
[Abstract] [PS File]

ULCS-03-015: Benjamin Vitteau and Marc-Philippe Huget: Modularity in Interaction Protocols.
[Abstract] [PS File]

ULCS-03-014: Katie Greenwood, Trevor Bench-Capon and Peter McBurney: Structuring Dialogue between The People and Their Representatives.
[Abstract] [PS File]

ULCS-03-013: Alison Chorley and Trevor Bench-Capon: Developing Legal Knowledge Based Systems Through Theory Construction.
[Abstract] [PDF File]

ULCS-03-012: Anatoli Degtyarev, Michael Fisher and Boris Konev: Exploring the Monodic Fragment of First-Order Temporal Logic using Clausal Temporal Resolution.
[Abstract] [PS File]

ULCS-03-011: Michael Fisher and Alexei Lisitsa: Temporal Verification of Monodic Abstract State Machines.
[Abstract] [PS File] Updated version loaded 13 March 2004.

ULCS-03-010: Mark W. Johnson: On Pointed Enrichments and Illegal Compositions.
[Abstract] [PS File]

ULCS-03-009: Jon Saunders: Localised Sex, Contingency and Mutator Genes: Bacterial Genetics as a Metaphor for Computing Systems.
[Abstract] [PDF File]

ULCS-03-008: Iyad Rahwan, Peter McBurney and Liz Sonenberg: Towards a Theory of Negotiation Strategy (A Preliminary Report).
[Abstract] [PS File] (May 2003 revision replacing earlier version).

ULCS-03-007: Rod Girle, David Hitchcock, Peter McBurney and Bart Verheij: Decision Support for Practical Reasoning: A Theoretical and Computational Perspective.
[Abstract] [PDF File] (Version of December 2000.)

ULCS-03-006: Katie Greenwood, Trevor Bench-Capon and Peter McBurney: Towards an Account of Persuasion in Law.
[Abstract] [PS File]

ULCS-03-005: Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher and Ullrich Hustadt: Towards the Implementation of First-Order Temporal Resolution: The Expanding Domain Case.
[Abstract] [PS File]

ULCS-03-004: Anatoli Degtyarev, Michael Fisher and Boris Konev: Monodic Temporal Resolution: the Expanding Domain Case.
[Abstract] [PS File]

ULCS-03-003: Katie Greenwood, Trevor Bench-Capon and Peter McBurney: Argument over Proposals for Action.
Replaced by Technical Report ULCS-04-005.

ULCS-03-002: Paul E. Dunne, Michael Wooldridge and Michael Laurence: The Complexity of Contract Negotiation.
[Abstract] [PS File] (March 2003 revision replacing January 2003 original.)

ULCS-03-001: Anatoly Degtyarev, Michael Fisher and Boris Konev: Monodic Temporal Resolution.
[Abstract] [PS File]

ULCS-02-031: Steve Phelps, Simon Parsons, Elizabeth Sklar and Peter McBurney: Applying Multi-Objective Evolutionary Computing to Auction Mechanism Design.
[Abstract] [PDF File]

ULCS-02-030: Grant Malcom: Observational Truth as Categorical Modality.
[Abstract] [PS File]

ULCS-02-029: Trevor Bench-Capon, Grant Malcom and Michael Shave: Semantics for Interoperability: Relating Ontologies and Schemata.
[Abstract] [PS File]

ULCS-02-028: Paul E. Dunne and Peter McBurney: Optimal Utterances in Dialogue Protocols.
[Abstract] [PS File]

ULCS-02-027: Peter McBurney and Simon Parsons: Democracy in Open Agent Systems.
[Abstract] [PS File]

ULCS-02-026: Peter McBurney and Simon Parsons: Posit Spaces: A Performative Model of e-Commerce.
[Abstract] [PS File]

ULCS-02-025: Paul E. Dunne: Prevarication in Dispute Protocols.
[Abstract] [PS File]

ULCS-02-024: Christian Setzkorn and Ray C. Paton: The Scalability of JavaSpaces for the Implementation of different Parallel Evolutionary Algorithms.
[Abstract] [PS File (25 Mb)] [Zipped PS File]

ULCS-02-023: J. Brotherston, A. Degtyarev, M. Fisher and A. Lisitsa: Searching for Invariants using Temporal Resolution.
[Abstract] [PS File]

ULCS-02-022: Richard Gregory, Ray Paton, Jon Saunders and Henry Wu: Computing Microbial Interactions and Communications - COMIC.
[Abstract] [PS File]

ULCS-02-021: Peter McBurney, David Hitchcock and Simon Parsons: The Eightfold Way of Deliberation Dialogue.
[Abstract] [PS File]

ULCS-02-020: Marc-Philippe Huget: Generating Code for Agent UML Sequence Diagrams.
[Abstract] [PS File]

ULCS-02-019: Steve Phelps, Peter McBurney, Simon Parsons and Elizabeth Sklar: Co-evolutionary Auction Mechanism Design: A Preliminary Report.
[Abstract] [PS File]

ULCS-02-018: Marc Pauly: Programming and Verifying Subgame Perfect Mechanisms.
[Abstract] [PS File]

ULCS-02-017: Trevor J. M. Bench-Capon: Persuasion in Practical Argument using Value-Based Argumentation Frameworks.
[Abstract] [PDF File]

ULCS-02-016: Peter McBurney, Simon Parsons and Mark W. Johnson: When are Two Protocols the Same?
[Abstract] [PS File] (Revised version of December 2002)

ULCS-02-015: Marc-Philippe Huget: An Application of Agent UML to Supply Chain Management.
[Abstract] [PS File]

ULCS-02-014: Marc-Philippe Huget: Extending Agent UML Protocol Diagrams.
[Abstract] [PS File]

ULCS-02-013: Marc-Philippe Huget: Agent UML Class Diagrams Revisited.
[Abstract] [PS File]

ULCS-02-012: Marc-Philippe Huget: Model Checking Agent UML Protocol Diagrams.
[Abstract] [PS File]

ULCS-02-011: Peter McBurney and Simon Parsons: Formalizing Scenario Analysis.
[Abstract] [PS File]

ULCS-02-010: Marc-Philippe Huget: Desiderata for Agent Oriented Programming Languages.
[Abstract] [PS File]

ULCS-02-009: Marc-Philippe Huget: A Language for Exchanging Agent UML Protocol Diagrams.
[Abstract] [PS File]

ULCS-02-008: Paul E. Dunne: TPI-Disputes and Proof by Clausal Tableaux.
[Abstract] [PS File]

ULCS-02-007: Peter McBurney and Simon Parsons: Chance Discovery and Scenario Analysis.
[Abstract] [PS File]

ULCS-02-006: Trevor J. M. Bench-Capon: Added Value: Using Argumentation Frameworks for Reasoning about Problems in Ethics.
[Abstract] [PDF File]

ULCS-02-005: Christian Setzkorn, Laura Dipietro and Robin Purshouse: Evolving Rule-based Trading Systems.
[Abstract] [PS File]

ULCS-02-004: Steve Phelps, Peter McBurney, Simon Parsons and Elizabeth Sklar: Co-evolution of Auction Mechanisms and Strategies: Towards a novel approach to microeconomic design.
[Abstract] [PS File]

ULCS-02-003: Paul E. Dunne: On Concise Encodings of Preferred Extensions.
[Abstract] [PS File]

ULCS-02-002: Trevor J. M. Bench-Capon and Paul E. Dunne: No Agent is an Island: A Framework for the Study of Inter-Agent Behavior.
[Abstract] [PDF File]

ULCS-02-001: Trevor J. M. Bench-Capon and Paul E. Dunne: Value Based Argumentation Frameworks.
[Abstract] [PDF File]

ULCS-01-010: Michael Wooldridge and Paul E. Dunne: The Complexity of Agent Design Problems: Determinism and History Dependence.
[Abstract] [Postscript File]

ULCS-01-009: Peter McBurney and Simon Parsons: The Possibility of Arguability: Combining Multiple Arguments on the same Topic.
[Abstract] [Postscript File]

ULCS-01-008: Peter McBurney and Simon Parsons: Strawmen and Eidolons: Using Argumentation to Reason across Scenarios.
[Abstract] [Postscript File]

ULCS-01-007: Silja Renooij, Simon Parsons and Linda van der Gaag: Context-specific Sign-Propagation in Qualitative Probabilistic Networks.
[Abstract] [Postscript File]

ULCS-01-006: Paul E. Dunne and Trevor J. M. Bench-Capon: Coherence in Finite Argument Systems.
[Abstract] [Postscript File]

ULCS-01-005: Paul E. Dunne and Trevor J. M. Bench-Capon: Two Party Immediate Response Disputes: Properties and Efficiency.
[Abstract] [Postscript File]

ULCS-01-004: Peter McBurney, Simon Parsons and Michael Wooldridge: Desiderata for Agent Argumentation Protocols.
[Abstract] [Postscript File]

ULCS-01-003: Peter McBurney and Simon Parsons: Towards a Formal Theory of Dialogue Game Protocols for Autonomous Agent Interactions.
[PS File]

ULCS-01-002: Peter McBurney and Simon Parsons: A Hundred Schools of Thought Automatically Contending.
[PS File]

ULCS-01-001: Peter McBurney, Rogier M. van Eijk, Simon Parsons and Leila Amgoud: A Dialogue-Game Protocol for Agent Purchase Negotiations.
[Abstract] [Postscript File]