Tomi Janhunen

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 50

Top Venues

CoRR

Theory Pract. Log. Program.

JELIA

LPNMR

Publications

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. CoRR (2024)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Interpretable classifiers for tabular data via discretization and feature selection. CoRR (2024)
Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization. FoIKS (2024)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. CoRR (2023)
Masood Feyzbakhsh Rankooh, Tomi Janhunen
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. CoRR (2023)
Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. PADL (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. JELIA (2023)
Tomi Janhunen
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates. CoRR (2023)
Masood Feyzbakhsh Rankooh, Tomi Janhunen
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. Theory Pract. Log. Program. 23 (4) (2023)
Tomi Janhunen
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo. PADL (2022)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. CoRR (2022)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. HYDRA/RCRA@LPNMR (2022)
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
. RuleML+RR (2022)
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
plingo: A system for probabilistic reasoning in clingo based on lpmln. CoRR (2022)
Masood Feyzbakhsh Rankooh, Tomi Janhunen
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. LPNMR (2022)
Anssi Yli-Jyrä, Tomi Janhunen
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery. RuleML+RR (2022)
Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. Inf. Comput. 280 (2021)
Jukka Pajunen, Tomi Janhunen
Solution Enumeration by Optimality in Answer Set Programming. CoRR (2021)
Jukka Pajunen, Tomi Janhunen
Solution Enumeration by Optimality in Answer Set Programming. Theory Pract. Log. Program. 21 (6) (2021)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite
On Syntactic Forgetting Under Uniform Equivalence. JELIA (2021)
Jori Bomanson, Tomi Janhunen, Ilkka Niemelä
Applying Visible Strong Equivalence in Answer-Set Program Transformations. ACM Trans. Comput. Log. 21 (4) (2020)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Declarative encodings of acyclicity properties. J. Log. Comput. 30 (4) (2020)
Jori Bomanson, Tomi Janhunen
Boosting Answer Set Optimization with Weighted Comparator Networks. CoRR (2020)
Jori Bomanson, Tomi Janhunen
Boosting Answer Set Optimization with Weighted Comparator Networks. Theory Pract. Log. Program. 20 (4) (2020)
Michael Sioutis, Zhiguo Long, Tomi Janhunen
On Robustness in Qualitative Constraint Networks. IJCAI (2020)
Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
The Return of xorro. LPNMR (2019)
Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. TIME (2019)
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. AAAI (2019)
Tomi Janhunen, Michael Sioutis
Allen's Interval Algebra Makes the Difference. DECLARE (2019)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Forgetting in Modular Answer Set Programming. AAAI (2019)
Michael Sioutis, Tomi Janhunen
Towards Leveraging Backdoors in Qualitative Constraint Networks. KI (2019)
Tomi Janhunen, Michael Sioutis
Allen's Interval Algebra Makes the Difference. CoRR (2019)
Tomi Janhunen
Answer Set Programming - Related with Other Solving Paradigms. Künstliche Intell. 32 (2-3) (2018)
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. KR (2018)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Variable Elimination for DLP-Functions. KR (2018)
Tomi Janhunen
Cross-Translating Answer Set Programs Using the ASPTOOLS Collection. Künstliche Intell. 32 (2-3) (2018)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
Clingo goes Linear Constraints over Reals and Integers. CoRR (2017)
Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander
Learning discrete decomposable graphical models via constraint optimization. Stat. Comput. 27 (1) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
Clingo goes linear constraints over reals and integers. Theory Pract. Log. Program. 17 (5-6) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR (2017)
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. Fundam. Informaticae 147 (1) (2016)
Tomi Janhunen, Ilkka Niemelä
The Answer Set Programming Paradigm. AI Mag. 37 (3) (2016)
Jori Bomanson, Martin Gebser, Tomi Janhunen
Rewriting Optimization Statements in Answer-Set Programs. ICLP (Technical Communications) (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. CoRR (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Declarative Solver Development: Case Studies. KR (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Stable-unstable semantics: Beyond NP with normal logic programs. Theory Pract. Log. Program. 16 (5-6) (2016)
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
Writing Declarative Specifications for Clauses. JELIA (2016)
Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. AAAI (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
SAT-to-SAT in QBFEval 2016. QBF@SAT (2016)
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
Solving QBF Instances with Nested SAT Solvers. AAAI Workshop: Beyond NP (2016)
Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
ASP Solving for Expanding Universes. LPNMR (2015)
Indre Zliobaite, Michael Mathioudakis, Tuukka Lehtiniemi, Pekka Parviainen, Tomi Janhunen
Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region. MUD@ICML (2015)
Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä
Optimizing phylogenetic supertrees using answer set programming. Theory Pract. Log. Program. 15 (4-5) (2015)
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
Answer Set Programming Modulo Acyclicity. LPNMR (2015)
Tomi Janhunen, Ilkka Niemelä
Cumulativity Tailored for Nonmonotonic Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä
Optimizing Phylogenetic Supertrees Using Answer Set Programming. CoRR (2015)
Jori Bomanson, Martin Gebser, Tomi Janhunen
Improving the Normalization of Weight Rules in Answer Set Programs. JELIA (2014)
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Modularity Aspects of Disjunctive Stable Models. CoRR (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
Answer Set Programming as SAT modulo Acyclicity. ECAI (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
ASP Encodings of Acyclicity Properties. KR (2014)
Martin Gebser, Tomi Janhunen, Jussi Rintanen
SAT Modulo Graphs: Acyclicity. JELIA (2014)
Guohua Liu, Tomi Janhunen, Ilkka Niemelä
Introducing Real Variables and Integer Objective Functions to Answer Set Programming. KDPD (2013)
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar
Learning Chordal Markov Networks by Constraint Satisfaction. CoRR (2013)
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar
Learning Chordal Markov Networks by Constraint Satisfaction. NIPS (2013)
Jori Bomanson, Tomi Janhunen
Normalizing Cardinality Rules Using Merging and Sorting Constructions. LPNMR (2013)
Tomi Janhunen, Ilkka Niemelä
Applying Visible Strong Equivalence in Answer-Set Program Transformations. Correct Reasoning (2012)
Guohua Liu, Tomi Janhunen, Ilkka Niemelä
Answer Set Programming via Mixed Integer Programming. KR (2012)
Tomi Janhunen, Vesa Luukkala
Meta Programming with Answer Sets for Smart Spaces. RR (2012)
Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala
Distributed Deadlock Handling for Resource Allocation in Smart Spaces. NEW2AN (2011)
Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You
Strong Equivalence of Logic Programs with Abstract Constraint Atoms. LPNMR (2011)
Tomi Janhunen, Ilkka Niemelä
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. LPNMR (2011)
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä
Translating Answer-Set Programs into Bit-Vector Logic. INAP/WLP (2011)
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä
Translating Answer-Set Programs into Bit-Vector Logic CoRR (2011)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
On Testing Answer-Set Programs. ECAI (2010)
Tomi Janhunen
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited. ICLP (Technical Communications) (2010)
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Modularity Aspects of Disjunctive Stable Models. J. Artif. Intell. Res. 35 (2009)
Emilia Oikarinen, Tomi Janhunen
A Translation-based Approach to the Verification of Modular Equivalence. J. Log. Comput. 19 (4) (2009)
Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä
A Module-Based Framework for Multi-language Constraint Modeling. LPNMR (2009)
Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev
Computing Stable Models via Reductions to Difference Logic. LPNMR (2009)
Tomi Janhunen
Removing Redundancy from Answer Set Programs. ICLP (2008)
Emilia Oikarinen, Tomi Janhunen
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. AIMSA (2008)
Tomi Janhunen
Modular Equivalence in General. ECAI (2008)
Emilia Oikarinen, Tomi Janhunen
Achieving compositionality of the stable model semantics for Smodels programs CoRR (2008)
Emilia Oikarinen, Tomi Janhunen
Achieving compositionality of the stable model semantics for smodels programs. Theory Pract. Log. Program. 8 (5-6) (2008)
Emilia Oikarinen, Tomi Janhunen
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. ICLP (2007)
Tomi Janhunen, Emilia Oikarinen
Automated Verification of Weak Equivalence within the SMODELS System. Theory Pract. Log. Program. 7 (6) (2007)
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Modularity Aspects of Disjunctive Stable Models. LPNMR (2007)
Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
What's a Head Without a Body? ECAI (2006)
Tomi Janhunen, Emilia Oikarinen
Automated verification of weak equivalence within the SMODELS system CoRR (2006)
Tomi Janhunen
Some (in)translatability results for normal logic programs and propositional theories. J. Appl. Non Class. Logics 16 (1-2) (2006)
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
On Probing and Multi-Threading in Platypus. ECAI (2006)
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. 7 (1) (2006)
Emilia Oikarinen, Tomi Janhunen
Modular Equivalence for Normal Logic Programs. ECAI (2006)
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
Platypus: A Platform for Distributed Answer Set Solving. LPNMR (2005)
Emilia Oikarinen, Tomi Janhunen
circ2dlp - Translating Circumscription into Disjunctive Logic Programming. LPNMR (2005)
Emilia Oikarinen, Tomi Janhunen
Verifying the Equivalence of Logic Programs in the Disjunctive Case. LPNMR (2004)
Tomi Janhunen, Ilkka Niemelä
GNT - A Solver for Disjunctive Logic Programs. LPNMR (2004)
Tomi Janhunen, Emilia Oikarinen
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. LPNMR (2004)
Tomi Janhunen
Representing Normal Programs with Clauses. ECAI (2004)

Tomi Janhunen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tomi Janhunen