Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.

Jos de Bruijn, Thomas Eiter, Hans Tompits

Browse the full KR paper archive.