Proceedings

Matti Järvisalo

University of Helsinki

12 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

IJCAI 2016

Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications
Details PDF
Optimal Status Enforcement in Abstract Argumentation
with Andreas Niskanen, Johannes Peter Wallner
Details PDF

IJCAI 2015

Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
with Wolfgang Dvorák, Johannes Peter Wallner, Stefan Woltran
Details PDF
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
with Jeremias Berg, Paul Saikko
Details PDF

IJCAI 2011

Depth-Driven Circuit-Level Stochastic Local Search for SAT
with Anton Belov, Zbigniew Stachniak
doi:10.5591/978-1-57735-516-8/IJCAI11-092
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards