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

Jos de Bruijn Thomas Eiter Axel Polleres Hans Tompits Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. 304-309 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-047.pdf db/conf/ijcai/ijcai2007.html#BruijnEPT07