Hypothetical datalog negation and linear recursion
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd 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
On the role of prototypes in appellate legal argument (abstract)
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
The pleadings game: formalizing procedural justice
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
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
A Strong Logic Programming View for Static Embedded Implications
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Indefinite reasoning with definite rules
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
A transformational semantics of static embedded implications of normal logic programs
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Fundamenta Informaticae
| Hi-index | 0.00 |