Syntactic requirements for well-defined hybrid probabilistic logic programs

DOI10.4204/EPTCS.345.12MaRDI QIDQ6647304zbMATH OpenFDO

Authors Damiano Azzolini, Fabrizio Riguzzi

Publication date 3 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.345.12

Mathematics Subject Classification ID

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

Recommendations

• A semantics for hybrid probabilistic logic programs with function symbols
• Probabilistic logic programming
• Hybrid probabilistic programs
• A new approach to hybrid probabilistic logic programs
• Declarative probabilistic logic programming in discrete-continuous domains

Cites work

• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• A semantics for hybrid probabilistic logic programs with function symbols
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Extending ProbLog with Continuous Distributions
• scientific article; zbMATH DE number 7102019 (Why is no real title available?)
• Inference in probabilistic logic programs with continuous random variables
• Logic Programming
• On the semantics and complexity of probabilistic logic programs
• Probabilistic (logic) programming concepts
• Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains
• The distribution semantics for normal programs with function symbols
• The independent choice logic for modelling multiple agents under uncertainty
• The well-founded semantics for general logic programs
• Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics

Cited in

(1)

• Declarative probabilistic logic programming in discrete-continuous domains

This page was built for publication: Syntactic requirements for well-defined hybrid probabilistic logic programs

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