A new approach to hybrid probabilistic logic programs

DOI10.1007/S10472-007-9048-3zbMATH Open1118.68673OpenAlexW1971164808MaRDI QIDQ2642628FDOQ2642628

Authors: Emad W. Saad, Enrico Pontelli 

Publication date: 17 August 2007

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

Full work available at URL: https://doi.org/10.1007/s10472-007-9048-3

Recommendations

• Logic Programming
• A semantics for hybrid probabilistic logic programs with function symbols
• Incomplete Knowledge in Hybrid Probabilistic Logic Programs
• scientific article; zbMATH DE number 1759369
• Hybrid probabilistic logic programs as residuated logic programs

zbMATH Keywords

Logic programmingProbabilistic reasoningNegation as failure

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• The well-founded semantics for general logic programs
• The alternating fixpoint of logic programs with negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bilattices and the semantics of logic programming
• Logic programming and negation: A survey
• Probabilistic logic programming
• Epistemic entrenchment and possibilistic logic
• Title not available (Why is that?)
• Quantitative deduction and its fixpoint theory
• Title not available (Why is that?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• Stable semantics for probabilistic deductive databases
• Uncertain deductive databases: a hybrid approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid probabilistic programs
• Title not available (Why is that?)
• Mathematical Foundations of Computer Science 2003
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• Logic Programming
• An abstract machine for efficiently computing queries to well-founded models
• Incomplete Knowledge in Hybrid Probabilistic Logic Programs

Cited In (14)

• Hybrid answer set programming
• Improving the efficiency of Gibbs sampling for probabilistic logical models by means of program specialization
• On the implementation of the probabilistic logic programming language ProbLog
• A semantics for hybrid probabilistic logic programs with function symbols
• Title not available (Why is that?)
• Hybrid probabilistic logic programs as residuated logic programs
• Bridging the gap between reinforcement learning and knowledge representation: a logical off- and on-policy framework
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Inductive Logic Programming
• Probabilistic Reasoning by SAT Solvers
• A Logical Approach to Qualitative and Quantitative Reasoning
• Incomplete Knowledge in Hybrid Probabilistic Logic Programs
• Syntactic requirements for well-defined hybrid probabilistic logic programs
• Logic Programming

Uses Software

• PRISM

This page was built for publication: A new approach to hybrid probabilistic logic programs

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