Samuel Kolb

4 papers in the IJCAI proceedings

IJCAI 2021

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey

with Paolo Morettin, Pedro Zuidberg Dos Martires, Andrea Passerini

doi:10.24963/ijcai.2021/617

Details PDF

IJCAI 2019

The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration

with Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt

doi:10.24963/ijcai.2019/946

Details PDF

IJCAI 2018

Efficient Symbolic Integration for Probabilistic Inference

with Martin Mladenov, Scott Sanner, Vaishak Belle, Kristian Kersting

doi:10.24963/ijcai.2018/698

Details PDF

Learning SMT(LRA) Constraints using SMT Solvers

with Stefano Teso, Andrea Passerini, Luc De Raedt

doi:10.24963/ijcai.2018/323

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings