Probabilistic (logic) programming concepts

No abstract is available for this paper.

• Publication year

  2015

• Venue

  Machine-mediated learning

• Publication date

  2015-05-08

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/s10994-015-5494-z
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Simply logical - intelligent reasoning by example

  2022influential reference
• Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics

  2014cited by this paper
• Probabilistic Relational Models

  2014cited by this paper
• Theory and Practice of Logic Programming

  2014influential reference
• Probabilistic programming

  2014cited by this paper
• Speeding Up Inference for Probabilistic Logic Programs

  2014cited by this paper
• MCMC Estimation of Conditional Probabilities in Probabilistic Programming Languages

  2013cited by this paper
• Programming with personalized pagerank: a locally groundable first-order probabilistic logic

  2013influential reference
• Skolemization for Weighted First-Order Model Counting

  2013cited by this paper
• Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs

  2013cited by this paper
• MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming

  2013cited by this paper
• Describing disease processes using a probabilistic logic of qualitative time

  2013cited by this paper
• A particle filter for hybrid relational domains

  2013cited by this paper
• PheNetic: network-based interpretation of unstructured gene lists in E. coli.

  2013cited by this paper
• Constraints for probabilistic logic programming

  2012cited by this paper
• Lifted Probabilistic Inference

  2012cited by this paper
• Evaluating bacterial gene-finding HMM structures as probabilistic logic programs

  2012cited by this paper
• Ping Pong in Church: Productive use of concepts in human probabilistic inference

  2012cited by this paper
• Under Consideration for Publication in Theory and Practice of Logic Programming a Probabilistic Logic Programming Event Calculus

  2012cited by this paper
• The PITA system: Tabling and answer subsumption for reasoning under uncertainty

  2011cited by this paper
• Stochastic relational processes: Efficient inference and applications

  2011cited by this paper
• k-Optimal: a novel approximate inference algorithm for ProbLog

  2011cited by this paper
• An Algebraic Prolog for Reasoning about Possible Worlds

  2011cited by this paper
• Nesting Probabilistic Inference

  2011cited by this paper
• Logical Hidden Markov Models

  2011cited by this paper
• Inference in Probabilistic Logic Programs using Weighted CNF's

  2011cited by this paper
• Lifted graphical models: a survey

  2011cited by this paper
• Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011

  2011cited by this paper
• Probabilistic databases

  2011cited by this paper
• DTProbLog: A Decision-Theoretic Probabilistic Prolog

  2010cited by this paper
• On the implementation of the probabilistic logic programming language ProbLog

  2010influential reference
• Gibbs Sampling in Open-Universe Stochastic Languages

  2010cited by this paper
• Dyna: Extending Datalog for Modern AI

  2010cited by this paper
• Proceedings of the 32nd Annual Conference of the Cognitive Science Society

  2010cited by this paper
• Approximate Inference for Logic Programs with Annotated Disjunctions

  2010influential reference
• Probabilistic Similarity Logic

  2010cited by this paper
• Toward an Architecture for Never-Ending Language Learning

  2010cited by this paper
• Learning Structured Generative Concepts

  2010cited by this paper
• Extending ProbLog with Continuous Distributions

  2010cited by this paper
• CP-logic: A language of causal probabilistic events and its relation to logic programming

  2009influential reference
• Trading Memory for Answers: Towards Tabling ProbLog

  2009cited by this paper
• Integrating Logical Reasoning and Probabilistic Chain Graphs

  2009cited by this paper
• Figaro : An Object-Oriented Probabilistic Programming Language

  2009cited by this paper
• Extended semantics and inference for the Independent Choice Logic

  2009cited by this paper
• Variational Bayes via propositionalized probability computation in PRISM

  2008cited by this paper
• Model-Theoretic Expressivity Analysis

  2008influential reference
• The Independent Choice Logic and Beyond

  2008influential reference
• Probabilistic Inductive Logic Programming - Theory and Applications

  2008cited by this paper
• On the Efficient Execution of ProbLog Programs

  2008cited by this paper
