Tech Reports

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

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.