Järvisalo, Matti

44 publications

JAIR 2025 Argumentative Reasoning in ASPIC+ Under Incomplete Information Daphne Odekerken, Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

JAIR 2024 Declarative Approaches to Outcome Determination in Judgment Aggregation Ari Conati, Andreas Niskanen, Matti Järvisalo

JAIR 2024 From Single-Objective to Bi-Objective Maximum Satisfiability Solving Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo

IJCAI 2024 Learning Big Logical Rules by Joining Small Rules Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper

AAAI 2024 Learning MDL Logic Programs from Noisy Data Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper

JAIR 2024 Unifying SAT-Based Approaches to Maximum Satisfiability Solving Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

IJCAI 2023 Unifying Core-Guided and Implicit Hitting Set Based Optimization Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

JAIR 2021 Declarative Algorithms and Complexity Results for Assumption-Based Argumentation Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

UAI 2021 Maximal Ancestral Graph Structure Learning via Exact Search Kari Rantanen, Antti Hyttinen, Matti Järvisalo

IJCAI 2020 Controllability of Control Argumentation Frameworks Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo

AAAI 2020 Deciding Acceptance in Incomplete Argumentation Frameworks Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe

AAAI 2020 Finding Most Compatible Phylogenetic Trees over Multi-State Characters Tuukka Korhonen, Matti Järvisalo

PGM 2020 Learning Optimal Cyclic Causal Graphs from Interventional Data Kari Rantanen, Antti Hyttinen, Matti Järvisalo

IJCAI 2019 Enumerating Potential Maximal Cliques via SAT and ASP Tuukka Korhonen, Jeremias Berg, Matti Järvisalo

AAAI 2019 Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

JAIR 2019 Synthesizing Argumentation Frameworks from Examples Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo

MLJ 2018 Empirical Hardness of Finding Optimal Bayesian Network Structures: Algorithm Selection and Runtime Prediction Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki

PGM 2018 Learning Optimal Causal Graphs with Exact Search Kari Rantanen, Antti Hyttinen, Matti Järvisalo

AAAI 2018 Premise Set Caching for Enumerating Minimal Correction Subsets Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva

IJCAI 2018 Reduced Cost Fixing for Maximum Satisfiability Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

IJCAI 2017 A Core-Guided Approach to Learning Optimal Causal Graphs Antti Hyttinen, Paul Saikko, Matti Järvisalo

JAIR 2017 Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett

IJCAI 2017 Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract) James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett

JAIR 2017 Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo

NeurIPS 2017 Learning Chordal Markov Networks via Branch and Bound Kari Rantanen, Antti Hyttinen, Matti Järvisalo

AAAI 2017 SAT Competition 2016: Recent Developments Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo

IJCAI 2016 Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications Matti Järvisalo

PGM 2016 Causal Discovery from Subsampled Time Series Data by Constraint Optimization Antti Hyttinen, Sergey Plis, Matti Järvisalo, Frederick Eberhardt, David Danks

AAAI 2016 Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo

IJCAI 2016 Optimal Status Enforcement in Abstract Argumentation Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo

JAIR 2015 Clause Elimination for SAT and QSAT Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere

IJCAI 2015 Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran

UAI 2015 Do-Calculus When the True Graph Is Unknown Antti Hyttinen, Frederick Eberhardt, Matti Järvisalo

UAI 2015 Impact of Learning Strategies on the Quality of Bayesian Networks: An Empirical Evaluation Brandon M. Malone, Matti Järvisalo, Petri Myllymäki

IJCAI 2015 Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT Jeremias Berg, Paul Saikko, Matti Järvisalo

UAI 2015 Learning Optimal Chain Graphs with Answer Set Programming Dag Sonntag, Matti Järvisalo, José M. Peña, Antti Hyttinen

UAI 2014 Constraint-Based Causal Discovery: Conflict Resolution with Answer Set Programming Antti Hyttinen, Frederick Eberhardt, Matti Järvisalo

AISTATS 2014 Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability Jeremias Berg, Matti Järvisalo, Brandon M. Malone

AAAI 2014 Optimal Neighborhood Preserving Visualization by Maximum Satisfiability Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski

AAAI 2014 Predicting the Hardness of Learning Bayesian Networks Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki

UAI 2013 Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Järvisalo

IJCAI 2011 Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov, Matti Järvisalo, Zbigniew Stachniak

AAAI 2008 On the Power of Top-Down Branching Heuristics Matti Järvisalo, Tommi A. Junttila

AAAI 2006 Further Investigations into Regular XORSAT Matti Järvisalo