Switch to: Citations

References in:

Integrating induction and deduction for finding evidence of discrimination

Salvatore Ruggieri, Dino Pedreschi & Franco Turini

Artificial Intelligence and Law 18 (1):1-43 (2010)

Add references

You must login to add references.

The IKBALS project: Multi-modal reasoning in legal knowledge based systems. [REVIEW]John Zeleznikow, George Vossos & Daniel Hunter - 1993 - Artificial Intelligence and Law 2 (3):169-203.details In attempting to build intelligent litigation support tools, we have moved beyond first generation, production rule legal expert systems. Our work integrates rule based and case based reasoning with intelligent information retrieval.When using the case based reasoning methodology, or in our case the specialisation of case based retrieval, we need to be aware of how to retrieve relevant experience. Our research, in the legal domain, specifies an approach to the retrieval problem which relies heavily on an extended object oriented/rule based (...) Download Export citation Bookmark 3 citations
A hybrid rule – neural approach for the automation of legal reasoning in the discretionary domain of family law in australia.Andrew Stranieri, John Zeleznikow, Mark Gawler & Bryn Lewis - 1999 - Artificial Intelligence and Law 7 (2-3):153-183.details Few automated legal reasoning systems have been developed in domains of law in which a judicial decision maker has extensive discretion in the exercise of his or her powers. Discretionary domains challenge existing artificial intelligence paradigms because models of judicial reasoning are difficult, if not impossible to specify. We argue that judicial discretion adds to the characterisation of law as open textured in a way which has not been addressed by artificial intelligence and law researchers in depth. We demonstrate that (...) Download Export citation Bookmark 16 citations
From Logic Programming to Prolog.Krzysztof R. Apt - 1997details Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution. Download Export citation Bookmark 3 citations

1