Tech Reports

2024

• • ULCS-24-001:
  • Ziauddin Ursani, Dmytro Antypov, Katie Atkinson, Judith Clymo, Matthew Dyer, Matthew Rosseinsky, Sven Schewe, Andrij Vasylenko
  • The Theory of Probabilistic Hierarchical Supervised Ensemble Learning

2020

• • ULCS-20-001:
  • Matt Luckcuck
  • Workshop Report: Scoping Certifiable Autonomous Nuclear Robotics

2019

• • ULCS-19-003:
  • Trevor Bench-Capon and John Henderson
  • Modelling Case Law Dynamics with Dialogue Moves
• • ULCS-19-002:
  • Katie Atkinson, Trevor Bench-Capon,Tom Routen, Alejandro Sánchez ,Stuart Whittle, Rob Williams and Catriona Wolfenden
  • Implementing ANGELIC Designs Using Logiak
• • ULCS-19-001:
  • Trevor Bench-Capon, Sanjay Modgil
  • Representing Norms with Extended Argumentation Frameworks

2018

• • ULCS-18-002:
  • Louise A. Dennis
  • Reconfigurable Autonomy: Architecture and Configuration Language
• • ULCS-18-001:
  • Trevor Bench-Capon, Katie Atkinson
  • Relating the ANGELIC Methodology to ASPIC+

2017

• • ULCS-17-004:
  • Trevor Bench-Capon, Katie Atkinson
  • Dimensions and Values for Reasoning with Legal Cases
• • ULCS-17-003:
  • Paul Gainer
  • Verification for a Robotic Assistant
• • ULCS-17-002:
  • Latifa Al-Abdulkarim, Katie Atkinson, Sam Atkinson and Trevor Bench-Capon
  • Angelic Environment: Support for the Construction of Legal KBS
• • ULCS-17-001:
  • Louise A Dennis
  • Gwendolen Semantics: 2017

2016

• • ULCS-16-004:
  • David Geleta, Terry R. Payne, Valentina Tamma
  • Computing Minimal Signature Coverage for Description Logic Ontologies
• • ULCS-16-003:
  • David Geleta, Terry R. Payne, Valentina Tamma
  • Computing Minimal Definition Signatures in Description Logic Ontologies
• • ULCS-16-002:
  • Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon
  • Temporal Data Streams for Anomaly Intrusion Detection (Extended Version)
• • ULCS-16-001:
  • Paul Gainer, Clare Dixon, Ulrich Hustadt
  • Probabilistic Model Checking of Ant-Based Positionless Swarming

2015

• • ULCS-15-006:
  • Mohamed Arikiez, Floriana Grasso and Michele Zito
  • Heuristics for the Cost-Effective Management of a Temperature Controlled Environment (accepted paper in IEEE ISGT ASIA 2015)
• • ULCS-15-005:
  • Trevor Bench-Capon, Thomas Gordon
  • Tools for Rapid Prototyping of Legal Case Based Reasoning
• • ULCS-15-004:
  • Latifa Al-Abdulkarim, Katie Atkinson, Trevor Bench-Capon
  • Adding Dimensions and Facts to ADF Representation of Legal Cases
• • ULCS-15-003:
  • Mohamed Arikiez, Floriana Grasso and Michele Zito
  • Heuristic Algorithm for Coordinating Smart Houses in MicroGrid
• • ULCS-15-002:
  • Latifa Al-Abdulkarim, Katie Atkinson and Trevor Bench-Capon
  • Evaluating an Approach to Reasoning with Cases Using Abstract Dialectical Frameworks
• • ULCS-15-001:
  • Paul E. Dunne
  • Indexing (n, s)-combinations

2014

• • ULCS-14-004:
  • Louise A. Dennis
  • ROS-AIL Integration
• • ULCS-14-003:
  • Louise A. Dennis and Michael Fisher
  • Actions with Durations and Failures in BDI Languages
• • ULCS-14-002:
  • Zaher Salah, Frans Coenen and Davide Grossi
  • Predicting speaker attitude in the UK House of Commons
