A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd 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
Decidability by Resolution for Propositional Modal Logics
Journal of Automated Reasoning
Single Step Tableaux for Modal Logics
Journal of Automated Reasoning
Clausal resolution in a logic of rational agency
Artificial Intelligence
Resolution Method for Modal Logic with Well-Founded Frames
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning
Connections in nonclassical logics
Handbook of automated reasoning
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Theoretical Computer Science
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Modal theorem proving: an equational viewpoint
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A resolution method for temporal logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Parameter structures for parametrized modal operators
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The philosophy of automated theorem proving
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Building theories into instantiation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Completeness of hyper-resolution via the semantics of disjunctive logic programs
Information Processing Letters
Unsorted Functional Translations
Electronic Notes in Theoretical Computer Science (ENTCS)
An SLD-resolution calculus for basic serial multimodal logics
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Foundations of Modal Deductive Databases
Fundamenta Informaticae
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
| Hi-index | 0.00 |