×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Main Field

Software