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
July 2013
TA-TR-2013
-
Technical report
Ari Saptawijaya, Luís Moniz Pereira
Technical Report
CENTRIA
Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_lp.pdf
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Tabled Abduction in Logic Programs, Technical Report, CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_lp.pdf), July 2013.
Ari Saptawijaya and Luís Moniz Pereira, <b>Tabled Abduction in Logic Programs</b>, Technical Report, CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_lp.pdf" target="_blank">url</a>), July 2013.
@techreport {TA-TR-2013, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, title = {Tabled Abduction in Logic Programs}, type= {Technical Report}, institution = {CENTRIA}, address = {Departamento de Inform{\'a}tica, Faculdade de Ci{\^e}ncias e Tecnologia, Universidade Nova de Lisboa}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_lp.pdf}, keywords = {abductive logic programming, tabled abduction, dual transformation, XSB Prolog, applications of abduction}, month = {July}, year = {2013}, }
Publication's urls
/publications/view.php?code=bb2bea32034ec6d359a3386ba0e9d7ef
/publications/view.php?code=TA-TR-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