• Basic Principles of Learning Bayesian Logic Programs

  2008cited by this paper
• Church: a language for generative models

  2008influential reference
• Dynamic Programming Algorithms as Products of Weighted Logic Programs

  2008cited by this paper
• Introduction to Statistical Relational Learning

  2007cited by this paper
• ALGEBRAIC AND LOGICAL STUDY OF CONSTRUCTIVE PROCESSES IN KNOWLEDGE REPRESENTATION

  2007influential reference
• Markov logic networks

  2006influential reference
• Sound and Efficient Inference with Probabilistic and Deterministic Dependencies

  2006cited by this paper
• Representing Causal Information About a Probabilistic Process

  2006influential reference
• Learning first-order probabilistic models with combining rules

  2005cited by this paper
• BLOG: Probabilistic Models with Unknown Objects

  2005cited by this paper
• Compiling Comp Ling: Weighted Dynamic Programming and the Dyna Language

  2005influential reference
• Generative Modeling with Failure in PRISM

  2005cited by this paper
• Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models

  2005cited by this paper
• Compiling Comp Ling: Weighted Dynamic Programming and the Dyna Language

  2005influential reference
• Integrating by Separating : Combining Probability and Logic with ICL , PRISM and SLPs

  2005cited by this paper
• Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods

  2004cited by this paper
• Logic programs with annotated disjunctions

  2004influential reference
• Probabilistic logic learning

  2003cited by this paper
• Artificial intelligence - a modern approach, 2nd Edition

  2003cited by this paper
• First-order probabilistic inference

  2003influential reference
• CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

  2002cited by this paper
• Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

  2001influential reference
• Bayesian Logic Programs

  2001cited by this paper
• IBAL: A Probabilistic Rational Programming Language

  2001influential reference
• Probabilistic datalog: Implementing logical information retrieval for advanced applications

  2000cited by this paper
• Logic in Computer Science: Modelling and Reasoning about Systems

  2000cited by this paper
• Abducing through negation as failure: stable models within the independent choice logic

  2000influential reference
• Logic in computer science - modelling and reasoning about systems

  2000cited by this paper
• Probabilistic Frame-Based Systems

  1998cited by this paper
• Relational Bayesian Networks

  1997influential reference
• PRISM: A Language for Symbolic-Statistical Modeling

  1997influential reference
• Stochastic Logic Programs

  1996influential reference
• Advances in Inductive Logic Programming

  1996cited by this paper
• A Statistical Learning Method for Logic Programs with Distribution Semantics

  1995influential reference
• Probabilistic Datalog—a logic for powerful retrieval methods

  1995cited by this paper
• Exploiting the Rule Structure for Decision Making within the Independent Choice Logic

  1995influential reference
• Generating Bayesian Networks from Probablity Logic Knowledge Bases

  1994cited by this paper
• Logic programming, abduction and probability

  1993influential reference
• Probabilistic Horn Abduction and Bayesian Networks

  1993influential reference
• Memoing for logic programs

  1992cited by this paper
• From knowledge bases to decision models

  1992cited by this paper
• Probabilistic reasoning in intelligent systems: Networks of plausible inference

  1991cited by this paper
• Probabilistic reasoning in intelligent systems: Networks of plausible inference

  1991influential reference
• Probabilistic Logic Programs and their Semantics

  1990cited by this paper
• Foundations of logic programming; (2nd extended ed.)

  1987cited by this paper
• Magic sets and other strange ways to implement logic programs (extended abstract)

  1985influential reference
• Foundations of Logic Programming

  1984cited by this paper
• The Complexity of Enumeration and Reliability Problems

  1979cited by this paper
• On the Relationship between PRISM and CLP( BN )

  year unknowncited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Lifted Probabilistic Inference by First-Order Knowledge Compilation

  year unknowncited by this paper
• Probabilistic Logic *

  year unknowncited by this paper

• Integrating LTL Constraints into PPO for Safe Reinforcement Learning

  2026cites this paper
• Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)

  2026cites this paper
• Probabilistic Linear Logic Programming with an application to Bayesian Networks computations

  2026cites this paper
