Tabling with answer subsumption: implementation, applications and performance

DOI10.1007/978-3-642-15675-5_26MaRDI QIDQ4930773zbMATH OpenOpenAlexFDO

Authors Terrance Swift, David S. Warren

Publication date 1 October 2010

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• XSB: extending Prolog with tabled logic programming
• Tabling with sound answer subsumption
• scientific article; zbMATH DE number 1487801
• Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
• scientific article; zbMATH DE number 2085277

Cited in

(17)

• Auto-tabling for subproblem presolving in MiniZinc
• Tabling for non-monotonic programming
• scientific article; zbMATH DE number 1696855 (Why is no real title available?)
• XSB: extending Prolog with tabled logic programming
• Pre-indexed Terms for Prolog
• scientific article; zbMATH DE number 1487801 (Why is no real title available?)
• scientific article; zbMATH DE number 1497838 (Why is no real title available?)
• scientific article; zbMATH DE number 1755583 (Why is no real title available?)
• Top-down and bottom-up evaluation procedurally integrated
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• Tabling with sound answer subsumption
• Subset-logic programs and their implementation
• scientific article; zbMATH DE number 1420818 (Why is no real title available?)
• Description, implementation, and evaluation of a generic design for tabled CLP
• scientific article; zbMATH DE number 7455714 (Why is no real title available?)
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• One-hot conversion: towards faster table-based A2B conversion

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Tabling with answer subsumption: implementation, applications and performance

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