Generalized disjunctive well-founded semantics for logic programs: procedural semantics

On the relationship between circumscription and well-founded semantics of logic programs

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's

The BLM semantics may be inconsistent

ACM-SE 30 Proceedings of the 30th annual Southeast regional conference

Logic knowledge bases with two default rules

Annals of Mathematics and Artificial Intelligence

Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA

Journal of Automated Reasoning

Procedural Semantics for Fuzzy Disjunctive Programs

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

A New Partial Semantics for Disjunctive Deductive Databases

Fundamenta Informaticae

A New Partial Semantics for Disjunctive Deductive Databases

Fundamenta Informaticae

Semantics For Disjunctive Logic Programs With Explicit And Default Negation

Fundamenta Informaticae