Towards Practical Tabled Abduction in Logic Programs

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]

@inproceedings{SaptawijayaP13-0,
  title = {Towards Practical Tabled Abduction in Logic Programs},
  author = {Ari Saptawijaya and Luís Moniz Pereira},
  year = {2013},
  doi = {10.1007/978-3-642-40669-0_20},
  url = {http://dx.doi.org/10.1007/978-3-642-40669-0_20},
  researchr = {https://researchr.org/publication/SaptawijayaP13-0},
  cites = {0},
  citedby = {0},
  pages = {223-234},
  booktitle = {Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings},
  editor = {Luís Correia and Luís Paulo Reis and José Cascalho},
  volume = {8154},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40668-3},
}