Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty

DOI10.1007/978-3-540-89985-3_7MaRDI QIDQ3628499zbMATH OpenOpenAlexFDO

Authors Nematollaah Shiri, Zhi Hong Zheng

Publication date 20 May 2009

Published in Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89985-3_7

zbMATH Keywords

deductive databasesmultisetsperformancesemanticsuncertainty

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Foundations of Information and Knowledge Systems
• scientific article; zbMATH DE number 1134643
• Efficient goal directed bottom-up evaluation of logic programs
• Optimizing bottom-up evaluation of constraint queries
• Fixpoint strategies for deductive databases

Cites work

• Foundations of Information and Knowledge Systems
• scientific article; zbMATH DE number 4064538 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• On the power of magic
• Probabilistic logic programming
• Quantitative deduction and its fixpoint theory
• The deevolution of concurrent logic programming languages

Cited in

(3)

• scientific article; zbMATH DE number 4160105 (Why is no real title available?)
• Optimistic evaluation
• Foundations of Information and Knowledge Systems

Describes a project that uses

Uses Software

• XSB

This page was built for publication: Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty

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