The British Nationality Act as a logic program
Communications of the ACM
Artificial Intelligence
An artificial intelligence approach to legal reasoning
An artificial intelligence approach to legal reasoning
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Oblog-2: A hybrid knowledge representation system for defeasible reasoning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Expert systems in law
A logical framework for default reasoning
Artificial Intelligence
AI Magazine
Non-monotonic reasoning in temporal domains: the knowledge independence problem
Proceedings of the 2nd international workshop on Non-monotonic reasoning
A goal driven knowledge based system for a domain of private international law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Knowledge-based approaches to government benefits analysis
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A tool in modelling disagreement in law: preferring the most specific argument
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
On the role of prototypes in appellate legal argument (abstract)
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The use of an ATMS in consistency checking of a legal expert system
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A design for reasoning with policies, precedents, and rationales
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
An implementation of Eisner v. Macomber
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Proceedings of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
| Hi-index | 0.00 |
A method for spotting issues is described which uses a system we are developing for searching interpretations spaces and constructing legal arguments. The system is compatible with the legal philosophy known as legal positivism, but does not depend on its notion of clear cases. AI methods applied in the system include an ATMS reason maintenance system, Poole's framework for default reasoning, and an interactive natural deduction theorem prover with a programmable control component for including domain-dependent heuristic knowledge. Our issue spotting method is compared with Gardner's program for identifying the hard and easy issues raised by offer and acceptance law school examination questions.