Equality-Friendly Well-Founded Semantics and Applications to Description Logics.

Georg Gottlob, Andr Hernich, Clemens Kupke, Thomas Lukasiewicz

Browse the full AAAI paper archive.