Semantical considerations on nonmonotonic logic
Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
The British Nationality Act as a logic program
Communications of the ACM
A logical framework for default reasoning
Artificial Intelligence
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Positive/negative conditional rewriting
1st international workshop on Conditional Term Rewriting Systems
Hierarchically organised formalisations
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Updating logical databases
An abductive theory of legal issues
International Journal of Man-Machine Studies - AI and legal reasoning. Part 2
The structure of norm conditions and nonmonotonic reasoning in law
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Masking and conflicts, or to inherit not to own!
Inheritance hierarchies in knowledge representation and programming languages
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
A computational framework for dialectical reasoning
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Hi-index | 0.00 |
The theory of non-monotonic reasoning has interesting applications for the formalization and automated use of legal concepts, specially:• drawing conclusions from a logically inconsistent, but hierarchic, regulations [1, 30];• similarly, establishing facts from a set of inconsistent testimonies, partially ranked by confidence;• using presumptions (such as the presumption of innocence) in the face of possibly contradictory evidence.In this paper, we use a logic [37, 38], that ranks contradictory formulae using two new paraconsistent variants of conjunction: “but” and “on the other hand”. Its algebraic proof theory is presented.