Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning

Resolution for Skeptical Stable Model Semantics

Journal of Automated Reasoning

Reasoning with Infinite Stable Models II: Disjunctive Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming

Binding Propagation in Disjunctive Databases

VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases

Nonmonotonic reasoning: towards efficient calculi and implementations

Handbook of automated reasoning

Improving search in a hypothetical reasoning system

ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16

DisLoP: a research project on Disjunctive Logic Programming

AI Communications

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

ACM Transactions on Computational Logic (TOCL)

Logic-based knowledge representation

Artificial intelligence today