Ari Saptawijaya, Luís Moniz Pereira. Towards Practical Tabled Abduction in Logic Programs. In Luís Correia, Luís Paulo Reis, José Cascalho, editors, Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings. Volume 8154 of Lecture Notes in Computer Science, pages 223-234, Springer, 2013. [doi]
Abstract is missing.