72 citations · 116 across the 6 of their papers we have counts for
6 papers
smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Pietro Totis, Angelika Kimmig, Luc De Raedt
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabil…
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve +3
Neural-symbolic AI (NeSy) allows neural networks to exploit symbolic background knowledge in the form of logic. It has been shown to aid learning in the limited data regime and to…
Safe Reinforcement Learning via Probabilistic Logic Shields
Wen-Chi Yang, Giuseppe Marra, Gavin Rens +1
Safe Reinforcement learning (Safe RL) aims at learning optimal policies while staying safe. A popular solution to Safe RL is shielding, which uses a logical safety specification to…
Flexible constrained sampling with guarantees for pattern mining
Vladimir Dzyuba, Matthijs van Leeuwen, Luc De Raedt
Pattern sampling has been proposed as a potential solution to the infamous pattern explosion. Instead of enumerating all patterns that satisfy the constraints, individual patterns…
Exploring the efficacy of molecular fragments of different complexity in computational SAR modeling
Albrecht Zimmermann, Björn Bringmann, Luc De Raedt
An important first step in computational SAR modeling is to transform the compounds into a representation that can be processed by predictive modeling techniques. This is typically…
Inference in Probabilistic Logic Programs using Weighted CNF's
Daan Fierens, Guy Van den Broeck, Ingo Thon +2
Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. Several classical probabilistic inference tasks (such as MAP and comput…