Incremental Tabling for Query-Driven Propagation of Logic Program Updates

DOI10.1007/978-3-642-45221-5_46MaRDI QIDQ2870163zbMATH OpenOpenAlexFDO

Authors Ari Saptawijaya, Luís Moniz Pereira

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45221-5_46

zbMATH Keywords

dual program transformationincremental tablinglogic program updatesupdates propagationXSB Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Program updating by incremental and answer subsumption tabling
• Incremental Tabling in Support of Knowledge Representation and Reasoning
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs
• Efficient access mechanisms for tabled logic programs
• Automated Deduction – CADE-20
• Nonrecursive incremental evaluation of Datalog queries
• Handling Incomplete and Complete Tables in Tabled Logic Programs

Cited in

(5)

• Program updating by incremental and answer subsumption tabling
• Incremental Tabling in Support of Knowledge Representation and Reasoning
• Tableaux for Reasoning about Atomic Updates
• Logic Programming
• A Local Algorithm for Incremental Evaluation of Tabled Logic Programs

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Incremental Tabling for Query-Driven Propagation of Logic Program Updates

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