Completed logic programs and their consistency

The locality principle and completeness in logic programming

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing

Logic programming and knowledge representation-the A-prolog perspective

Artificial Intelligence

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

Artificial Intelligence

Order-consistent programs are cautiously monotonic

Theory and Practice of Logic Programming

Recycling computed answers in rewrite systems for abduction

ACM Transactions on Computational Logic (TOCL)

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

Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

Theory and Practice of Logic Programming

From logic programming semantics to the consistency of syntactical treatments of knowledge and belief

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence