The structure of norm conditions and nonmonotonic reasoning in law
- 1 May 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 155-164
- https://doi.org/10.1145/112646.112665
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Hierarchically organised formalisationsPublished by Association for Computing Machinery (ACM) ,1989
- A language for legal Discourse I. basic featuresPublished by Association for Computing Machinery (ACM) ,1989
- Issue spotting in a system for searching interpretation spacesPublished by Association for Computing Machinery (ACM) ,1989
- A logical framework for default reasoningArtificial Intelligence, 1988
- Clausal intuitionistic logic II. tableau proof proceduresThe Journal of Logic Programming, 1988
- Clausal intuitionistic logic I. fixed-point semanticsThe Journal of Logic Programming, 1988
- The British Nationality Act as a logic programCommunications of the ACM, 1986
- Ideality, sub-ideality and deontic logicSynthese, 1985
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- A logic for default reasoningArtificial Intelligence, 1980