Logic Programming

DOI10.1007/b99475zbMath1104.68391OpenAlexW2523427404MaRDI QIDQ5313205

Sofie Verbaeten, Maurice Bruynooghe, Joost Vennekens

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (41)

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics ⋮ The distribution semantics for normal programs with function symbols ⋮ \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Explanations as programs in probabilistic logic programming ⋮ PR-OWL - a language for defining probabilistic ontologies ⋮ Causal inference in cplint ⋮ Learning Distributional Programs for Relational Autocompletion ⋮ Fifty Years of Prolog and Beyond ⋮ Lifted inference for statistical statements in probabilistic answer set programming ⋮ Characterizing and extending answer set semantics using possibility theory ⋮ Introduction to the special issue on probability, logic and learning ⋮ Structure learning of probabilistic logic programs by searching the clause space ⋮ Probabilistic (logic) programming concepts ⋮ Bandit-based Monte-Carlo structure learning of probabilistic logic programs ⋮ Lifted discriminative learning of probabilistic logic programs ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference ⋮ Applying the information bottleneck to statistical relational learning ⋮ A Logical Approach to Qualitative and Quantitative Reasoning ⋮ Learning Effect Axioms via Probabilistic Logic Programming ⋮ On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability ⋮ Learning to rank in PRISM ⋮ MAP Inference for Probabilistic Logic Programming ⋮ A semantics for hybrid probabilistic logic programs with function symbols ⋮ A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ Probabilistic Inductive Logic Programming ⋮ New Advances in Logic-Based Probabilistic Modeling by PRISM ⋮ ALLPAD: approximate learning of logic programs with annotated disjunctions ⋮ Probabilistic inductive constraint logic ⋮ Complexity results for probabilistic answer set programming ⋮ P-log: refinement and a new coherency condition ⋮ Learning hierarchical probabilistic logic programs ⋮ A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics ⋮ Abduction with probabilistic logic programming under the distribution semantics ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices ⋮ On the Efficient Execution of ProbLog Programs ⋮ Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics ⋮ Optimizing Probabilities in Probabilistic Logic Programs ⋮ Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

This page was built for publication: Logic Programming