PPaperPicks

Matti Järvisalo

15 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×5AAAI ×4CP ×2ECAI ×2AAMAS ×1IJCAI ×1

Frequent coauthors

Andreas Niskanen
×8
Masood Feyzbakhsh Rankooh
×4
Jeremias Berg
×3
Ari Conati
×3
Ronald de Haan
×3
Andrew Cropper
×3
Tuomo Lehtonen
×3
Hannes Ihalainen
×2
André Schidler
×2
Bart Bogaerts
×2
Céline Hocquette
×2
Dieter Vandesande
×1

Papers

  1. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
    AAAI 2026 ·
    Hannes Ihalainen
    ,
    Dieter Vandesande
    ,
    André Schidler
    ,
    Jeremias Berg
    ,
    Bart Bogaerts
    , Matti Järvisalo
  2. Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games
    KR 2026 ·
    Ari Conati
    ,
    Andreas Niskanen
    ,
    Ronald de Haan
    , Matti Järvisalo
  3. Ordered Objectives in Maximum Satisfiability
    AAAI 2026 ·
    Jeremias Berg
    ,
    André Schidler
    , Matti Järvisalo
  4. Revisiting Integer Programming Encodings of Acyclicity
    CP 2026 ·
    Masood Feyzbakhsh Rankooh
    , Matti Järvisalo
  5. SAT-based ASP Solving and Optimization via a General Transitive Closure Framework
    KR 2026 ·
    Masood Feyzbakhsh Rankooh
    , Matti Järvisalo
  6. Symmetry Breaking for Inductive Logic Programming
    AAAI 2026 ·
    Andrew Cropper
    ,
    David M. Cerna
    , Matti Järvisalo
  7. Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT
    AAMAS 2025 ·
    Ari Conati
    ,
    Andreas Niskanen
    ,
    Ronald de Haan
    , Matti Järvisalo
  8. Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
    KR 2025 ·
    Masood Feyzbakhsh Rankooh
    ,
    Andreas Niskanen
    , Matti Järvisalo
  9. Reasoning in Assumption-Based Argumentation via SAT
    KR 2025 ·
    Andreas Niskanen
    ,
    Masood Feyzbakhsh Rankooh
    ,
    Tuomo Lehtonen
    , Matti Järvisalo
  10. Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
    CP 2025 ·
    Hannes Ihalainen
    ,
    Jeremias Berg
    , Matti Järvisalo,
    Bart Bogaerts
  11. Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
    ECAI 2024 ·
    Ari Conati
    ,
    Andreas Niskanen
    ,
    Ronald de Haan
    , Matti Järvisalo
  12. Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
    KR 2024 ·
    Tuomo Lehtonen
    ,
    Daphne Odekerken
    ,
    Johannes P. Wallner
    , Matti Järvisalo
  13. Learning Big Logical Rules by Joining Small Rules
    IJCAI 2024 ·
    Céline Hocquette
    ,
    Andreas Niskanen
    ,
    Rolf Morel
    , Matti Järvisalo,
    Andrew Cropper
  14. Learning MDL Logic Programs from Noisy Data
    AAAI 2024 ·
    Céline Hocquette
    ,
    Andreas Niskanen
    , Matti Järvisalo,
    Andrew Cropper
  15. SAT-Based Approaches to Reasoning in Choice Logics
    ECAI 2024 ·
    Tuomo Lehtonen
    ,
    Andreas Niskanen
    , Matti Järvisalo