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
Joint Tabling of Logic Program Abductions and Updates
July 2014
iclp14-tc
Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express knowledge changes, be they internal (or self) and external (or world) changes. Abductive logic programs and logic program updates thus naturally coexist in problems that are susceptible to hypothetical reasoning about change. Taking this as a motivation, in this paper we integrate abductive logic programs and logic program updates by jointly exploiting tabling features of logic programming. The integration is based on and benefits from the two implementation techniques we separately devised previously, viz., tabled abduction and incremental tabling for query-driven propagation of logic program updates. A prototype of the integrated system is implemented in XSB Prolog.
Journal
Ari Saptawijaya, Luís Moniz Pereira
Theory and Practice of Logic Programming, Online Supplement
Cambridge University Press
Cambridge, UK
14
4-5
-
-
-
-
http://arxiv.org/abs/1405.2058
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Joint Tabling of Logic Program Abductions and Updates, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, Cambridge, UK, (http://arxiv.org/abs/1405.2058), July 2014.
<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>Joint Tabling of Logic Program Abductions and Updates</u>, Theory and Practice of Logic Programming, Online Supplement, Vol. 14, No. 4-5, Cambridge University Press, Cambridge, UK, (<a href="http://arxiv.org/abs/1405.2058" target="_blank">url</a>), July 2014.
@article {iclp14-tc, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, title = {Joint Tabling of Logic Program Abductions and Updates}, journal = {Theory and Practice of Logic Programming, Online Supplement}, publisher = {Cambridge University Press}, address = {Cambridge, UK}, volume = {14}, number = {4-5}, url = {http://arxiv.org/abs/1405.2058}, abstract = {Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express knowledge changes, be they internal (or self) and external (or world) changes. Abductive logic programs and logic program updates thus naturally coexist in problems that are susceptible to hypothetical reasoning about change. Taking this as a motivation, in this paper we integrate abductive logic programs and logic program updates by jointly exploiting tabling features of logic programming. The integration is based on and benefits from the two implementation techniques we separately devised previously, viz., tabled abduction and incremental tabling for query-driven propagation of logic program updates. A prototype of the integrated system is implemented in XSB Prolog.}, keywords = {abduction, logic program updates, tabled abduction, incremental tabling}, month = {July}, year = {2014}, }
Publication's urls
/publications/view.php?code=e71dde4ba20340cb106906847513147d
/publications/view.php?code=iclp14-tc
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