On the relations between stable and well-founded semantics of logic programs

A sound and complete procedure for a general logic program in non- floundering derivations with respect to the 3-valued stable model semantics

Theoretical Computer Science

An empirical study of the 4-valued Kripke-Kleene and 4-valued well-founded semantics in random propositional logic programs

Annals of Mathematics and Artificial Intelligence

Resolution for Skeptical Stable Model Semantics

Journal of Automated Reasoning

Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning

A logic programming approach to knowledge-state planning: Semantics and complexity

ACM Transactions on Computational Logic (TOCL)

Order-consistent programs are cautiously monotonic

Theory and Practice of Logic Programming

DisLoP: a research project on Disjunctive Logic Programming

AI Communications

Magic Sets and their application to data integration

Journal of Computer and System Sciences

Computing Only Minimal Answers in Disjunctive Deductive Databases

Journal of Automated Reasoning

On odd and even cycles in normal logic programs

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2

Reasoning with infinite stable models

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Abduction in logic programming: a new definition and an abductive procedure based on rewriting

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Magic sets and their application to data integration

ICDT'05 Proceedings of the 10th international conference on Database Theory