• • ULCS-14-001:
  • Cláudia Nalon, João Marcos and Clare Dixon
  • Clausal Resolution for Modal Logics of Confluence - Extended Version

2013

• • ULCS-13-006:
  • Richard Stocker, Maarten Sierhuis, Louise Dennis, Clare Dixon, Michael Fisher
  • A Formal Semantics for Brahms - Technical Report
• • ULCS-13-004:
  • Cláudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt
  • A resolution-based calculus for Coalition Logic (Extended Version)
• • ULCS-13-003:
  • Davide Grossi and Wiebe van der Hoek
  • No Belief without Reason: Logics of Argument-Based Beliefs
• • ULCS-13-002:
  • Rolando Medellin-Gasque, Katie Atkinson and Trevor Bench-Capon
  • Critical Question ordering on argumentation-based dialogues
• • ULCS-13-001:
  • Rolando Medellin-Gasque, Katie Atkinson and Trevor Bench-Capon
  • Critical Question Formalization for an Argumentation Scheme about Plans. Technical Report

2012

• • ULCS-12-005:
  • Davide Grossi and Dov Gabbay
  • When Are Two Arguments the Same? Invariance in Abstract Argumentation
• • ULCS-12-004:
  • Luke Riley, Katie Atkinson and Terry Payne
  • Coalition Structure Generation for Self-Interested Agents in a Dialogue Game
• • ULCS-12-003:
  • Rolando Medellin-Gasque, Katie Atkinson, and Trevor Bench-Capon
  • A Dialogue Game Protocol for cooperative plan proposals
• • ULCS-12-002:
  • Rolando Medellin-Gasque, Katie Atkinson, and Trevor Bench-Capon
  • An Analysis on Critical Questions for Plan Proposals
• • ULCS-12-001:
  • Davide Grossi and Wiebe van der Hoek
  • Uncertainty in Abstract Argument Games: A Case Study on the Game for the Grounded Extension

2011

• • ULCS-11-005:
  • Davide Grossi and Paolo Turrini
  • Short Sight in Extensive Games
• • ULCS-11-004:
  • Martyn Lloyd-Kelly, Katie Atkinson and Trevor Bench-Capon
  • Emotion As An Enabler Of Co-Operation
• • ULCS-11-003:
  • Rolando Medellin-Gasque, Katie Atkinson, Peter McBurney, and Trevor Bench-Capon
  • Critical Questions for Plan Proposals
• • ULCS-11-002:
  • E. Black and K. Atkinson
  • Choosing persuasive arguments for action: A technical report
• • ULCS-11-001:
  • Matt Webster, Michael Fisher, Neil Cameron, Mike Jump
  • Model Checking and the Certification of Autonomous Unmanned Aircraft Systems

2010

• • ULCS-10-010:
  • Piotr Krysta, Tomasz Michalak, Tuomas Sandholm and Michael Wooldridge
  • Combinatorial Auctions with Externalities: Basic Properties and Bidding Languages
• • ULCS-10-009:
  • Martin Szomszor, Terry R. Payne and Luc Moreau
  • An XML Mapping Language for Dynamic Semantic Workflow Harmonisation
• • ULCS-10-008:
  • Fahd Saud Nawab
  • Agents with a Human Touch: Modeling of Human Rationality in Agent Systems (PhD Thesis)
• • ULCS-10-007:
  • Andrew McGrae
  • Colouring Empires in Random Trees (PhD Thesis)
• • ULCS-10-006:
  • Ricardo L. Parreira Duarte
  • Modeling Arguments in the Dictator Game
• • ULCS-10-005:
  • Andrew Dowell
  • Tackling the Computational Complexity of Understanding Coalition Formation in Multi-Agent Systems (PhD Thesis)
• • ULCS-10-004:
  • Kamal Ali Albashiri
  • An Investigation into the Issues of Multi-Agent Data Mining (PhD Thesis)
• • ULCS-10-003:
  • Maya Wardeh
  • Arguing from Experience: Persuasive Dialogue based on Association Rules (PhD Thesis)
