Handling Incomplete and Complete Tables in Tabled Logic Programs

DOI10.1007/11799573_34MaRDI QIDQ5449621zbMATH OpenOpenAlexFDO

Authors Ricardo Rocha

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_34

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Linear tabling strategies and optimizations
• Logic Programming
• scientific article; zbMATH DE number 2085277
• scientific article; zbMATH DE number 2085268
• Efficient access mechanisms for tabled logic programs

Cited in

(3)

• On completing tables to satisfy functional dependencies
• Incremental Tabling for Query-Driven Propagation of Logic Program Updates
• Incremental Tabling in Support of Knowledge Representation and Reasoning

Describes a project that uses

Uses Software

• YapTab

This page was built for publication: Handling Incomplete and Complete Tables in Tabled Logic Programs

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