Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs

Marc Denecker, Maurice Bruynooghe, Joost Vennekens. Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 178-194, Springer, 2012. [doi]

Abstract

Abstract is missing.