• • ULCS-10-002:
  • Tim Miller and Peter McBurney
  • Efficient Storage and Retrieval in Protocol Libraries using Subsumption Hierarchies
• • ULCS-10-001:
  • Paul E. Dunne
  • Tractability in Value-based Argumentation

2009

• • ULCS-09-021:
  • Savas Konur, Michael Fisher and Sven Schwe
  • Verification of Multi-agent Systems via Combined Model Checking
• • ULCS-09-020:
  • Stella Heras, Katie Atkinson, Vicente Botti, Floriana Grasso, Vicente Julian and Peter McBurney
  • How Argumentation can Enhance Dialogues in Social Networks
  • (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
• • ULCS-09-018:
  • Sanjay Modgil and Trevor Bench-Capon
  • Metalevel Argumentation
• • 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
• • ULCS-09-016:
  • Ashraf Elsayed, Frans Coenen, Marta Garcia-Finana and Vanessa Sluming
  • Segmentation for Medical Imaging: A Technical Report
• • ULCS-09-015:
  • Ji Ruan
  • Reasoning about Time, Action and Knowledge in Multi-Agent Systems (PhD Thesis)
• • ULCS-09-014:
  • Ji Ruan, Wiebe van der Hoek and Michael Wooldridge
  • Model Checking GDL through MOCHA: A Case Study
• • ULCS-09-013:
  • Floris Bex, Trevor Bench-Capon and Katie Atkinson
  • Evidential Reasoning about Motives: A Case Study
• • ULCS-09-012:
  • Jinzhong Niu, Albert Mmoloke, Peter McBurney and Simon Parsons
  • CATP: A Communication Protocol for CAT Games (version 2.0)
• • ULCS-09-011:
  • Paul E. Dunne
  • On Constructing Minimal Formulae
• • 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
• • ULCS-09-009:
  • Boris Konev, Anatoli Degtiarev, Michael Fisher and Alexei Lisitsa
  • Characterising Finite Domains in Monodic First-Order Temporal Logic
• • ULCS-09-008:
  • Michel Ludwig and Ullrich Hustadt
  • Resolution-Based Model Construction for PLTL (Extended Version)
• • ULCS-09-007:
  • Ullrich Hustadt (Editor)
  • Proceedings of the Automated Reasoning Workshop 2009: Bridging the Gap between Theory and Practice (ARW 2009)
• • ULCS-09-006:
  • Boris Konev, Dirk Walther and Frank Wolter
  • Forgetting and Uniform Interpolation in Large-scale Description Logic Terminologies
• • 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)
• • ULCS-09-004:
  • Matt Webster, Louise Dennis and Michael Fisher
  • Model-Checking Auctions, Coalitions and Trust
• • ULCS-09-003:
  • Richard Molyneux
  • Hyperset Approach to Semi-structured Databases and the Experimental Implementation of the Query Language Delta (PhD Thesis)
• • ULCS-09-002:
  • Michael Fisher, Louise Dennis and Anthony Hepple
  • Modular Multi-Agent Design
• • ULCS-09-001:
  • Pattarawit Polpinit
  • The Computation of Equilibria in Congestion Networks (PhD Thesis)

2008

• • ULCS-08-022:
  • Savas Konur
• • ULCS-08-021:
  • Savas Konur
  • A Survey on Temporal Logics
• • ULCS-08-020:
  • Savas Konur
  • Real-Time and Probabilistic Temporal Logics: An Overview
• • ULCS-08-019:
  • Farnaz Derakhshan
  • The Implementation of Dynamic Assignment of Rights, Responsibilities and Sanctions to External Agents in Normative Multiagent Systems (PhD Thesis)
• • ULCS-08-018:
  • Matthew Paul Webster
  • Formal Models of Reproduction: from Computer Viruses to Artificial Life (PhD Thesis)
• • ULCS-08-017:
  • Paul Doran, Valentina Tamma, Ignazio Palmisano, Terry Payne and Luigi Iannone
  • Evaluating Ontology Modules Using an Entropy Inspired Metric
• • ULCS-08-016:
  • Floris Bex, Katie Atkinson and Trevor Bench-Capon
  • Representing Abductive Practical Reasoning as an Action-Based Alternating Transition System
