@inproceedings{0557bde3f03b4090990c4f6ece1f0e12,
title = "Generalized negation as failure and semantics of normal disjunctive logic programs",
abstract = "We introduce the concept of generalized negation as failure (GNAF) to infer the falsity of a conjunction of atoms when the individual atoms can not be inferred to be false. Using GNAF, we present disjunctive well-founded semantics (DWFS), an extension of well-founded semantics, to the class of normal disjunctive logic programs. We also use an extension of Rajasekar and Minker's fixpoint operator for disjunctive logic programs [10] to be able to infer the truth of disjunctions of literals. Our semantics is equivalent to well-founded semantics for normal logic programs. For disjunctive programs (i.e. without negation in their bodies) it gives a fixpoint characterization of Minker's GCWA [9]. It differs from the Generalized Disjunctive Well-Founded semantics by Baral et al. [2] and well-founded semantics for normal disjunctive logic programs given by Ross [14].",
author = "Chitta Baral",
year = "1992",
month = jan,
day = "1",
doi = "10.1007/BFb0013071",
language = "English (US)",
isbn = "9783540557272",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "309--319",
editor = "Andrei Voronkov",
booktitle = "Logic Programming and Automated Reasoning - International Conference LPAR 1992, Proceedings",
note = "International Conference on Logic Programming and Automated Reasoning, LPAR 1992 ; Conference date: 15-07-1992 Through 20-07-1992",
}