8 citations · 8 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
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…