Foundations of logic programming
Foundations of logic programming
Artificial Intelligence
Artificial Intelligence
Login: A logic programming language with built-in inheritance
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
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A design for reasoning with policies, precedents, and rationales
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
Oblog-2 is a hybrid knowledge representation system comparable to Krypton and KL-TWO. It combines a terminological reasoner with a Prolog-like inference mechanism. The terminological component supports the description of type and attribute taxonomies. Entities are instances of a set of types. Procedures for determining the values of attributes are Horn clause rules indexed by type. The known types of an entity determine its set of applicable rules, which changes as our knowledge about the types of the entity is refined, supporting a form of defeasible reasoning. Oblog-2 has been designed for modeling legal domains. Laws can be represented as general rules with exceptions, a technique traditionally used in the law, together with burden of proof rules, for reaching decisions when less than perfect information is available.