Roberto Sebastiani

2 papers in the IJCAI proceedings

IJCAI 2019

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

with Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Luc De Raedt

doi:10.24963/ijcai.2019/946

Details PDF

IJCAI 2017

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction

with Paolo Morettin, Andrea Passerini

doi:10.24963/ijcai.2017/100

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings