Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty

DOI10.1007/978-3-540-89985-3_7zbMath1183.68255OpenAlexW79611872MaRDI QIDQ3628499

Zhi Hong Zheng, Nematollaah Shiri

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

performanceuncertaintysemanticsmultisetsdeductive databases

Mathematics Subject Classification ID

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

Uses Software

• XSB

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilistic logic programming
• On the power of magic
• Quantitative deduction and its fixpoint theory
• The deevolution of concurrent logic programming languages
• Foundations of Information and Knowledge Systems

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