Matti Järvisalo

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 99

Top Venues

IJCAI

AAAI

CoRR

Helsinki University of Technology, Finland (PHD)

Education History

Helsinki University of Technology, Finland

PHD

Publications

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
From Single-Objective to Bi-Objective Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Christoph Jabs, Jeremias Berg, Matti Järvisalo
Core Boosting in SAT-Based Multi-objective Optimization. CPAIOR (2) (2024)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Unifying SAT-Based Approaches to Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
Certified MaxSAT Preprocessing. IJCAR (1) (2024)
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
Learning big logical rules by joining small rules. CoRR (2024)
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Learning MDL Logic Programs from Noisy Data. AAAI (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
Certified MaxSAT Preprocessing. CoRR (2024)
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo
Argumentative Reasoning in ASPIC+ under Incomplete Information. KR (2023)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Unifying Core-Guided and Implicit Hitting Set Based Optimization. IJCAI (2023)
Tuukka Korhonen, Matti Järvisalo
SharpSAT-TD in Model Counting Competitions 2021-2023. CoRR (2023)
Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo
Computing MUS-Based Inconsistency Measures. JELIA (2023)
Markus Iser, Jeremias Berg, Matti Järvisalo
Oracle-Based Local Search for Pseudo-Boolean Optimization. ECAI (2023)
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). Arg&App@KR (2023)
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Learning MDL logic programs from noisy data. CoRR (2023)
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
MaxSAT-Based Inconsistency Measurement. ECAI (2023)
Ari Conati, Andreas Niskanen, Matti Järvisalo
SAT-based Judgment Aggregation. AAMAS (2023)
Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. CP (2023)
Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo
Computing Smallest MUSes of Quantified Boolean Formulas. LPNMR (2022)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. COMMA (2022)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Clause Redundancy and Preprocessing in Maximum Satisfiability. IJCAR (2022)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. KR (2022)
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
Incremental Maximum Satisfiability. SAT (2022)
Pavel Smirnov, Jeremias Berg, Matti Järvisalo
Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. SAT (2022)
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
MaxSAT-Based Bi-Objective Boolean Optimization. SAT (2022)
Pavel Smirnov, Jeremias Berg, Matti Järvisalo
Pseudo-Boolean Optimization by Implicit Hitting Sets. CP (2021)
Tuukka Korhonen, Matti Järvisalo
Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper). CP (2021)
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. CP (2021)
Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer, Andreas Niskanen, Jörg Rothe
Acceptance in incomplete argumentation frameworks. Artif. Intell. 295 (2021)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Refined Core Relaxation for Core-Guided MaxSAT Solving. CP (2021)
Nils Froleyks, Marijn Heule, Markus Iser, Matti Järvisalo, Martin Suda
SAT Competition 2020. Artif. Intell. 301 (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Theory Pract. Log. Program. 21 (6) (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. CoRR (2021)
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Maximal ancestral graph structure learning via exact search. UAI (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. J. Artif. Intell. Res. 71 (2021)
Jarkko Savela, Emilia Oikarinen, Matti Järvisalo
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. LPAR (2020)
Andreas Niskanen, Matti Järvisalo
Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach. ECAI (2020)
Andreas Niskanen, Matti Järvisalo
Strong Refinements for Hard Problems in Argumentation Dynamics. ECAI (2020)
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo
Controllability of Control Argumentation Frameworks. IJCAI (2020)
Marcus Leivo, Jeremias Berg, Matti Järvisalo
Preprocessing in Incomplete MaxSAT Solving. ECAI (2020)
Tuukka Korhonen, Matti Järvisalo
Finding Most Compatible Phylogenetic Trees over Multi-State Characters. AAAI (2020)
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Learning Chordal Markov Networks via Stochastic Local Search. ECAI (2020)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. KR (2020)
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe
Deciding Acceptance in Incomplete Argumentation Frameworks. AAAI (2020)
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Discovering causal graphs with cycles and latent confounders: An exact branch-and-bound approach. Int. J. Approx. Reason. 117 (2020)
Andreas Niskanen, Matti Järvisalo
Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. KR (2020)
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Learning Optimal Cyclic Causal Graphs from Interventional Data. PGM (2020)
Andreas Niskanen, Matti Järvisalo
µ-toksia: An Efficient Abstract Argumentation Reasoner. KR (2020)
Jeremias Berg, Matti Järvisalo
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. JELIA (2019)
Fahiem Bacchus, Matti Järvisalo, Ruben Martins
MaxSAT Evaluation 2018: New Developments and Detailed Results. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Bernhard Bliem, Matti Järvisalo
Centrality Heuristics for Exact Model Counting. ICTAI (2019)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Synthesizing Argumentation Frameworks from Examples. J. Artif. Intell. Res. 66 (2019)
Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm. ACM J. Exp. Algorithmics 24 (1) (2019)
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
Preprocessing Argumentation Frameworks via Replacement Patterns. JELIA (2019)
Marijn J. H. Heule, Matti Järvisalo, Martin Suda
SAT Competition 2018. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. AAAI (2019)
Jukka M. Toivanen, Matti Järvisalo, Olli Alm, Dan Ventura, Martti Vainio, Hannu Toivonen
Towards transformational creation of novel songs. Connect. Sci. 31 (1) (2019)
Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
Enumerating Potential Maximal Cliques via SAT and ASP. IJCAI (2019)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Extension Enforcement under Grounded Semantics in Abstract Argumentation. KR (2018)
Matti Järvisalo
SAT for Argumentation. SAFA@COMMA (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. CoRR (2018)
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
Premise Set Caching for Enumerating Minimal Correction Subsets. AAAI (2018)
Alessandro Previti, Matti Järvisalo
A preference-based approach to backbone computation with application to argumentation. SAC (2018)
Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
A Hybrid Approach to Optimization in Answer Set Programming. KR (2018)
Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko
Reduced Cost Fixing for Maximum Satisfiability. IJCAI (2018)
Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki
Empirical hardness of finding optimal Bayesian network structures: algorithm selection and runtime prediction. Mach. Learn. 107 (1) (2018)
Jeremias Berg, Antti Hyttinen, Matti Järvisalo
Applications of MaxSAT in Data Analysis. POS@SAT (2018)
Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Theory Pract. Log. Program. 18 (3-4) (2018)
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Learning Optimal Causal Graphs with Exact Search. PGM (2018)
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. COMMA (2018)
Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva
On Computing Generalized Backbones. ICTAI (2017)
Kari Rantanen, Antti Hyttinen, Matti Järvisalo
Learning Chordal Markov Networks via Branch and Bound. NIPS (2017)
Antti Hyttinen, Paul Saikko, Matti Järvisalo
A Core-Guided Approach to Learning Optimal Causal Graphs. IJCAI (2017)
James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract). IJCAI (2017)
Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. J. Artif. Intell. Res. 60 (2017)
Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo
MaxPre: An Extended MaxSAT Preprocessor. SAT (2017)
Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva
Improving MCS Enumeration via Caching. SAT (2017)
Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko
Reduced Cost Fixing in MaxSAT. CP (2017)
Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo
SAT Competition 2016: Recent Developments. AAAI (2017)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. ECSQARU (2017)
Brandon M. Malone, Kustaa Kangas, Matti Järvisalo, Mikko Koivisto, Petri Myllymäki
AS-ASL: Algorithm Selection with Auto-sklearn. OASC (2017)
Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki
Minimum-Width Confidence Bands via Constraint Optimization. CP (2017)
Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, David Danks
A constraint optimization approach to causal discovery from subsampled time series data. Int. J. Approx. Reason. 90 (2017)
James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity. J. Artif. Intell. Res. 58 (2017)
Jeremias Berg, Matti Järvisalo
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. Artif. Intell. 244 (2017)
Jeremias Berg, Matti Järvisalo
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. CP (2017)
Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, Siert Wieringa
Synchronous counting and computational algorithm design. J. Comput. Syst. Sci. 82 (2) (2016)
Jeremias Berg, Matti Järvisalo
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. CP (2016)
Matti Järvisalo
Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. IJCAI (2016)
Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, David Danks
Causal Discovery from Subsampled Time Series Data by Constraint Optimization. Probabilistic Graphical Models (2016)
Paul Saikko, Jeremias Berg, Matti Järvisalo
LMHS: A SAT-IP Hybrid MaxSAT Solver. SAT (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Synthesizing Argumentation Frameworks from Examples. ECAI (2016)
Antti Hyttinen, Sergey M. Plis, Matti Järvisalo, Frederick Eberhardt, David Danks
Causal Discovery from Subsampled Time Series Data by Constraint Optimization. CoRR (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Optimal Status Enforcement in Abstract Argumentation. IJCAI (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Pakota: A System for Enforcement in Abstract Argumentation. JELIA (2016)
Paul Saikko, Johannes Peter Wallner, Matti Järvisalo
Implicit Hitting Set Algorithms for Reasoning Beyond NP. KR (2016)
Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen
Separating OR, SUM, and XOR circuits. J. Comput. Syst. Sci. 82 (5) (2016)
James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets, and Complexity. CoRR (2016)
Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. AAAI (2016)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Subsumed Label Elimination for Maximum Satisfiability. ECAI (2016)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. Distributed Comput. 28 (1) (2015)

Matti Järvisalo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matti Järvisalo