The structure of norm conditions and nonmonotonic reasoning in law
Author:
Open Access
- 1 May 1991
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 155-164
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Hierarchically organised formalisations1989
- A language for legal Discourse I. basic features1989
- Issue spotting in a system for searching interpretation spaces1989
- 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