Saptawijaya, Ari; Pereira, Luís Moniz Incremental tabling for query-driven propagation of logic program updates. (English) Zbl 1407.68085 McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 694-709 (2013). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Saptawijaya} and \textit{L. M. Pereira}, Lect. Notes Comput. Sci. 8312, 694--709 (2013; Zbl 1407.68085) Full Text: DOI
Saptawijaya, Ari; Pereira, Luís Moniz Program updating by incremental and answer subsumption tabling. (English) Zbl 1405.68051 Cabalar, Pedro (ed.) et al., Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40563-1/pbk). Lecture Notes in Computer Science 8148. Lecture Notes in Artificial Intelligence, 479-484 (2013). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Saptawijaya} and \textit{L. M. Pereira}, Lect. Notes Comput. Sci. 8148, 479--484 (2013; Zbl 1405.68051) Full Text: DOI