Embedding non-ground logic programs into autoepistemic logic for knowledge base combination (2007)

by Jos De Bruijn , Thomas Eiter , Technische Universität Wien , Axel Polleres
Venue:IN PROC. IJCAI-2007
Citations:23 - 10 self