![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6. ICAIL 1997: Melbourne, Victoria, Australia
- John Zeleznikow, Daniel Hunter, Luther Karl Branting:
Proceedings of the Sixth International Conference on Artificial Intelligence and Law, ICAIL '97, Melbourne, Vicoria, Australia, June 30 - July 3, 1997. 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 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.