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
An implementation of Eisner v. Macomber
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Multimodal reasoning for automatic model construction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Reasoning about nonlinear system identification
Artificial Intelligence
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
Communicable Knowledge in Automated System Identification
Computational Discovery of Scientific Knowledge
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 |