Well−Founded Semantics for Extended Datalog and Ontological Reasoning (Proceedings of the 32nd ACM Symposium on Principles of Database Systems‚ PODS 2013‚ New York‚ New York‚ USA‚ June 22−27‚ 2013, 2013)

(untitled) - Hernich, A; Kupke, C; Lukasiewicz, T; Gottlob, G