Publications
“Local Closed World Semantics: Grounded Circumscription for Description Logics”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, 2011, vol. 6902, pp. 263-268. KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
, “Paraconsistent Semantics for Hybrid MKNF Knowledge Bases”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, 2011, vol. 6902, pp. 93–107. para-hmknf-RR2011.pdf (401.56 KB)
,