Coalgebraic semantics for probabilistic logic programming

MaRDI QIDQ4989395FDOQ4989395

Authors: Tao Gu, Fabio Zanasi 

Publication date: 25 May 2021

Full work available at URL: https://arxiv.org/abs/2012.03916

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

zbMATH Keywords

distribution semanticsprobabilistic logic programmingweighted logic programming

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• A semantics for hybrid probabilistic logic programs with function symbols
• Title not available (Why is that?)
• Coalgebraic logic programming: from Semantics to Implementation
• Title not available (Why is that?)
• Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory

Uses Software

• ProbLog
• CoALP

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)