8 citations · 8 across the 4 of their papers we have counts for
4 papers
Two Constraint Compilation Methods for Lifted Planning
Periklis Mantenoglou, Luigi Bonassi, Enrico Scala +1
We study planning in a fragment of PDDL with qualitative state-trajectory constraints, capturing safety requirements, task ordering conditions, and intermediate sub-goals commonly…
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
A popular approach to neurosymbolic AI involves mapping logic formulas to arithmetic circuits (computation graphs consisting of sums and products) and passing the outputs of a neur…
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…
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…