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
Incremental Tabling for Query-Driven Propagation of Logic Program Updates
December 2013
IT-LPAR-2014
-
In proceedings
Ari Saptawijaya, Luís Moniz Pereira
Ken McMillan, Aart Middeldorp, Andrei Voronkov
Proceedings of 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19)
LNCS
Springer
http://link.springer.com/book/10.1007%2F978-3-642-45221-5
8312
694-709
978-3-642-45220-8
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabl-incr-lp-updates.pdf
http://link.springer.com/chapter/10.1007/978-3-642-45221-5_46
Export formats
Ari Saptawijaya and Luís Moniz Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: Ken McMillan and Aart Middeldorp and Andrei Voronkov (eds), Proceedings of 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), LNCS, Springer, http://link.springer.com/book/10.1007%2F978-3-642-45221-5, Vol. 8312, ISBN 978-3-642-45220-8, Pag. 694-709, (http://link.springer.com/chapter/10.1007/978-3-642-45221-5_46), http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabl-incr-lp-updates.pdf, December 2013.
<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>Incremental Tabling for Query-Driven Propagation of Logic Program Updates</b>, in: Ken McMillan, Aart Middeldorp and Andrei Voronkov (eds), <u>Proceedings of 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19)</u>, LNCS, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, http://link.springer.com/book/10.1007%2F978-3-642-45221-5, Vol. 8312, ISBN 978-3-642-45220-8, Pag. 694-709, (<a href="http://link.springer.com/chapter/10.1007/978-3-642-45221-5_46" target="_blank">url</a>), <i>http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabl-incr-lp-updates.pdf</i>, December 2013.
@inproceedings {IT-LPAR-2014, author = {Ari Saptawijaya and Lu\'{\i}s Moniz Pereira}, editor = {Ken McMillan and Aart Middeldorp and Andrei Voronkov}, title = {Incremental Tabling for Query-Driven Propagation of Logic Program Updates}, booktitle = {Proceedings of 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19)}, series = {LNCS}, publisher = {Springer}, address = {http://link.springer.com/book/10.1007%2F978-3-642-45221-5}, volume = {8312}, pages = {694-709}, isbn = {978-3-642-45220-8}, note = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/tabl-incr-lp-updates.pdf}, url = {http://link.springer.com/chapter/10.1007/978-3-642-45221-5_46}, keywords = {logic program updates, updates propagation, incremental tabling, dual program transformation, XSB Prolog}, month = {December}, year = {2013}, }
Publication's urls
/publications/view.php?code=ef0d8848ad5b7a7e30b06aa7aa65252c
/publications/view.php?code=IT-LPAR-2014
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