Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination (0)

by J de Bruijn, T Eiter, A Polleres, H Tompits
Venue:In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007