Tabling with Answer Subsumption: Implementation, Applications and Performance
From MaRDI portal
Publication:4930773
DOI10.1007/978-3-642-15675-5_26zbMath1306.68012OpenAlexW2171899835MaRDI QIDQ4930773
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
Related Items (7)
XSB: Extending Prolog with Tabled Logic Programming ⋮ Pre-indexed Terms for Prolog ⋮ Fixpoint semantics and optimization of recursive Datalog programs with aggregates ⋮ Tabling with Sound Answer Subsumption ⋮ Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP ⋮ Unnamed Item ⋮ Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
Uses Software
This page was built for publication: Tabling with Answer Subsumption: Implementation, Applications and Performance