Program updating by incremental and answer subsumption tabling

DOI10.1007/978-3-642-40564-8_47MaRDI QIDQ2851278zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ari Saptawijaya, Luís Moniz Pereira

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_47

zbMATH Keywords

answer subsumption tablingincremental tablinglogic program updates

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Incremental Tabling for Query-Driven Propagation of Logic Program Updates
• Logic Programming
• scientific article; zbMATH DE number 1931648
• scientific article; zbMATH DE number 1890622
• scientific article; zbMATH DE number 1926644

Cited in

(4)

• Logic Programming
• EVOLP: An Implementation
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• Incremental Tabling for Query-Driven Propagation of Logic Program Updates

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Program updating by incremental and answer subsumption tabling

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851278)