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

Cite this paper

@inproceedings{Denecker2012ApproximationFT, title={Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs}, author={Marc Denecker and Maurice Bruynooghe and Joost Vennekens}, booktitle={Correct Reasoning}, year={2012} }