Proceedings of the Sixth International Conference on Artificial Intelligence and Law, ICAIL '97, June 30 - July 3, 1997, Melbourne, Vicoria, Australia. ACM, 1997, ISBN 0-89791-924-6

Logical Models of Legal Reasoning 1

• 
  Henry Prakken, Giovanni Sartor: Reasoning with Precedents in a Dialogue Game. 1-9
• 
  Thomas F. Gordon, Nikos I. Karacapilidis: The Zeno Argumentation Framework. 10-18
• 
  Layman E. Allen, Charles S. Saxon: Achieving Fluency in Modernized and Formalized Hohfeld: Puzzles and Games for the LEGAL RELATIONS Language. 19-28

Legal Information Retrieval

• 
  J. C. Smith: The Use of Lexicons in Information Retrieval in Legal Databases. 29-38
• 
  Jody J. Daniels, Edwina L. Rissland: Finding Legally Relevant Passages in Case Opinions. 39-46
• 
  Graham Greenleaf, Andrew Mowbray, Geoffrey King, Simon Cant, Philip Chung: More than wyshful Thinking: AustLII's Legal Inferencing via the World Wide Web. 47-55

Document Models and Automated Drafting

• 
  Timothy Arnold-Moore: Automatic Generation of Amendment Legislation. 56-62
• 
  Daniela Tiscornia, Fabrizio Turchi: Formalization of Legislative Documents Based on a Functional Model. 63-71
• 
  Karl Branting, James C. Lester, Charles B. Callaway: Automated Drafting of Self-Explaining Documents. 72-81
• 
  Daniel Poulin, Guy Huard, Alain Lavoie: The Other Formalization of Law: SGML Modelling and Tagging. 82-88

Knowledge Discovery and Induction

• 
  John Zeleznikow, Andrew Stranieri: Knowledge Discovery in the Split Up Project. 89-97
• 
  Dieter Merkl, Erich Schweighofer: The Exploration of Legal Text Corpora with Hierarchical Neural Networks: A Guided Tour in Public International Law. 98-105
• 
  Dawn Wilkins, Krishnan Pillaipakkamnatt: The Effectiveness of Machine Learning Techniques for Predicting Time to Case Disposition. 106-113

Automated Classification and Summarization

• 
  Marie-Francine Moens, Caroline Uyttendaele, Jos Dumortier: Abstracting of Legal Cases: The SALOMON Experience. 114-122
• 
  Stefanie Brüninghaus, Kevin D. Ashley: Finding Factors: Learning to Classify Case Opinions Under Abstract Fact Categories. 123-131

Knowledge Acquisition and Expert Systems

• 
  Trevor J. M. Bench-Capon, Pepijn R. S. Visser: Ontologies in Legal Information Systems: The Need for Explicit Specifications of Domain Conceptualisations. 132-141
• 
  Anja Oskamp, Maaike Tragter: Knowledge for Automated Legal Problem Solving: Theory Versus Practice. 142-150
• 
  Pepijn R. S. Visser, Robert W. van Kralingen, Trevor J. M. Bench-Capon: A Method for the Development of Legal Knowledge Systems. 151-160
• 
  Rodney Fisher: Determination of Residence Status for Taxation Law: Development of a Rule-Based Expert System. 161-169

Case-Based and Analogical Reasoning

• 
  Vincent Aleven, Kevin D. Ashley: Evaluating a Learning Environment for Case-Based Argumentation Skills. 170-179
• 
  Bipin Indurkhya: On Modeling Creativity in Legal Reasoning. 180-189
• 
  Yoshiaki Okubo, Makoto Haraguchi: Attacking Legal Argument by Examining Stability of Case Citation with Goal-Dependent Abstraction. 190-197

Legal Argumentation

• 
  James Palmer: Legal Merit Arguments, Legal Semiotics and the Design of Legal Knowledge-Based Systems. 198-206
• 
  Ronald Prescott Loui, Jeff Norman, Joe Altepeter, Dan Pinkard, Dan Craven, Jessica Linsday, Mark A. Foltz: Progress on Room 5: A Testbed for Public Interactive Semi-Formal Legal Argumentation. 207-214
• 
  L. Thorne McCarty: Some Arguments About Legal Arguments. 215-224

Logical Models of Legal Reasoning 2

• 
  Leendert W. N. van der Torre, Yao-Hua Tan: Distinguishing Different Roles in Normative Reasoning. 225-232
• 
  Laurence Cholvy, Frédéric Cuppens, Claire Saurel: Towards a Logical Formalization of Responsibility. 233-242
• 
  Bart Verheij, Jaap Hage, Arno R. Lodder: Logical Tools for Legal Argument: A Practical Assessment in the Domain of Tort. 243-249

Poster Presentations

• 
  Michael Aikenhead: Legal Principles and Analogical Reasoning (Extended Abstract). 250
• 
  Emilia Bellucci, John Zeleznikow: Family_Negotiator: An Intelligent Tool for Supporting Legal Negotiation in Australian Family Law (Abstract). 251
• 
  Nienke den Haan: Tools for Automated Legislative Drafting (Abstract). 252
• 
  Marc Lauritsen: MicroMax at Seven (Abstract). 253-254
• 
  José Gabriel Lopes, Paulo Quaresma, Irene Pimenta Rodrigues: Question/Answer Dialogues for Interfacing a Database with Supreme Court Decisions (Abstract). 255
• 
  José Neves, José Machado, António Abelha: The Application of Artificial Intelligence to Law Enforcement (Abstract). 256
• 
  Lambèr M. M. Royakkers, Frank Dignum: The Logic of Enactment (abstract). 257
• 
  Raf van Kuyck, Beatrice Van Buggenhout: A Model for Rule Based Legal Knowledge Representation (Abstract). 258
• 
  Wim Voermans, Robert W. van Kralingen: Bringing IT Support for Legislative Drafting one Step Further: From Drafting Dupport to Design Assistance (Abstract). 259
• 
  Radboud Winkels, David Bosschaert: Improving Human-Computer Interaction for Legal KBS (Abstract). 260