First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription.

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Browse the full IJCAI paper archive.