The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?
- 1 June 1991
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 3 (2-4) , 393-428
- https://doi.org/10.1007/bf01530931
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Specifying dynamic and deontic integrity constraintsData & Knowledge Engineering, 1989
- A specification language for static, dynamic and deontic integrity constraintsPublished by Springer Nature ,1989
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Generalization/Specialization as a Basis for Software SpecificationPublished by Springer Nature ,1984
- Dynamic LogicPublished by Springer Nature ,1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- On Conceptual ModellingPublished by Springer Nature ,1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Negation as FailurePublished by Springer Nature ,1978
- IS SEMANTICS POSSIBLE?*Metaphilosophy, 1970