• • ULCS-08-015:
  • Paul E. Dunne
  • The Computational Complexity of Ideal Semantics
• • ULCS-08-014:
  • Michael Fisher
  • Agent Deliberation in an Executable Temporal Framework
• • ULCS-08-013:
  • Omar Baqueiro Espinosa
  • Agent Risk Management in Electronic Markets Using Option Derivatives (PhD Thesis)
• • ULCS-08-012:
  • Ignazio Palmisano, Valentina Tamma, Luigi Iannone, Terry Payne and Paul Doran
  • Dynamic Ontology Evolution in Open Environments
• • ULCS-08-011:
  • Tim Miller and Peter McBurney
  • Annotation and Matching of Recursive and Iterative First-Class Agent Interaction Protocols
• • ULCS-08-010:
  • Lan Zhang, Ullrich Hustadt and Clare Dixon
  • First-order Resolution for CTL
• • ULCS-08-009:
  • Yanbo J. Wang
  • Language-independent Pre-processing of Large Documentbases for Text Classification (PhD Thesis)
• • ULCS-08-008:
  • Farnaz Derakhshan, Peter McBurney and Trevor Bench-Capon
  • Towards Dynamic Assignment of Rights and Responsibilities to Agents
• • ULCS-08-007:
  • Adam Wyner and Trevor Bench-Capon
  • Taking the A-chain: Strict and Defeasible Implication in Argumentation Frameworks
• • ULCS-08-006:
  • Katie Atkinson and Trevor Bench-Capon
  • Value-Based Arguments in the Dictator Game
• • ULCS-08-005:
  • Paul Bell
  • Computational Problems in Matrix Semigroups (PhD Thesis)
• • ULCS-08-004:
  • Steve Phelps
  • Evolutionary Mechanism Design (PhD Thesis)
• • ULCS-08-003:
  • Kasper Pedersen
  • On Systematic Scan (PhD Thesis)
• • ULCS-08-002:
  • Clare Dixon and John C. McCabe-Dansted
  • Resolution for a Temporal Logic of Robustness (Extended Version)
• • ULCS-08-001:
  • I. Blacoe, L. Ianonne, I. Palmisano and V. Tamma
  • QuestSemantics - Intelligent Search and Retrieval of Business Knowledge

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

2006

• • ULCS-06-004:
  • Paul E. Dunne
  • Computational properties of argument systems satisfying graph-theoretic constraints
• • ULCS-06-003:
  • Claudia Nalon and Clare Dixon
  • Anti-Prenexing and Prenexing for Modal Logics (Extended Version)
• • ULCS-06-002:
  • Tim Miller and Peter McBurney
  • Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
• • ULCS-06-001:
  • Clare Dixon, Michael Fisher and Boris Konev
  • Is there a future for deductive temporal verification?

2005

• • ULCS-05-012:
  • Tim Miller and Peter McBurney
  • A Formal Semantics for Gaia Liveness Rules and Expressions
• • ULCS-05-011:
  • Christian Setzkorn, Azzam F. Taktak and Bertil Damato
  • Geoconda: a web environment for multi-centre research
• • ULCS-05-010:
  • Sylvie Doutre, Peter McBurney, Michael Wooldridge and William Barden
  • Information-seeking agent dialogs with permissions and arguments
• • ULCS-05-009:
  • Paul E. Dunne and Yann Chevaleyre
  • Negotiation can be as hard as planning: Deciding reachability properties of distributed negotiation schemes
• • ULCS-05-008:
  • Jez McKean, Hayden Shorter, Peter McBurney and Michael Luck
  • The AgentLink III Technology Diffusion Model
• • ULCS-05-007:
  • Tim Miller and Peter McBurney
  • Agent system specification using TCOZ
• • ULCS-05-006:
  • Katie Atkinson, Trevor Bench-Capon and Peter McBurney
  • Agent decision using argumentation about actions
• • ULCS-05-005:
  • Matt Webster
  • ASM-based modelling of self-replicating programs
