Coalgebraic semantics for probabilistic logic programming

MaRDI QIDQ4989395zbMATH OpenFDO

Authors Tao Gu, Fabio Zanasi

Publication date 25 May 2021

Full work available at URL https://arxiv.org/abs/2012.03916, https://lmcs.episciences.org/7365

zbMATH Keywords

distribution semanticsprobabilistic logic programmingweighted logic programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 7649893
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Probabilistic logic programming
• Coalgebraic semantics for derivations in logic programming
• Saturated semantics for coalgebraic logic programming

Cites work

• scientific article; zbMATH DE number 1692890 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1314223 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• scientific article; zbMATH DE number 7649893 (Why is no real title available?)
• A hierarchy of probabilistic system types
• Bayesian Inversion by ω-Complete Cone Duality
• Bialgebraic semantics for logic programming
• Biological Sequence Analysis
• Causal inference by string diagram surgery
• Coalgebraic logic programming: from Semantics to Implementation
• Coalgebraic semantics for derivations in logic programming
• Coalgebraic semantics for parallel derivation strategies in logic programming
• Disintegration and Bayesian inversion via string diagrams
• Exploiting parallelism in coalgebraic logic programming
• Logic programming: laxness and saturation
• Nominal Kleene coalgebra
• Probabilistic logic programming
• Productive corecursion in logic programming
• Products of weighted logic programs
• Revising Probabilistic Prolog Programs
• Saturated semantics for coalgebraic logic programming
• Terminating evaluation of logic programs with finite three-valued models
• The Independent Choice Logic and Beyond
• The Logical Essentials of Bayesian Reasoning
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference

Cited in

(5)

• A semantics for hybrid probabilistic logic programs with function symbols
• scientific article; zbMATH DE number 6528605 (Why is no real title available?)
• Coalgebraic logic programming: from Semantics to Implementation
• scientific article; zbMATH DE number 7649893 (Why is no real title available?)
• Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory

Describes a project that uses

Uses Software

• CoALP
• ProbLog

This page was built for publication: Coalgebraic semantics for probabilistic logic programming

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