The British Nationality Act as a logic program
Communications of the ACM
A case-based system for trade secrets law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Expert systems in law
A classification of meta-level architectures
Meta-programming in logic programming
An integrated interpreter for explaining Prolog's successes and failures
Meta-programming in logic programming
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
The pleadings game: formalizing procedural justice
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Legal interpretation in expert systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The use of meta-rules in rule based legal computer systems
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
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Toward formalizing dialectical argumentation
Toward formalizing dialectical argumentation
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Contradiction and Confirmation
DDEXA '93 Proceedings of the 4th International Conference on Database and Expert Systems Applications
On modeling creativity in legal reasoning
Proceedings of the 6th international conference on Artificial intelligence and law
Legal merit arguments, legal semiotics and the design of legal knowledge-based systems
Proceedings of the 6th international conference on Artificial intelligence and law
Hi-index | 0.00 |