ICAIL 2009

Start Date: 2009-06-08

End Date: 2009-06-12

Location: Barcelona

Country: Spain

Liaison: COST Action IC0801


The International Conference on Artificial Intelligence and Law (ICAIL) is a well established conference that gathers the best-known figures in the field. This year it had 152 participants and a program that involved 38 papers and research abstracts, and 4 invited speakers. In addition to the main conference there were 2 tutorials and 6 satellite workshops.
ICAIL topics are quite close to the Agreement technologies COST action agenda. Thus, in particular, two of the four invited talks were on agreement technologies:

  • Conventions, agreements and trust by Carles Sierra
  • On formal models of legal argument by Henry Prakken

One tutorial was directly related to AT contents:

  • Enhancing Dispute Resolution through the use of Information Technology . Presenters: Arno Lodder, VU University Amsterdam and John Zeleznikow, Victoria University, Melbourne, Australia

The other one was also connected to the extent that the focus was on electronic contracting:

  • Business Process Compliance. Presenters: Guido Governatori, NICTA Queensland Research Lab, Australia, Marta Indulska, University of Queenland, Australia and Shazia Sadiq, University of Queensland, Australia

Three of the six workshops directly involved AT topics:

  • Workshop: Natural Language Engineering of Legal Argumentation (http://nalea.org/nalela/nalela09.html). Organizers: Adam Wyner, University College London and Tom van Engers, University of Amsterdam
  • Workshop: Legal and Negotiation Decision Support Systems (http://idt.uab.es/LDSS2009/). Organizers: Uri Schild, Bar Ilan University, Israel and John Zeleznikow, Victoria University, Melbourne
  • Workshop: Modeling Legal Cases (http://www.csc.liv.ac.uk/~katie/LegalCasesWksp-Programme.pdf). Organizer: Katie Atkinson, University of Liverpool

With respect to papers, the following were on AT topics:

  • Legal Knowledge Representation and Reasoning
    • Ontological Requirements for Analogical, Teleological, and Hypothetical Legal Reasoning Kevin D. Ashley, University of Pittsburgh, USA
    • Isomorphism and Argumentation Trevor Bench-Capon, University of Liverpool, UK ,Thomas F. Gordon, Fraunhofer FOKUS, Germany
    • Creating an argumentation corpus: do theories apply to real arguments? Raquel Mochales and Aagje Ieven, KU Leuven, Belgium
  • Agents and Norms
    • Coherence-Driven Argumentation to Norm Consensus Sindhu Joseph, IIIA-CSIC, Spain, Henry Prakken, Utrecht University and University of Groningen, NL
    • Formalising Dynamic Protocols for Open Agent Systems Alexander Artikis, Institute of Informatics & Telecommunications, Greece, and Imperial College
  • Evidential Reasoning; Agents and Norms
    • Abstract Specification of Legal Contracts Cristian Prisacariu and Gerardo Schneider, University of Oslo, Norway
  • Formal Argumentation Frameworks
    • Why Lawyers Are Nice (or Nasty): A GameTheoretical Argumentation Exercise Giovanni Sartor, EUI, FLorence and CIRSFID, Bologna, Italy Michel Rudnianski, CNAM and ORT, Paris, France Antonino Rotolo, CIRSFID, Bologna, Italy RĂ©gis Riveret, University of Aberdeen, UK Eunate Mayor, EUI, Florence, Italy
    • Case Law in Extended Argumentation Frameworks Trevor Bench-Capon, University of Liverpool, UK Sanjay Modgil, King’s College, University of London, UK
    • Modular Argumentation for Modelling Legal Doctrines of Performance Relief Phan Minh Dung, Phan Minh Thang, and Nguyen Duy Hung, Asian Institute of Technology, Thailand
    • Legal Reasoning with Argumentation Schemes Thomas F. Gordon, Fraunhofer FOKUS, Germany
  • Applications and Tools
    • Toward Assessing Law Students’ Argument Diagrams Collin Lynch and Kevin Ashley, University of Pittsburgh, USA, Niels Pinkwart, Clausthal Univ of Technology, Germany , Vincent Aleven, Carnegie Mellon University, USA
    • How much logical structure is helpful in content-based argumentation software for legal case solving? Stijn Colen, Fokie Cnossen, and Bart Verheij, University of Groningen, NL
    • How to capture and use Legal Patterns in IT Alzbeta Krausova, K.U. Leuven, NL, Fabio Massacci, University of Trento, Italy
    • Incorporating Issues of Fairness into Development of a Multi-agent Negotiation Support System John Zeleznikow and Brooke Abrahams, Victoria University, Australia