COST Action IC0801

Start Date: 2009-06-08

End Date: 2009-06-12

Location: Barcelona

Country: Spain

Liaison: COST Action IC0801

Description:

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