Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits

Browse the full IJCAI paper archive.