
Logic, Informatics, Law (Legal Expert Systems)
Pre-proceedings of the Third International Conference on
Logic, Informatics, Law
Florence, 2-5 November 1989
Antonio A. Martino (ed.)
INTRODUCTION
VOL. 1
- M. Agosti, G. Gradenigo, P. Mattiello, Hypertext as an Effective
Information Retrieval Tool for the End User
- L . Aqvist, Towards a Logical Theory of Lega Evidence: Semantic
Analysis of the Bolding-Ekelof Degrees of Evidential Strength
- J. Barragan, Bargaining and Uncertainty
- D.H. Berman, The Need for a Medium Grain Choice of Law Filter in
Certain Legal Expert Systems
- B. Capurso, C. Del Gracco, S. Stoppoloni, Knowledge Representation
Techniques and Judicial Sentences
- J.D. Castro Fernandez, The Automatic Determination of the Punibility
Requisites in Costa Rica's Penal Law
- S. Costantini, G.A. Lanzarone, Analogical Reasoning in Peflective
Prolog
- G.R. Cross, W.-B. Huang, Computational Aspects of Trademark Infringment
Cases
- P. Danyi, Public Advisory System. An Expert System for Local
Adminictration
- H. D'Avila Rufino, Prototype of an Expert Syste for the Backing Up of
Decision-making and Automating Redaction of Sentences in the Justice of Labour
Courts
- D. Davis, Readability and Semanticc of Legal Texts
- R.V. De Mulder, C. van Noortijk, H.O. Kerkmeester, Knowledge Systems
and Law - The JURICAS Project
- C.N.J. De Vey Mestdagh, G. Bos, Conflicting Legal Opinione, a Model for
Legal Knowledge Systems
- F. Fabrocini, The SEL Proiect. An Application of A.I. Technology to the
Preliminary Parts of Civil Proceedings
- F. Fernhout, Using a Parallel Distributed Processing Model as Part of a
Legal Expert System
- A . Flores, Una verifica formale dell'incostituzionalitą degli articoli
13 e 3, della legge l0 agosto 1988, n. 330 (A Formal Verification of the
Unconstitutionality of Sections 13 and 37 of Law No. 330 of 10 August
1988)
- S. Galvan, Relazioni di equivalenza tra i sistemi puri, aletici e misti
di logica deontica (Equivalence Relations between Pure, Aletic and Mixed
Systems in Deontic Logic)
- P. Gardenfors, The Dynamics of Normative Systems
- A. Gardner, Representing Developing Legal Doctrine
- R.W. Goldsmith, Potentialities for Practical, Instructional and
Scientific Purposes Of Computer Aids to Evaluating Judicial Evidence in Terms
of an Evidentiary Value Model
- C. Grutters, The Relation between the Character o a Domaln of Legal
Knowledge and the Modelling of Expert Systems in Law
- J. Hace, The Mind in the Machine
- R.P. Joneb, Knowledge Bases fcr Computer Assisted Legal
Instruction
- J. Karpf, Modularization of Legal Expert Systems
- J. Karpf, Quality Assurance of Legal Expert Systems
- P. Lasala, A. Lekuona, E. Mata, SEMCAD. An Approach to Information
Retrieval and Deduction Integrated Systems
- M. Lauritsen, Representing Lawyering Knowledge in Practice
Systems
- M.T. MacCrinmon, Facts, Stories and the Heorsay Rule
- G. Marxano, A Knowledge Based System Approach in Real Property
Documentation
- G. Marzano, R. Battilana, A Framework for Text Exploration and To
Assist in Content Automatio Analysis
- A. Pons, "Points of View" in Logic. Solving Conflicts between Default
Values Obtained through Multiple Inheritance
- G. Quirchmayr, R. Traunmuller, A Concept for Modelling Civil
Procedures
- C. Popa, Goals, Norms and Finite Automata
- J.A. Quast, J.H. De Wildt, Some Features of a Knowledge-based system
for tha Dutch Unemployment Insurance Act
- T.J. Reynolds, P. Kefalasw, OR-Parallel Logic Languages in Law
Applications
- R. Susskind, P. Capper, The Latent Damage System - A First Generation
Expert System in Law
- A. Saroh, J. Brusset, Morphological Analysis Cystem of Written Arabic
in SYAMSA
- U.J. Schild, Open Texture and Casa-Law Computer Systems
- R. Schreiber, Application of Law in Prolog
- C.H. Shyu, C.-M. Fu, T. Chenc, C.H. Lee, A Heuristic Evidential
Reasoning Model
- D.B. Skalak, E.L. Rissland, Using Case-based Reasoning to Extend the
Expertise of Expert Systems
- M. Smith, The Formalization of Legal Reasoning
- J.M. Smits, D. Kracht, Experiences with a Methodology for Developing
Advisory Systems for Legal Questions
- O. Stock, A. Lavelli, Natural Language Access to Knowledge: A Prototype
and a Prospect for the Field of Law
- F. Studnicki, J. Fall, A. Lachwa, E. Stabrawa, On Recursivs
Cross-references
- C. Thomasset, L.-C. Paquin, Expert Systems in Law and the
Representation of Legal Knowledge. Can We Isolate It from the Why and the
Who?
- R.A. Tokarczyk, Comparative Law as Computer-related Method
- T. Van Willigenburg, Representing Legal Expertise Using a Frame
Language Allowing Inheritance with Exceptions
- R.J. Vernengo, Legal TaxGnomics and conceptual Analysis
- P. Wahlgren, Hypertext and Legal Structures
- M.C.M. Weusten, Maintenance of Knowledge in Advisory Systems on Legal
Questions
- G.P. Zarri, Encoding the Temporal Characteristics of the Natural
Language Descriptions of (Legal) Situations
- D. Zhang, M. Lu, Perspectives in the ConLrol Strategies of Logic
Programming
Vol. 2
- C.E. Alchourron, E. Bulygin, Limits of Logic and Legal
Reasoning
- C.E. Alchourron, S.A. Cerri, A.A. Martino, A. Orsi, D. Santangelo, SRL
- Sistema per il ragionamento legale
- K. Alheit, Expert Systems in law: Issues of Liability
- G.S. Alvarez, C.G. Gregorio, Models for Legal Decision-making based on
Statical Analysis of Precedents
- B. Arbab, An Inference Engine based on the Logic of Proposition
Surrogates
- K.K. Bajaj, R.K. Dubash, A.S. Kamble, R. Kowalski, B.K. Murthy, D.
Rajakopalan, Indian Import-Export Policy and Procedures as a Logic
Program
- E. Bauer-Bernet, Machine Traslation for Lawyers? An Aspect of the
Babel-Research Project
- C. Biagioli, P. Mercatali, Per la redazione automatica di testi
legislativi
- C.Biagioli, E. Tesi, La rappresentazione della conoscenza nei sistemi
esperti che trattano norme giuridiche: verso un approccio
interdisciplinare
- R.S. Bianciotti, Artificial Intelligence and Law. Jurisprudential
Analysis to Create a Legal Knowledge Basis. Prototype of Reasoning
- C. Bianucci, G. Coco, A.A. Martino, G. Moscati, L.F. Rossi, L'uso di
rlazioni semantiche nella costruzione di reti: l'esperienza PTP (Piccolo
Thesaurus Politico)
- A. Cammelli, F Socci, P. Arrigoni, Lexis: A Legal Expert System for
Improving Legislative Drafting
- A. Castaneda, The Content of Legal Speech Acts and Deontic
Logic
- N. Ciaramella, P. Guidotti, L. Lucchesi, P. Mariani, M. Ragona, D.
Tisconia, Un sistema di reperimento concettuale per archivi sul diritto
dell'ambiente
- G. D'Aietti, Un Expert System in tema di locazioni commerciali
- A. David, Rationalization of Legal Terminology
- R.M. Di Giorgi, B. Inghirami, M. Ragona, R. Nannucci, A. Archi,
Hypertext for Legal Documentation
- E. Fameli, R. Nannucci, ELP Advisor: An Advisory System in
Environmental Law
- P. Fattibene, M. Martelli, M. Simi, Automated Legal Reasoning Using a
Theorem Prover for Modal Logics
- V. Fortier, M. Quenillet, An Expert System for Legal Teaching
- H. Fuks, M. Ryan, M. Sadler, Outline of a Commitment Logic for Legal
Reasoning
- P. Gabronsky, On representing Pure Statutory Law with the Language of a
Higher-Order Temporal Logic
- F. Galindo, A Methodological Prototype to Build Legal Software
- M. Gillespie, Artificial Iintelligence and Legal Reasoning: Lessons for
the Prototype and Deformation Model of Legal Reasoning
- J. Goossenaerts, J. Dumortier, J. Lewi, The stage-PROP- Actor-Net-
Method for the Representation of Organization
- T.F. Gordon, A Theory Construction Approach to Legal Document
Assembly
- S. Greene, Implication of Psycological Evidence for Formal Models of
Legal Reasoning
- R. Guastini, Enunciato normativo, interpretazione, norma. Un contributo
all'analisi del linguaggio giuridico
- R.A. Guibourg, From Juridical Informatics to Rational Political
Programming
- A. Hamfelt, J. Barklund, Metalevels in Legal Knowledge and their
Runnable Representation in Logic
- B. Hasseltvedt, B. Herrestad, Modelling Assestment Rules and case Law
Reasoning
- S.Liori, Ipertesi e diritto. Riflessioni ed esperienze
- S.S. Nagel, Legal Ethics and decision-aiding Sofware
- A. Paliwala, Expert Systems, Autopoiesis and Pluralism in Law
- M.A. Partika, Application of the Quine-Mc Cluskey Minimization
Algorithm of Multiple-Valued Individual Partial Logical Functions for
Self-Assigning Structures of Design of Systems
- A. Pavlova, N. Stanoulov, L. Bojadjiev, A Quantity Semantic Information
Approach for Improvement of Indexing Precision in Retrieval Systems
- C.E. Pear jr., Expert systems and the Race for Clients
- S. Pellecchia, METHODUS 2. Modello Gestione Ambienti Integrati
- L. Philipps, Are Legal Decisions Based on the Application of Rules or
Prototype Recognition? Legal Science on the Way to Neural Networks
- D.R. Ploch, B.K. Dumas, G.H. Gray, B. Maclennan, J. Nolt, Law Reading
Experiment
- B.N. Poll, A Plan-based Analysis of Indirect Offers
- D. Poulin, E. Mackaay, P. Bratley, J. Freemont, Time Server. A Legal
Time Specialist
- A. Prakken, Incompete and Inconsistent Knowledge in Legal Expert
Systems
- C. Sernadas, P. Mendes, A.M. Hespanha, F. Santos, S. Mascarenhas, A.
Sernadas, An Object Oriented Representation of the Dogmatics of Help
Omission in Criminal Law
- J.A. Stookey, Tortlaw: Prototype of an Expert System for Choice of Law
in Tort cases
- G. Taddei Elmi, Artificial Intelligence between Value and Subjectivity:
the Cognitive and Legal Capacity of Intelligent Systems
- A. Valente, Expert Systems For research and Technological
Innovation
- D. Van der Merwe, Storing, Accessing and Communication Information.
Databases, Expert Systems and Hypertext
- V. Vrecion, The strategy of Development of Legal Expert Systems
- E. Wilson, Drafing Legal Documents with JUSTUS' Clerk
- J. Wroblewski, Expert Systems and Legal Reasoning
Vol. 3
- L.E. Allen, C.S. Saxon, Relationship of Expert Systems to the Operation
of a Legal System
- S.A. Beliaev, Modele Global de l'ordre juridique international et de la
securite: certaines questions de la methodologie
- D. Bourcier, Expert Systems and Reasoning Aids for
Decision-makers
- A.G. Conte, Deontico vs. anankastico
- M.A. Heather, Normative Neural Nets in a Connectionist Model of the
Common Law
- T. Kuflik, E. Nissan, G. Puni, R. Salfati, Y. Shaul, Interpretation of
Imputed Behavior in ALIBI and ALIBI2
- A.A. Martino, O. Gru, International Sale: An Expert System Prototype
Legal Expert Systems and Deontic Theorem Provers
- G. Mazet, Some Linguistic Aspects of Legal Knowledge
formalization
- M. Sanchez-Mazas, Un modello matematico per la rappresentazione
simultanea di reti deontiche omologhe in diverse legislazioni (sincroniche o
diacroniche)
- G. Taddei Elmi, Origine, sviluppo, attualitą e prospettive
dell'informatica giuridica (Origin, Development, Current and Future Trends in
Legal Informatics: From 'Artificial' to 'Natural' Informatics)
- J. Wroblewski, Legal Expert Systems and Legal Reasoning