A semantics for hybrid probabilistic logic programs with function symbols

DOI10.1016/J.ARTINT.2021.103452MaRDI QIDQ2238621zbMATH OpenOpenAlexFDO

Authors Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma

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)

Recommendations

• A new approach to hybrid probabilistic logic programs
• scientific article; zbMATH DE number 1759369
• Hybrid probabilistic logic programs as residuated logic programs
• On the semantics and complexity of probabilistic logic programs
• Probabilistic logic programming for hybrid relational domains
• Coalgebraic semantics for probabilistic logic programming
• Logic Programming
• Abstraction and probabilities for hybrid logics
• scientific article; zbMATH DE number 7649893
• Logic Programming and Nonmonotonic Reasoning

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3620754 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 7102019 (Why is no real title available?)
• A new probabilistic constraint logic programming language based on a generalised distribution semantics
• Abducing through negation as failure: stable models within the independent choice logic
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Extending ProbLog with Continuous Distributions
• Inference in probabilistic logic programs with continuous random variables
• Logic Programming
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Probabilistic (logic) programming concepts
• Probabilistic Horn abduction and Bayesian networks
• Probabilistic logic programming for hybrid relational domains
• The distribution semantics for normal programs with function symbols
• The independent choice logic for modelling multiple agents under uncertainty
• The magic of logical inference in probabilistic 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

Cited in

(16)

• Probabilistic logic programming for hybrid relational domains
• A semantics for probabilistic hybrid knowledge bases with function symbols
• Logic Programming
• Semirings for probabilistic and neuro-symbolic logic programming
• Probabilistic answer set programming with discrete and continuous random variables
• Hybrid probabilistic logic programs as residuated logic programs
• scientific article; zbMATH DE number 1759369 (Why is no real title available?)
• The distribution semantics for normal programs with function symbols
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• Lifted inference for statistical statements in probabilistic answer set programming
• Optimizing probabilities in probabilistic logic programs
• A new approach to hybrid probabilistic logic programs
• Syntactic requirements for well-defined hybrid probabilistic logic programs
• Inference in probabilistic logic programs with continuous random variables
• Declarative probabilistic logic programming in discrete-continuous domains
• Generative Datalog with continuous distributions

Describes a project that uses

Uses Software

• CP-logic
• ProbLog

This page was built for publication: A semantics for hybrid probabilistic logic programs with function symbols

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