Matti Järvisalo

Department of Computer Science , University of Helsinki , Finland

7 papers in the IJCAI proceedings

IJCAI 2024

Learning Big Logical Rules by Joining Small Rules

with Céline Hocquette, Andreas Niskanen, Rolf Morel, Andrew Cropper

doi:10.24963/ijcai.2024/380

Details PDF

IJCAI 2023

Unifying Core-Guided and Implicit Hitting Set Based Optimization

with Hannes Ihalainen, Jeremias Berg

doi:10.24963/ijcai.2023/215

Details PDF

IJCAI 2020

Controllability of Control Argumentation Frameworks

with Andreas Niskanen, Daniel Neugebauer

doi:10.24963/ijcai.2020/257

Details PDF

IJCAI 2019

Enumerating Potential Maximal Cliques via SAT and ASP

with Tuukka Korhonen, Jeremias Berg

doi:10.24963/ijcai.2019/156

Details PDF

IJCAI 2018

Reduced Cost Fixing for Maximum Satisfiability

with Fahiem Bacchus, Antti Hyttinen, Paul Saikko

doi:10.24963/ijcai.2018/723

Details PDF

IJCAI 2017

A Core-Guided Approach to Learning Optimal Causal Graphs

with Antti Hyttinen, Paul Saikko

doi:10.24963/ijcai.2017/90

Details PDF

Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)

with James Cussens, Janne H. Korhonen, Mark Bartlett

doi:10.24963/ijcai.2017/708

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings