Michael Bartholomew, Joohyung Lee, Yunsong Meng. First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 724-730, IJCAI/AAAI, 2011. [doi]
Abstract is missing.