A semantics for hybrid probabilistic logic programs with function symbols

DOI10.1016/j.artint.2021.103452OpenAlexW3120183571MaRDI QIDQ2238621

Evelina Lamma, Fabrizio Riguzzi, Damiano Azzolini

Publication date: 2 November 2021

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2021.103452

zbMATH Keywords

probabilistic logic programminghybrid programs

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items

Lifted inference for statistical statements in probabilistic answer set programming, Optimizing Probabilities in Probabilistic Logic Programs

Uses Software

• ProbLog
• CP-logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The distribution semantics for normal programs with function symbols
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Probabilistic (logic) programming concepts
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Probabilistic Horn abduction and Bayesian networks
• The independent choice logic for modelling multiple agents under uncertainty
• Probabilistic logic programming for hybrid relational domains
• Extending ProbLog with Continuous Distributions
• The magic of logical inference in probabilistic programming
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• The well-founded semantics for general logic programs
• Abducing through negation as failure: stable models within the independent choice logic
• Inference in probabilistic logic programs with continuous random variables
• Logic Programming