Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
The 5th Conference on Logic programming '86
A logical framework for default reasoning
Artificial Intelligence
Logic-based knowledge representations
Logic-based knowledge representations
Logic programs with exceptions
Logic programming
A logical framework for modelling legal argument
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Towards a legal analogical reasoning system: knowledge representation and reasoning methods
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
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
Meta-Level Inference Systems
Progress on Room 5: a testbed for public interactive semi-formal legal argumentation
Proceedings of the 6th international conference on Artificial intelligence and law
Logical tools for legal argument: a practical assessment in the domain of tort
Proceedings of the 6th international conference on Artificial intelligence and law
Logical structure of change of legal relations and its representation in legal knowledge base system
Proceedings of the 11th international conference on Artificial intelligence and law
Source Norms and Self-regulated Institutions
Computable Models of the Law
Modular argumentation for modelling legal doctrines of performance relief
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
The systematization of law in terms of the validity
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Compliance with normative systems
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
| Hi-index | 0.00 |