Sotabase

Career

· Researcher, KU Leuven, DTAI (Declarative Languages and AI)2024–
· Postdoctoral Researcher, KU Leuven
· PhD Student, UCLouvain University

Publications (18)

Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses
International Conference on Principles and Practice of Constraint Programming · 2023
8
cited
Anytime Weighted Model Counting with Approximation Guarantees for Probabilistic Inference
International Conference on Principles and Practice of Constraint Programming · 2024
5
cited
Mining Constrained Regions of Interest: An Optimization Approach
IFIP Working Conference on Database Semantics · 2020
1
cited
Parameter Learning Using Approximate Model Counting
International Workshop on Neural-Symbolic Learning and Reasoning · 2024
1
cited
A Seriation Based Framework to Visualize Multiple Aspects of Road Transport from GPS Trajectories
International Conference on Intelligent Transportation Systems · 2021
CS1-Java: Introduction à la programmation avec Java
2017
Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits
International Joint Conference on Artificial Intelligence · 2025
Mining Regions of Interest from Trajectories: An Optimization Approach
2019
Optimal Decoding of Hidden Markov Models with Consistency Constraints
IFIP Working Conference on Database Semantics · 2022
Sotabase