• • ULCS-05-004:
  • Katie Atkinson, Trevor Bench-Capon and Sanjay Modgil
  • Value added: Processing information with Argumentation
• • ULCS-05-003:
  • Boris Konev and Stephan Schulz (Editors)
  • Proceedings of the Fifth Workshop on the Implementation of Logics
• • ULCS-05-002:
  • Trevor Bench-Capon, Sylvie Doutre and Paul E. Dunne
  • Audiences in Argumentation Frameworks
• • ULCS-05-001:
  • Paul E. Dunne
  • Failing to comply: on deviating from social conventions

2004

• • ULCS-04-018:
  • Sebastian Rahlf, Guy Barnish, Ray Paton, Peter McBurney, Dyfrig Hughes and Ian Hastings
  • Modeling of Antimalarial Drug Compliance: Preliminary Report
• • ULCS-04-017:
  • Wiebe van der Hoek, Mark Roberts and Michael Wooldridge
  • Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis
• • ULCS-04-016:
  • Wiebe van der Hoek and Michael Wooldridge
  • On the Logic of Co-operation and Propositional Control
• • 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
• • 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
• • ULCS-04-013:
  • Paul E. Dunne
  • Context Dependence in Multiagent Resource Allocation
• • ULCS-04-012:
  • Paul E. Dunne
  • Extremal Behaviour in Multiagent Contract Negotiation
• • ULCS-04-011:
  • Christian Setzkorn and Ray C. Paton
  • JavaSpaces - An Affordable Technology For The Simple Implementation Of Reusable Parallel Evolutionary Algorithms
• • ULCS-04-010:
  • Paul E. Dunne and Trevor Bench-Capon
  • Identifying Audience Preferences in Legal and Social Domains
• • ULCS-04-009:
  • Paul E. Dunne and Trevor Bench-Capon
  • Complexity in Value-Based Argument Systems
• • ULCS-04-008:
  • Paul E. Dunne and Michael Wooldridge
  • Qualitative Coalitional Reasoning with Preferences
• • ULCS-04-007:
  • Michael Wooldridge and Paul E. Dunne
  • On the Computational Complexity of Qualitative Coalitional Games
• • ULCS-04-006:
  • Katie Atkinson, Trevor Bench-Capon and Peter McBurney
  • Computational Representation of Persuasive Argument
• • ULCS-04-005:
  • Katie Atkinson, Trevor Bench-Capon and Peter McBurney
  • Implementation of a Dialogue Game for Persuasion over Action
• • ULCS-04-004:
  • Ullrich Hustadt, Boris Konev, Alexandre Riazanov and Andrei Voronkov
  • TeMP: A Temporal Monodic Prover
• • ULCS-04-003:
  • Clare Dixon
  • Specifying and Verifying the Game Cluedo using Temporal Logics of Knowledge
• • ULCS-04-002:
  • Peter McBurney and Simon Parsons
  • Syntax and Semantics of the Fatio Argumentation Protocol
• • ULCS-04-001:
  • Paul E. Dunne
  • Extremal Behaviour in Multiagent Contract Negotiation

2003

• • ULCS-03-024:
  • Michael Fisher and Alexei Lisitsa
  • Temporal Deductive Verification of Cache Coherence Protocols
• • ULCS-03-023:
  • Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher and Ullrich Hustadt
  • Mechanising First-Order Temporal Resolution
• • 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
• • ULCS-03-021:
  • Christian Setzkorn and Ray C. Paton
  • MERBIS: A Self-Adaptive Multi-Objective Evolutionary Rule Base Induction System
• • ULCS-03-020:
  • Michael Laurence, Paul E. Dunne and Michael Wooldridge
  • On the Computational Complexity of Designing Bounded Agents
• • ULCS-03-019:
  • Colin Cooper, Ralf Klasing and Michele Zito
  • On-line Dominating Sets in Web Graphs
• • ULCS-03-018:
  • Boris Konev and Renate Schmidt
  • Proceedings of the Fourth Workshop on the Implementation of Logics
• • ULCS-03-017:
  • Alexei Lisitsa
  • LambdaLeanTap: Lean Deduction in Lambda Prolog
• • ULCS-03-016:
  • Christian Setzkorn and Ray C. Paton
  • MERBIS - A Multi-Objective Evolutionary Rule Base Induction System
• • ULCS-03-015:
  • Benjamin Vitteau and Marc-Philippe Huget
  • Modularity in Interaction Protocols
• • ULCS-03-014:
  • Katie Greenwood, Trevor Bench-Capon and Peter McBurney
  • Structuring Dialogue between The People and Their Representatives
• • ULCS-03-013:
  • Alison Chorley and Trevor Bench-Capon
  • Developing Legal Knowledge Based Systems Through Theory Construction
• • ULCS-03-012:
  • Anatoli Degtyarev, Michael Fisher and Boris Konev
  • Exploring the Monodic Fragment of First-Order Temporal Logic using Clausal Temporal Resolution
• • ULCS-03-011:
  • Michael Fisher and Alexei Lisitsa
  • Temporal Verification of Monodic Abstract State Machines
• • ULCS-03-010:
  • Mark W. Johnson
  • On Pointed Enrichments and Illegal Compositions
• • ULCS-03-009:
  • Jon Saunders
  • Localised Sex, Contingency and Mutator Genes: Bacterial Genetics as a Metaphor for Computing Systems
• • ULCS-03-008:
  • Iyad Rahwan, Peter McBurney and Liz Sonenberg
  • Towards a Theory of Negotiation Strategy (A Preliminary Report)
• • ULCS-03-007:
  • Rod Girle, David Hitchcock, Peter McBurney and Bart Verheij
  • Decision Support for Practical Reasoning: A Theoretical and Computational Perspective
• • ULCS-03-006:
  • Katie Greenwood, Trevor Bench-Capon and Peter McBurney
  • Towards an Account of Persuasion in Law
• • 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
• • ULCS-03-004:
  • Anatoli Degtyarev, Michael Fisher and Boris Konev
  • Monodic Temporal Resolution: the Expanding Domain Case
• • ULCS-03-003:
  • Katie Greenwood, Trevor Bench-Capon and Peter McBurney
  • Argument over Proposals for Action
• • ULCS-03-002:
  • Paul E. Dunne, Michael Wooldridge and Michael Laurence
  • The Complexity of Contract Negotiation
• • ULCS-03-001:
  • Anatoly Degtyarev, Michael Fisher and Boris Konev
  • Monodic Temporal Resolution

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

2001

• • ULCS-01-010:
  • Michael Wooldridge and Paul E. Dunne
  • The Complexity of Agent Design Problems: Determinism and History Dependence
• • ULCS-01-009:
  • Peter McBurney and Simon Parsons
  • The Possibility of Arguability: Combining Multiple Arguments on the same Topic
• • ULCS-01-008:
  • Peter McBurney and Simon Parsons
  • Strawmen and Eidolons: Using Argumentation to Reason across Scenarios
• • ULCS-01-007:
  • Silja Renooij, Simon Parsons and Linda van der Gaag
  • Context-specific Sign-Propagation in Qualitative Probabilistic Networks
• • ULCS-01-006:
  • Paul E. Dunne and Trevor J. M. Bench-Capon
  • Coherence in Finite Argument Systems
• • ULCS-01-005:
  • Paul E. Dunne and Trevor J. M. Bench-Capon
  • Two Party Immediate Response Disputes: Properties and Efficiency
• • ULCS-01-004:
  • Peter McBurney, Simon Parsons and Michael Wooldridge
  • Desiderata for Agent Argumentation Protocols
• • ULCS-01-003:
  • Peter McBurney and Simon Parsons
  • Towards a Formal Theory of Dialogue Game Protocols for Autonomous Agent Interactions
• • ULCS-01-002:
  • Peter McBurney and Simon Parsons
  • A Hundred Schools of Thought Automatically Contending
• • ULCS-01-001:
  • Peter McBurney, Rogier M. van Eijk, Simon Parsons and Leila Amgoud
  • A Dialogue-Game Protocol for Agent Purchase Negotiations

---

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.