scientific article; zbMATH DE number 7350768

MaRDI QIDQ4989395FDOQ4989395

Tao Gu, Fabio Zanasi

Publication date: 25 May 2021

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

Title of this publication is not available (Why is that?)

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:

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