Well-founded semantics for extended datalog and ontological reasoning.

Andr Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob

Browse the full PODS paper archive.