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

Re-assign community