Semantical considerations on nonmonotonic logic
Artificial Intelligence
The British Nationality Act as a logic program
Communications of the ACM
Readings in nonmonotonic reasoning
A logical framework for default reasoning
Artificial Intelligence
Clausal intuitionistic logic I. Fixed-point semantics
Journal of Logic Programming
Clausal intuitionistic logic II. Tableau proof procedures
Journal of Logic Programming
Issue spotting in a system for searching interpretation spaces
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Logic programs with classical negation
Logic programming
Logic programs with exceptions
Logic programming
A computational model for trial reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Proceedings of the 6th international conference on Artificial intelligence and law
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Understanding Similarity: A Joint Project for Psychology,Case-Based Reasoning, and Law
Artificial Intelligence Review
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Fundamenta Informaticae
Capturing variability of law with nómos 2
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
| Hi-index | 0.00 |