92 citations · 252 across the 18 of their papers we have counts for
4 papers · 1 filter
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…
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig
Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of prob…