Tech Reports

2002

• • ULCS-02-031:
  • Steve Phelps, Simon Parsons, Elizabeth Sklar and Peter McBurney
  • Applying Multi-Objective Evolutionary Computing to Auction Mechanism Design
• • ULCS-02-030:
  • Grant Malcom
  • Observational Truth as Categorical Modality
• • ULCS-02-029:
  • Trevor Bench-Capon, Grant Malcom and Michael Shave
  • Semantics for Interoperability: Relating Ontologies and Schemata
• • ULCS-02-028:
  • Paul E. Dunne and Peter McBurney
  • Optimal Utterances in Dialogue Protocols
• • ULCS-02-027:
  • Peter McBurney and Simon Parsons
  • Democracy in Open Agent Systems
• • ULCS-02-026:
  • Peter McBurney and Simon Parsons
  • Posit Spaces: A Performative Model of e-Commerce
• • ULCS-02-025:
  • Paul E. Dunne
  • Prevarication in Dispute Protocols
• • ULCS-02-024:
  • Christian Setzkorn and Ray C. Paton
  • The Scalability of JavaSpaces for the Implementation of different Parallel Evolutionary Algorithms
• • ULCS-02-023:
  • J. Brotherston, A. Degtyarev, M. Fisher and A. Lisitsa
  • Searching for Invariants using Temporal Resolution
• • ULCS-02-022:
  • Richard Gregory, Ray Paton, Jon Saunders and Henry Wu
  • Computing Microbial Interactions and Communications - COMIC
• • ULCS-02-021:
  • Peter McBurney, David Hitchcock and Simon Parsons
  • The Eightfold Way of Deliberation Dialogue
• • ULCS-02-020:
  • Marc-Philippe Huget
  • Generating Code for Agent UML Sequence Diagrams
• • ULCS-02-019:
  • Steve Phelps, Peter McBurney, Simon Parsons and Elizabeth Sklar
  • Co-evolutionary Auction Mechanism Design: A Preliminary Report
• • ULCS-02-018:
  • Marc Pauly
  • Programming and Verifying Subgame Perfect Mechanisms
• • ULCS-02-017:
  • Trevor J. M. Bench-Capon
  • Persuasion in Practical Argument using Value-Based Argumentation Frameworks
• • ULCS-02-016:
  • Peter McBurney, Simon Parsons and Mark W. Johnson
  • When are Two Protocols the Same?
• • ULCS-02-015:
  • Marc-Philippe Huget
  • An Application of Agent UML to Supply Chain Management
• • ULCS-02-014:
  • Marc-Philippe Huget
  • Extending Agent UML Protocol Diagrams
• • ULCS-02-013:
  • Marc-Philippe Huget
  • Agent UML Class Diagrams Revisited
• • ULCS-02-012:
  • Marc-Philippe Huget
  • Model Checking Agent UML Protocol Diagrams
• • ULCS-02-011:
  • Peter McBurney and Simon Parsons
  • Formalizing Scenario Analysis
• • ULCS-02-010:
  • Marc-Philippe Huget
  • Desiderata for Agent Oriented Programming Languages
• • ULCS-02-009:
  • Marc-Philippe Huget
  • A Language for Exchanging Agent UML Protocol Diagrams
• • ULCS-02-008:
  • Paul E. Dunne
  • TPI-Disputes and Proof by Clausal Tableaux
• • ULCS-02-007:
  • Peter McBurney and Simon Parsons
  • Chance Discovery and Scenario Analysis
• • ULCS-02-006:
  • Trevor J. M. Bench-Capon
  • Added Value: Using Argumentation Frameworks for Reasoning about Problems in Ethics
• • ULCS-02-005:
  • Christian Setzkorn, Laura Dipietro and Robin Purshouse
  • Evolving Rule-based Trading Systems
• • 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
• • ULCS-02-003:
  • Paul E. Dunne
  • On Concise Encodings of Preferred Extensions
• • 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
• • ULCS-02-001:
  • Trevor J. M. Bench-Capon and Paul E. Dunne
  • Value Based Argumentation Frameworks

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.