Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Luuk Matthijssen |
An Intelligent Interface for Legal Databases. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philip Greenspun, Marc Lauritsen |
Making Way for Intelligence in Case Space. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
Internet |
1 | André Valente, Joost Breuker |
ON-LINE: An Architecture for Modelling Legal Information. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
Common Lisp |
1 | Henning Herrestad, Christen Krogh |
Obligations Directed from Bearers to Counterparts. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Zeleznikow, Andrew Stranieri |
The Split-Up System: Integrating Neural Networks and Rule-Based Reasoning in the Legal Domain. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | L. Thorne McCarty |
An Implementation of Eisner v. Macomber. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Cees Groendijk, Maaike Tragter |
MILIEU: A LKBS to Support Prosecution of Environmental Offenders. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jaap Hage |
Teleological Reasoning in Reason-Based Logic. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken |
From Logic to Dialectics in Legal Argument. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Edwina L. Rissland, M. Timur Friedman |
Detecting Change in Legal Concepts. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Reimer, Andreas Margelisch |
A Hybrid Knowledge Representation Approach to Reusability of Legal Knowledge Bases. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Henk de Bruijn, Radboud Winkels |
Case Reconstruction Before Assessment. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bruce M. McLaren, Kevin D. Ashley |
Context Sensitive Case Comparisons in Practical Ethics: Reasoning About Reasons. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Neil Hutton, A. Patterson, Cyrus Tata |
Decision Support for Sentencing in a Common Law Jurisdiction. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Aspassia Daskalopulu, Marek J. Sergot |
A Constraint-Driven System for Contract Assembly. |
ICAIL |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Robert Dupuis, Claude Thomasset, Louis-Claude Paquin, François Blanchard |
Towards a Methodology for the Validation of Expert Systems: The Case of Loge-Expert. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Frans Coenen, Trevor J. M. Bench-Capon, Peter Smeaton |
Representing Visual Conditions in a Legal knowledge Based System. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karl Branting |
A Reduction-Graph Model of Ratio Decidendi. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Thomas F. Gordon |
The Pleadings Game: Formalizing Procedural Justice. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Nitta, Stephen T. C. Wong, Yoshihisa Ohtake |
A Computational Model for Trial Reasoning. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Vassilis Konstantinou, John Sykes, Georgios N. Yannopoulos |
Can Legal Knowledge be Derived from Legal Texts? |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Prescott Loui, Jeff Norman, Jon Olson, Andrew Merrill |
A Design for Reasoning with Policies, Precedents, and Rationales. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Takahira Yamaguti, Masaki Kurematsu |
Legal Knowledge Acquisition Using Case-Based Reasoning and Model Inference. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Schobbens |
A Logic for Legal Hierarchies. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Seiichiro Sakurai, Hajime Yoshino 0001 |
Identification of Implicit Legal Requirements with Legal Abstract Knowledge. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Carole D. Hafner, Virginia J. Wise |
SmartLaw: Adapting "Classic" Expert System Techniques for the Legal Research Domain. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marc Lauritsen |
Knowing Documents. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anja Oskamp, Kevin D. Ashley (eds.) |
Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993 |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Graham Greenleaf, Andrew Mowbray |
Controlling and Augmenting Legal Inferencing: ysh, a Case Study. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Surendra Dayal, Michael Harmer, Peter Johnson 0002, David Mead |
Beyond Knowledge Representation: Commercial Uses for Legal Knowledge Bases. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Donald H. Berman, Carole D. Hafner |
Representing Teleological Structure in Case-based Legal Reasoning: The Missing Link. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Trevor J. M. Bench-Capon |
Neural Networks and Open Texture. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Olav Hødnebø, Edvard Løkketangen |
The Use of an ATMS Inconsistency Checking of a Legal Expert System. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken |
A Logical Framework for Modelling Legal Argument. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vanthienen, F. Robben |
Developing Legal Knowledge Based Systems Using Decision Tables. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
knowledge acquisition, decision tables, verification and validation, legal knowledge based systems |
1 | Jaap Hage |
Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Yoshino 0001, Makoto Haraguchi, Seiichiro Sakurai, Sigeru Kagayama |
Towards a Legal Analogical Reasoning System: Knowledge Representation and Reasoning Methods. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Edwina L. Rissland, David B. Skalak, M. Timur Friedman |
BankXX: A Program to Generate Argument Through Case-Base Research. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cees Groendijk, Anja Oskamp |
Case Recognition and Strategy Classification. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Poulin, Paul Bratley, Jacques Frémont, Ejan Mackaay |
Legal Interpretation in Expert Systems. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Uri J. Schild, Shai Herzog |
The Use of Meta-Rules in Rule Based Legal Computer Systems. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karl Branting |
An Issue-Oriented Approach to Judicial Document Assembly. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Georges Span |
LITES, an Intelligent Tutoring System for Legal Problem Solving in the Domain of Dutch Civil Law. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Sartor |
A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
legal system, rules and exceptions, knowledge representation, arguments, nonmonotonic reasoning |
1 | Graham Brown |
CHINATAX: Exploring Isomorphism with Chinese Law. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Daphne Gelbart, J. C. Smith |
FLEXICON: An Evaluation of a Statistical Ranking Model Adapted to Intelligent Legal Text Management. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Soon-Ae Yang, David Stuart Robertson 0001, John Lee 0004 |
KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Cuthill, Robert McCartney |
Issue Spotting in Legal Cases. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ruth Murbach, Éva Nonn |
Similarity in Harder Cases: Sentencing for Fraud. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aleven, Kevin D. Ashley |
What Law Students Need to Know to WIN. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | George Vossos, John Zeleznikow, Allan Moore, Daniel Hunter |
The Credit Act Advisory System (CAAS): Conversion from an Expert System Prototype to a C++ Commercial System. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
C++ |
1 | Marnix C. M. Weusten |
Validation: The Key Concept in Maintenance of Legal KBS. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tina Smith |
Violation of Norms. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
1 | A. W. Koers, D. Kracht |
A Goal Driven Knowledge Based System for a Domain of Private International Law. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael L. Kayman, Moonja P. Kim |
Expert Systems in Alternative Dispute Resolution. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Richard E. Susskind (eds.) |
Proceedings of the Third International Conference on Artificial Intelligence and Law, ICAIL '91, Oxford, England, June 25-28, 1991 |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Dallara, Carlo Gattei, Giovanni Sartor |
An Application of the Expert System Shell Sigma-kilagi to the Study of Benefits Regulation of Bologna University. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kevin D. Ashley, Vincent Aleven |
Toward an Intelligent Tutoring System for Teaching Law Students to Argue with Cases. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Tom Routen |
Complex Input: A Practical Way of Increasing the Bandwidth for Feedback and Student Modelling in a Statute-Based Tutoring System. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Marc Lauritsen |
Knowledge-Based Approaches to Government Benefits Analysis. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Donald H. Berman |
Developer's Choice in the Legal Domain: The Sisyphean Journey with DBR or Down Hill with Rules (a working paper for the case-rules panel at the third international conference of artificial intelligence and law). |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Henning Herrestad |
Norms and Formalization. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Paul Bratley, Jacques Frémont, Ejan Mackaay, Daniel Poulin |
Coping With Change. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Marek J. Sergot, A. S. Kamble, K. K. Bajaj |
Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth A. Lambert, Mark H. Grunewald |
Legal Theory and Case-Based Reasoners: The Importance of Context and the Process of Focusing. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Henry Prakken |
A Tool in Modelling Disagreement in Law: Preferring the Most Specific Argument. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bochereau, Danièle Bourcier, Paul Bourgine |
Extracting Legal Knowledge by Means of a Multilayer Neural Network Application to Municipal Jurisprudence. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Trevor J. M. Bench-Capon |
Exploiting Isomorphism: Development of a KBS to Support British Coal Insurance Claims. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Peter Johnson 0002, David Mead |
Legislative Knowledge Base Systems for Public Administration: Some Practical Issues. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jørgen Karpf |
Inductive Modelling in Law: Example Based Expert Systems in Administrative Law. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | George Vossos, John Zeleznikow, Tharam S. Dillon, Vivian Vossos |
An Example of Integrating Legal Case Based Reasoning with Object-Oriented Rule-Based Systems: IKBALS II. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Judith P. Dick |
Representation of Legal Text for Conceptual Retrieval. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | L. Thorne McCarty |
On the Role of Prototypes in Appellate Legal Argument (Abstract). |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | David B. Skalak, Edwina L. Rissland |
Argument Moves in a Rule-Guided Domain. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Mital, Agathoclis Kyprou Stylianou, Les Johnson |
Conceptual Information Retrieval in Litigation Support Systems. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Joost Breuker, Nienke den Haan |
Separating World and Regulation Knowledge: Where is the Logic. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Louis-Claude Paquin, François Blanchard, Claude Thomasset |
Loge-Expert: From a Legal Expert System to an Information System for Non-Lawyers. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Barnett Glickfeld |
Perpetuities Reasoning Captured and Automated in a Logic Program. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
1 | Diego Bercovich |
SIREDOJ: A Legal Assistance Application about Contracts in the Building Industry. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Julia Barragán, Luciano Barragán |
Knowledge Acquisition and Knowledge Base Refinement Problems in Developing the KBS Legal Expert System. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gail Swaffield |
THUMPER: An Expert System for Stamp Duty. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | G. J. van Opdorp, R. F. Walker, J. A. Schrickx, Cees Groendijk, P. H. van den Berg |
Networks at Work: A Connectionist Approach to Non-Deductive Legal Reasoning. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Layman E. Allen, Charles S. Saxon |
More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Interpretations. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | L. Karl Brenting |
Reasoning with Portions of Precedents. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Kowalski |
Case-Based Reasoning and the Deep Structure Approach to knowledge Representation. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn E. Sanders |
Representing and Reasoning About Open-Textured Predicates. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Graham Greenleaf, Andrew Mowbray, Alan Tyree |
The DataLex Legal Workstation: Integrating Tools for Lawyers. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | C. van Noortwijk, P. A. W. Piepers, J. G. L. van der Wees, Richard V. de Mulder |
The JURICAS-System: New Applications and Future Development. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Donald H. Berman, Carole D. Hafner |
Incorporating Procedural Context into a Model of Case-based Legal Reasoning. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Daphne Gelbart, J. C. Smith |
Beyond Boolean Search: FLEXICON, a Legal Tex-Based Intelligent System. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | G. Van Nevel, F. Balfroid, R. Venken |
An expert system for the application of import and export regulations. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Sartor |
The Structure of Norm Conditions and Nonmonotonic Reasoning in Law. |
ICAIL |
1991 |
DBLP DOI BibTeX RDF |
|
1 | R. W. Morrison |
Market Realities of Rule-Based Software for Lawyers: Where the Rubber Meets the Road. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | David B. Skalak |
Taking Advantage of Models for Legal Classification. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | R. D. Purdy |
Knowledge and Tools in Building GRANDJUR 1.1. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Kowalski |
The Treatment of Negation in Logic Programs for Representing Legislation. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | A. Galtung, D. S. Maesel |
Xcite (An Expert System for Naturalization Cases). |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Eric Simon, Gerry Gaes |
ASSYST - Computer Support for Guideline Sentencing. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | P. Wahlgren |
Legal Reasoning - a Jurisprudential Description. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Trevor J. M. Bench-Capon |
Deep Models, Normative Reasoning and Legal Expert Systems. |
ICAIL |
1989 |
DBLP DOI BibTeX RDF |
|