A semantics for hybrid probabilistic logic programs with function symbols

DOI10.1016/J.ARTINT.2021.103452OpenAlexW3120183571MaRDI QIDQ2238621FDOQ2238621

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

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

zbMATH Keywords

probabilistic logic programminghybrid programs

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

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

Cited In (14)

• Probabilistic logic programming for hybrid relational domains
• Logic Programming
• Semirings for probabilistic and neuro-symbolic logic programming
• Title not available (Why is that?)
• Hybrid probabilistic logic programs as residuated logic programs
• Lifted inference for statistical statements in probabilistic answer set programming
• On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability
• The distribution semantics for normal programs with function symbols
• 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

Uses Software

• ProbLog
• CP-logic

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)