Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Tabled Abduction in Logic Programs
August 2013
TA-TC-TPLP-2013
-
Journal
Ari Saptawijaya, Luís Moniz Pereira
Theory and Practice of Logic Programming, Online Supplement
Cambridge University Press
http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf
13
4-5
-
-
-
-
http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Tabled Abduction in Logic Programs, Theory and Practice of Logic Programming, Online Supplement, Vol. 13, No. 4-5, Cambridge University Press, http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf, (http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf), August 2013.
<b><a href="/people/members/view.php?code=3296a2fcb759ac3f30bc313a41f955bc" class="author">Ari Saptawijaya</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a></b>, <u>Tabled Abduction in Logic Programs</u>, Theory and Practice of Logic Programming, Online Supplement, Vol. 13, No. 4-5, Cambridge University Press, http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf, (<a href="http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf" target="_blank">url</a>), August 2013.
@article {TA-TC-TPLP-2013, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, title = {Tabled Abduction in Logic Programs}, journal = {Theory and Practice of Logic Programming, Online Supplement}, publisher = {Cambridge University Press}, address = {http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf}, volume = {13}, number = {4-5}, url = {http://journals.cambridge.org/downloadsup.php?file=/tlp2013008.pdf}, keywords = {abductive logic programming, tabled abduction, dual transformation, XSB Prolog, applications of abduction Export formats }, month = {August}, year = {2013}, }
Publication's urls
/publications/view.php?code=e612cc250bc2dca6977bce43e332dea6
/publications/view.php?code=TA-TC-TPLP-2013
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT