Janhunen, Tomi

9 publications

JAIR 2025 Explainability via Short Formulas: The Case of Propositional Logic with Implementation Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

IJCAI 2024 Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract) Masood Feyzbakhsh Rankooh, Tomi Janhunen

IJCAI 2024 Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming Masood Feyzbakhsh Rankooh, Tomi Janhunen

IJCAI 2020 On Robustness in Qualitative Constraint Networks Michael Sioutis, Zhiguo Long, Tomi Janhunen

AAAI 2019 Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

AAAI 2019 Forgetting in Modular Answer Set Programming Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

AAAI 2016 SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

NeurIPS 2013 Learning Chordal Markov Networks by Constraint Satisfaction Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman, Johan Pensar

JAIR 2009 Modularity Aspects of Disjunctive Stable Models Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran