scientific article; zbMATH DE number 7350768

MaRDI QIDQ4989395

Tao Gu, Fabio Zanasi

Publication date: 25 May 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distribution semanticsprobabilistic logic programmingweighted logic programming

Mathematics Subject Classification ID

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

Uses Software

• ProbLog
• CoALP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Exploiting parallelism in coalgebraic logic programming
• A hierarchy of probabilistic system types
• Probabilistic logic programming
• Logic programming: laxness and saturation
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
• Causal inference by string diagram surgery
• Saturated Semantics for Coalgebraic Logic Programming
• Terminating Evaluation of Logic Programs with Finite Three-Valued Models
• Products of weighted logic programs
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
• Coalgebraic Semantics for Derivations in Logic Programming
• Nominal Kleene Coalgebra
• Biological Sequence Analysis
• Productive corecursion in logic programming
• Bayesian Inversion by ω-Complete Cone Duality
• The Logical Essentials of Bayesian Reasoning
• Disintegration and Bayesian inversion via string diagrams
• Bialgebraic Semantics for Logic Programming
• Revising Probabilistic Prolog Programs
• The Independent Choice Logic and Beyond
• Coalgebraic logic programming: from Semantics to Implementation

This page was built for publication: