Tech Reports

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

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.