ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Representing legislation as logic programs
Machine intelligence 11
The treatment of negation in logic programs for representing legislation
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Automated proof search in non-classical logics: efficient matrix proof methods for modal and intuitionistic logics
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Legal modelling and reasoning using institutions
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |