Login: A logic programming language with built-in inheritance
Journal of Logic Programming
A case-based system for trade secrets law
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Integrating rules and precedents for classification and explanation: automating legal analysis
Integrating rules and precedents for classification and explanation: automating legal analysis
A computational model for trial reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
HELIC-II: legal reasoning system on the parallel inference machine
Selected papers of international conference on Fifth generation computer systems 92
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
A legal negotiation support system
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Artificial Intelligence - Special issue on AI and law
Order-sorted logic programming with predicate hierarchy
Artificial Intelligence
Additive consolidation for dialogue game
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Meta-relation and ontology closure in conceptual structure theory
Artificial Intelligence and Law
Towards translation of legal sentences into logical forms
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
An analysis of interoperability between licenses
Proceedings of the tenth annual ACM workshop on Digital rights management
An approach to the formal analysis of license interoperability
Computers and Electrical Engineering
Hi-index | 0.01 |