On the Role of Negation in Choice Logic Programs
- 1 January 1999
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 236-246
- https://doi.org/10.1007/3-540-46767-x_17
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Deterministic and non-deterministic stable modelsJournal of Logic and Computation, 1997
- Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and ComputationInformation and Computation, 1997
- Strong and weak constraints in disjunctive datalogLecture Notes in Computer Science, 1997
- An alternative approach to the semantics of disjunctive logic programs and deductive databasesJournal of Automated Reasoning, 1994
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- Stable models and non-determinism in logic programs with negationPublished by Association for Computing Machinery (ACM) ,1990