Stable Model Semantics for Guarded Existential Rules and Description Logics.

Georg Gottlob, Andr Hernich, Clemens Kupke, Thomas Lukasiewicz

Browse the full KR paper archive.