scientific article; zbMATH DE number 7649893

DOI10.4230/LIPIcs.CALCO.2019.10MaRDI QIDQ5875350

Tao Gu, Fabio Zanasi

Publication date: 3 February 2023

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

zbMATH Keywords

distribution semanticsprobabilistic logic programmingcoalgebraic semantics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Unnamed Item

Uses Software

• ProbLog
• CoALP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• A hierarchy of probabilistic system types
• Probabilistic logic programming
• Logic programming: laxness and saturation
• Causal inference by string diagram surgery
• Saturated Semantics for Coalgebraic Logic Programming
• Terminating Evaluation of Logic Programs with Finite Three-Valued Models
• Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
• Coalgebraic Semantics for Derivations in Logic Programming
• Nominal Kleene Coalgebra
• Coinductive Logic Programming and Its Applications
• Productive corecursion in logic programming
• Bayesian Inversion by ω-Complete Cone Duality
• The Logical Essentials of Bayesian Reasoning
• Bialgebraic Semantics for Logic Programming
• Coalgebraic logic programming: from Semantics to Implementation