A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs

Audrey Ferry. A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logic Programs. Annals of Mathematics and Artificial Intelligence, 15(3-4):325-355, 1995.

Abstract

Abstract is missing.