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

Open in new window