NoMoRe: A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics

Prolog technology for default reasoning: proof theory and compilation techniques

Artificial Intelligence

A Deductive System for Non-Monotonic Reasoning

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

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

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

Graph theoretical characterization and computation of answer sets

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