Logic, Informatics, Law (Legal Expert Systems)

logo ITTIG

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