Tech Reports

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

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.