Tech Reports

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

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.