A computational model for trial reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
New HELIC-II: a software tool for legal reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
A Deductive Object-Oriented Database System for Situated Inference in Law
IEEE Transactions on Knowledge and Data Engineering
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A general-purpose forward deduction engine for modal logics
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
| Hi-index | 0.00 |