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

Open in new window