Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits. Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. ACM Trans. Comput. Log., 12(3):20, 2011. [doi]

Abstract

Abstract is missing.