• Efficient deep neural unification in symbolic processing

  2025cites this paper
• A Smooth Transition Between Induction and Deduction: Fast Abductive Learning Based on Probabilistic Symbol Perception

  2025cites this paper
• Inductive Learning for Possibilistic Logic Programs Under Stable Models

  2025cites this paper
• Neurosymbolic Decision Trees

  2025cites this paper
• Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens

  2025cites this paper
• Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs

  2025cites this paper
• Enhanced Multi-Source Information Fusion for Advanced Air Mobility Through Aibased Situation Assessment and Incorporating OSINT Data

  2025cites this paper
• The Need for Verification in AI-Driven Scientific Discovery

  2025cites this paper
• On the Relevance of Logic for Artificial Intelligence, and the Promise of Neurosymbolic Learning

  2025influential citation
• Model-based stochastic analysis with probabilistic graph query evaluation

  2025cites this paper
• "Cause" is Mechanistic Narrative within Scientific Domains: An Ordinary Language Philosophical Critique of "Causal Machine Learning"

  2025cites this paper
• BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts

  2024cites this paper
• Semirings for Probabilistic and Neuro-Symbolic Logic Programming

  2024cites this paper
• Tuning similarity-based fuzzy logic programs

  2024cites this paper
• Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models

  2024cites this paper
• Logic Programming for Knowledge Graph Completion

  2024cites this paper
• An Exploring Study on Building Affective Artificial Intelligence by Neural-Symbolic Computing (Extended Abstract)

  2024cites this paper
• Simulating Petri nets with Boolean Matrix Logic Programming

  2024cites this paper
• Active learning of digenic functions with boolean matrix logic programming

  2024cites this paper
• Understanding the Logic of Direct Preference Alignment through Logic

  2024cites this paper
• Learning Predictive Checklists with Probabilistic Logic Programming

  2024cites this paper
• A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts

  2024cites this paper
• A computational perspective on neural-symbolic integration

  2024cites this paper
• Probabilistic Programming with Exact Conditions

  2024cites this paper
• ULLER: A Unified Language for Learning and Reasoning

  2024cites this paper
• Techniques for Measuring the Inferential Strength of Forgetting Policies

  2024influential citation
• Real-world Application Facilitating Trustworthy Human-Robot Collaboration with Innovative Explainable Neuro-symbolic Reasoning

  2024cites this paper
• Probabilistic Graph Queries for Design Space Exploration Under Uncertainty

  2024cites this paper
• aspmc: New frontiers of algebraic answer set counting

  2024cites this paper
• Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges

  2024cites this paper
• Logic + probabilistic programming + causal laws

  2023cites this paper
• Probabilistic robotic logic programming with hybrid Boolean and Bayesian inference

  2023cites this paper
• Bottom-Up Stratified Probabilistic Logic Programming with Fusemate

  2023cites this paper
• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories

  2023cites this paper
• Probabilistic Logic Programming Semantics For Procedural Content Generation

  2023cites this paper
• Fusing external knowledge resources for natural language understanding techniques: A survey

  2023cites this paper
• Enabling Knowledge Refinement upon New Concepts in Abductive Learning

  2023cites this paper
• Neuro Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal

  2023cites this paper
• Understanding ProbLog as Probabilistic Argumentation

  2023cites this paper
• EPiC Series in Computing

  2023cites this paper
• Neural Probabilistic Logic Programming in Discrete-Continuous Domains

  2023cites this paper
• Soft-Unification in Deep Probabilistic Logic

  2023cites this paper
• Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks

  2023cites this paper
• Enabling Abductive Learning to Exploit Knowledge Graph

  2023influential citation
• Learning differentiable logic programs for abstract visual reasoning

  2023cites this paper
• Parallel Neurosymbolic Integration with Concordia

  2023cites this paper
• Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

  2023cites this paper
• Abductive subconcept learning

  2023cites this paper
• Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees

  2023cites this paper
• Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate

  2023influential citation
• Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts

  2023cites this paper
