Tech Reports

2007

• • ULCS-07-027:
  • Adam Wyner
  • An Ontology in OWL for Legal Case-based Reasoning
• • ULCS-07-026:
  • Adam Wyner and Trevor Bench-Capon
  • Modelling Judicial Contexts in Argumentation Frameworks
• • ULCS-07-025:
  • Enrico Oliva, Mirko Viroli, Andrea Omicini and Peter McBurney
  • Argumentation and Artifact for Dialog Support
• • ULCS-07-024:
  • Katie Atkinson, Rod Girle, Peter McBurney and Simon Parsons
  • Command Dialogues
• • ULCS-07-023:
  • Sanjay Modgil and Trevor Bench-Capon
  • Integrating Object and Meta-Level Value Based Argumentation
• • ULCS-07-022:
  • Patrick Briest, Martin Hoefer, and Piotr Krysta
  • Stackelberg Network Pricing Games
• • ULCS-07-021:
  • Ioannis Politopoulos
  • Review and Analysis of Agent-Based Models in Biology
• • 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)
• • ULCS-07-019:
  • Tim Miller and Peter McBurney
  • Annotation and Matching of First-Class Agent Interaction Protocols
• • 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
• • ULCS-07-017:
  • Reshma Patel, Frans Coenen, Russell Martin and Lawson Archer
  • Reverse Engineering of Web Applications: A Technical Review
• • ULCS-07-016:
  • Peter McBurney and Simon Parsons
  • Retraction and Revocation in Agent Deliberation Dialogs
• • ULCS-07-015:
  • Tim Miller and Peter McBurney
  • Executable Logic for Reasoning and Annotation of First-Class Interaction Protocols
• • ULCS-07-014:
  • Jez McKean, Hayden Shorter, Michael Luck, Peter McBurney and Steven Willmott
  • Technology Diffusion: the Case of Agent Technologies
• • ULCS-07-013:
  • Paul E. Dunne
  • Uncontested Semantics for Value-Based Argumentation
• • ULCS-07-012:
  • Thierry Moyaux, Peter McBurney and Michael Wooldridge
  • A Supply Chain as a Network of Auctions
• • 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
• • ULCS-07-010:
  • Jarred McGinnis and Tim Miller
  • Amongst First Class Protocols
• • ULCS-07-009:
  • Mark W. Johnson, Tim Miller and Peter McBurney
  • Modelling Multi-agent Interaction Protocols using Categories Enriched over Pointed Sets
• • ULCS-07-008:
  • Paul E. Dunne
  • The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks
• • ULCS-07-007:
  • Anthony Hepple, Louise Dennis, and Michael Fisher
  • A Common Basis for Agent Organisations in BDI Languages
• • ULCS-07-006:
  • Enrico Gerding, Peter McBurney, Jinzhong Niu, Simon Parsons and Steve Phelps
  • Overview of CAT: A Market Design Competition
• • 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
• • ULCS-07-004:
  • Louise A. Dennis, Jeremy Gow and Carsten Shurmann
  • Challenge Problems for Inductive Theorem Provers v1.0
• • ULCS-07-003:
  • Adam Zachary Wyner and Trevor Bench-Capon
  • Towards an Extensible Argumentation System
• • ULCS-07-002:
  • Adam Zachary Wyner and Trevor Bench-Capon
  • Precedent and Procedure: an argumentation-theoretic analysis
• • ULCS-07-001:
  • L. A. Dennis
  • Agent Infrastructure Layer (AIL): Design and Operational Semantics v1.0

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.