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
Tabdual: a tabled abduction system for logic programs
2015
ijla15-tabdual
Abduction can be too difficult to implement, and costly to perform, in particular if abductive solutions are not tabled. On the other hand, current Prolog systems, with their tabling mechanisms, are mature enough to facilitate the introduction of tabling abductive solutions (tabled abduction) into them. We conceptualize a tabled abduction technique Tabdual, permitting abductive solutions to be reused, from one abductive context to another. The approach is underpinned by the theory of Abdual and particularly makes use of the dual transformation that enables efficiently handling the problem of abduction under negative goals. The techniques introduced in Tabdual intends to sensitize a general audience of users, and of implementers of various LP systems, to the potential benefits of tabled abduction, where a number of its techniques are also adaptable and importable into LP systems that afford tabling mechanisms, other than XSB Prolog.
Journal
Ari Saptawijaya, Luís Moniz Pereira
IfCoLog Journal of Logics and their Applications
College Publications
-
-
-
-
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_ijla.pdf
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Tabdual: a tabled abduction system for logic programs, IfCoLog Journal of Logics and their Applications, College Publications, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_ijla.pdf), 2015.
<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>Tabdual: a tabled abduction system for logic programs</u>, IfCoLog Journal of Logics and their Applications, College Publications, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_ijla.pdf" target="_blank">url</a>), 2015.
@article {ijla15-tabdual, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, title = {Tabdual: a tabled abduction system for logic programs}, journal = {IfCoLog Journal of Logics and their Applications}, publisher = {College Publications}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabdual_ijla.pdf}, abstract = {Abduction can be too difficult to implement, and costly to perform, in particular if abductive solutions are not tabled. On the other hand, current Prolog systems, with their tabling mechanisms, are mature enough to facilitate the introduction of tabling abductive solutions (tabled abduction) into them. We conceptualize a tabled abduction technique Tabdual, permitting abductive solutions to be reused, from one abductive context to another. The approach is underpinned by the theory of Abdual and particularly makes use of the dual transformation that enables efficiently handling the problem of abduction under negative goals. The techniques introduced in Tabdual intends to sensitize a general audience of users, and of implementers of various LP systems, to the potential benefits of tabled abduction, where a number of its techniques are also adaptable and importable into LP systems that afford tabling mechanisms, other than XSB Prolog.}, keywords = {abduction, tabling, logic programming}, year = {2015}, }
Publication's urls
/publications/view.php?code=a924e89edd0e4a5384c16ccca30011f0
/publications/view.php?code=ijla15-tabdual
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