• ChatABL: Abductive Learning via Natural Language Interaction With ChatGPT

  2023cites this paper
• Logic of Differentiable Logics: Towards a Uniform Semantics of DL

  2023cites this paper
• Probabilistic Reasoning at Scale: Trigger Graphs to the Rescue

  2023cites this paper
• Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey

  2023influential citation
• Safe Reinforcement Learning via Probabilistic Logic Shields

  2023cites this paper
• Learning Language Representations with Logical Inductive Bias

  2023cites this paper
• Weakly Supervised Knowledge Transfer with Probabilistic Logical Reasoning for Object Detection

  2023cites this paper
• Forecasting with jury-based probabilistic argumentation

  2023cites this paper
• A Scalable Technique for Weak-Supervised Learning with Domain Constraints

  2023cites this paper
• Accelerating deep reinforcement learning via knowledge-guided policy network

  2023cites this paper
• Beyond Logic Programming for Legal Reasoning

  2023influential citation
• On the Two-fold Role of Logic Constraints in Deep Learning

  2022cites this paper
• Consistent Scene Graph Generation by Constraint Optimization

  2022cites this paper
• First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

  2022cites this paper
• Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs

  2022cites this paper
• Guess-It-Generator: Generating in a Lewis Signaling Framework through Logical Reasoning

  2022cites this paper
• The generalised distribution semantics and projective families of distributions

  2022cites this paper
• An XAI Framework for Automated Allocation and Exploitation of Resources

  2022cites this paper
• There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot

  2022cites this paper
• A Probabilistic-Logic based Commonsense Representation Framework for Modelling Inferences with Multiple Antecedents and Varying Likelihoods

  2022cites this paper
• Exploit Domain Knowledge: Smarter Abductive Learning and Its Application to Math Word Problems

  2022cites this paper
• Explanations as Programs in Probabilistic Logic Programming

  2022influential citation
• Probabilistic Logic Models for the Lightning Network

  2022cites this paper
• A Prolog application for reasoning on maths puzzles with diagrams

  2022cites this paper
• Robust Interpretable Text Classification against Spurious Correlations Using AND-rules with Negation

  2022cites this paper
• Meta-analysis of the functional neuroimaging literature with probabilistic logic programming

  2022cites this paper
• Probabilistic reasoning as quadratic unconstrained binary optimization

  2022cites this paper
• LogicMEM: Automatic Profile Generation for Binary-Only Memory Forensics via Logic Inference

  2022cites this paper
• A probabilistic database approach to autoencoder-based data cleaning

  2021cites this paper
• A survey on interpretable reinforcement learning

  2021cites this paper
• Reasoning about Counterfactuals and Explanations: Problems, Results and Directions

  2021cites this paper
• Prolog-based agnostic explanation module for structured pattern classification

  2021cites this paper
• A landscape and implementation framework for probabilistic rough sets using ProbLog

  2021cites this paper
• A Safe and Effective Tuning Technique for Similarity-Based Fuzzy Logic Programs

  2021cites this paper
• Fast Abductive Learning by Similarity-based Consistency Optimization

  2021cites this paper
• A Critical Review of Inductive Logic Programming Techniques for Explainable AI

  2021cites this paper
• Pruning strategies for the efficient traversal of the search space in PILP environments

  2021cites this paper
• DeepStochLog: Neural Stochastic Logic Programming

  2021cites this paper
• A comparison of statistical relational learning and graph neural networks for aggregate graph queries

  2021cites this paper
• Compositional Semantics for Probabilistic Programs with Exact Conditioning

  2021cites this paper
• Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification

  2021cites this paper
• Knowledge-based Sequential Decision Making under Uncertainty: A Survey

  2021cites this paper
• 2P-Kt: A logic-based ecosystem for symbolic AI

  2021cites this paper
• Probabilistic Rule Induction for Transparent CBR Under Uncertainty

  2021cites this paper
• Neuro-Symbolic Artificial Intelligence: The State of the Art

  2021cites this paper
• Asymptotic elimination of partially continuous aggregation functions in directed graphical models

  2021influential citation