Disjunctive LP+integrity constraints= stable model semantics
- 1 September 1993
- journal article
- research article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 8 (3-4) , 449-474
- https://doi.org/10.1007/bf01530802
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The relationship between stable, supported, default and autoepistemic semantics for general logic programsTheoretical Computer Science, 1992
- Stable semantics for disjunctive programsNew Generation Computing, 1991
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Logic for Data DescriptionPublished by Springer Nature ,1978
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976