Tabling for non-monotonic programming

DOI10.1023/A:1018990308362MaRDI QIDQ1978007zbMATH OpenOpenAlexWikidataFDO

Authors Terrance Swift

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018990308362

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• XSB: extending Prolog with tabled logic programming
• Tabling with answer subsumption: implementation, applications and performance
• scientific article; zbMATH DE number 1487801
• An abstract machine for efficiently computing queries to well-founded models

Cited in

(14)

• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Preference Logic Grammars: Fixed point semantics and application to data standardization
• XSB: extending Prolog with tabled logic programming
• Enhancing global SLS-resolution with loop cutting and tabling mechanisms
• An improved reductant calculus using fuzzy partial evaluation techniques
• Tabling with sound answer subsumption
• scientific article; zbMATH DE number 7455714 (Why is no real title available?)
• Tabulation proof procedures for fuzzy linguistic logic programming
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
• scientific article; zbMATH DE number 1696815 (Why is no real title available?)
• A framework for goal-directed query evaluation with negation
• Termination of logic programs with imperfect information: applications and query procedure
• Auto-tabling for subproblem presolving in MiniZinc
• The PITA system: tabling and answer subsumption for reasoning under uncertainty

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Tabling for non-monotonic programming

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