Tomi Janhunen

126 papers A* 12A 8B 34C 3Misc 2Journal 43Unranked 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
J. Artif. Intell. Res.
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2025 J jnl
Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Magdalena Ortiz, Matias Selin, Mantas Simkus
2025 J jnl
Plingo: A System for Probabilistic Reasoning in Answer Set Programming.
Theory Pract. Log. Program.
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2024 — conf
Automating Cybersecurity Compliance in DevSecOps with Open Information Model for Security as Code.
eSAAM
Henry Haverinen, Tomi Janhunen, Tero Päivärinta, Sami Lempinen, Suvi Kaartinen, Sami Merilä
2024 A* conf
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract).
IJCAI
Masood Feyzbakhsh Rankooh, Tomi Janhunen
2024 J jnl
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024 A* conf
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming.
IJCAI
Masood Feyzbakhsh Rankooh, Tomi Janhunen
2024 — conf
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization.
FoIKS
Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen
2024 — conf
Interpretable Classifiers for Tabular Data via Feature Selection and Discretization.
DAO-XAI@ECAI
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024 J jnl
Interpretable classifiers for tabular data via discretization and feature selection.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2023 J jnl
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs.
CoRR
Masood Feyzbakhsh Rankooh, Tomi Janhunen
2023 J jnl
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs.
Theory Pract. Log. Program.
Masood Feyzbakhsh Rankooh, Tomi Janhunen
2023 B conf
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates.
ICLP
Tomi Janhunen
2023 C conf
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.
PADL
Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen
2023 B conf
Short Boolean Formulas as Explanations in Practice.
JELIA
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2023 J jnl
Short Boolean Formulas as Explanations in Practice.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022 B conf
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery.
RuleML+RR
Anssi Yli-Jyrä, Tomi Janhunen
2022 B conf
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.
LPNMR
Masood Feyzbakhsh Rankooh, Tomi Janhunen
2022 — conf
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
HYDRA/RCRA@LPNMR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022 J jnl
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022 C conf
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.
PADL
Tomi Janhunen
2022 B conf
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP
RuleML+RR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2022 J jnl
plingo: A system for probabilistic reasoning in clingo based on lpmln.
CoRR
Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub
2021 B conf
On Syntactic Forgetting Under Uniform Equivalence.
JELIA
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite
2021 J jnl
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning.
Inf. Comput.
Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen
2021 J jnl
Solution Enumeration by Optimality in Answer Set Programming.
CoRR
Jukka Pajunen, Tomi Janhunen
2021 J jnl
Solution Enumeration by Optimality in Answer Set Programming.
Theory Pract. Log. Program.
Jukka Pajunen, Tomi Janhunen
2020 J jnl
Applying Visible Strong Equivalence in Answer-Set Program Transformations.
ACM Trans. Comput. Log.
Jori Bomanson, Tomi Janhunen, Ilkka Niemelä
2020 J jnl
Boosting Answer Set Optimization with Weighted Comparator Networks.
CoRR
Jori Bomanson, Tomi Janhunen
2020 J jnl
Boosting Answer Set Optimization with Weighted Comparator Networks.
Theory Pract. Log. Program.
Jori Bomanson, Tomi Janhunen
2020 J jnl
Declarative encodings of acyclicity properties.
J. Log. Comput.
Martin Gebser, Tomi Janhunen, Jussi Rintanen
2020 A* conf
On Robustness in Qualitative Constraint Networks.
IJCAI
Michael Sioutis, Zhiguo Long, Tomi Janhunen
2019 — conf
Allen's Interval Algebra Makes the Difference.
DECLARE
Tomi Janhunen, Michael Sioutis
2019 J jnl
Allen's Interval Algebra Makes the Difference.
CoRR
Tomi Janhunen, Michael Sioutis
2019 A* conf
Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.
AAAI
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
2019 A* conf
Forgetting in Modular Answer Set Programming.
AAAI
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2019 C conf
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.
TIME
Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen
2019 B conf
The Return of xorro.
LPNMR
Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub
2019 Misc conf
Towards Leveraging Backdoors in Qualitative Constraint Networks.
KI
Michael Sioutis, Tomi Janhunen
2018 J jnl
Answer Set Programming - Related with Other Solving Paradigms.
Künstliche Intell.
Tomi Janhunen
2018 J jnl
Cross-Translating Answer Set Programs Using the ASPTOOLS Collection.
Künstliche Intell.
Tomi Janhunen
2018 A* conf
Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.
KR
Jori Bomanson, Tomi Janhunen, Antonius Weinzierl
2018 A* conf
Variable Elimination for DLP-Functions.
KR
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2017 J jnl
Clingo goes Linear Constraints over Reals and Integers.
CoRR
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2017 J jnl
Clingo goes linear constraints over reals and integers.
Theory Pract. Log. Program.
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
2017 J jnl
Learning discrete decomposable graphical models via constraint optimization.
Stat. Comput.
Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander
2017 B ed.
Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
LPNMR
Marcello Balduccini, Tomi Janhunen
2017 — conf
clingo goes Linear Constraints over Reals and Integers.
ASPOCP@LPNMR
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2016 J jnl
Answer Set Programming Modulo Acyclicity.
Fundam. Informaticae
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2016 A* conf
Declarative Solver Development: Case Studies.
KR
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 — conf
Rewriting Optimization Statements in Answer-Set Programs.
ICLP (Technical Communications)
Jori Bomanson, Martin Gebser, Tomi Janhunen
2016 — conf
SAT-to-SAT in QBFEval 2016.
QBF@SAT
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 A* conf
SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators.
AAAI
Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska
2016 — conf
Solving QBF Instances with Nested SAT Solvers.
AAAI Workshop: Beyond NP
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 J jnl
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs.
CoRR
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 J jnl
Stable-unstable semantics: Beyond NP with normal logic programs.
Theory Pract. Log. Program.
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
2016 J jnl
The Answer Set Programming Paradigm.
AI Mag.
Tomi Janhunen, Ilkka Niemelä
2016 B conf
Writing Declarative Specifications for Clauses.
JELIA
Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi
2015 B conf
ASP Solving for Expanding Universes.
LPNMR
Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub
2015 — conf
Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region.
MUD@ICML
Indre Zliobaite, Michael Mathioudakis, Tuukka Lehtiniemi, Pekka Parviainen, Tomi Janhunen
2015 B conf
Answer Set Programming Modulo Acyclicity.
LPNMR
Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub
2015 — conf
Cumulativity Tailored for Nonmonotonic Reasoning.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Tomi Janhunen, Ilkka Niemelä
2015 J jnl
Optimizing Phylogenetic Supertrees Using Answer Set Programming.
CoRR
Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä
2015 J jnl
Optimizing phylogenetic supertrees using answer set programming.
Theory Pract. Log. Program.
Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä
2014 A* conf
ASP Encodings of Acyclicity Properties.
KR
Martin Gebser, Tomi Janhunen, Jussi Rintanen
2014 A conf
Answer Set Programming as SAT modulo Acyclicity.
ECAI
Martin Gebser, Tomi Janhunen, Jussi Rintanen
2014 B conf
Improving the Normalization of Weight Rules in Answer Set Programs.
JELIA
Jori Bomanson, Martin Gebser, Tomi Janhunen
2014 J jnl
Modularity Aspects of Disjunctive Stable Models.
CoRR
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
2014 B conf
SAT Modulo Graphs: Acyclicity.
JELIA
Martin Gebser, Tomi Janhunen, Jussi Rintanen
2013 — conf
Introducing Real Variables and Integer Objective Functions to Answer Set Programming.
KDPD
Guohua Liu, Tomi Janhunen, Ilkka Niemelä
2013 — conf
Learning Chordal Markov Networks by Constraint Satisfaction.
NIPS
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar
2013 J jnl
Learning Chordal Markov Networks by Constraint Satisfaction.
CoRR
Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar
2013 B conf
Normalizing Cardinality Rules Using Merging and Sorting Constructions.
LPNMR
Jori Bomanson, Tomi Janhunen
2012 A* conf
Answer Set Programming via Mixed Integer Programming.
KR
Guohua Liu, Tomi Janhunen, Ilkka Niemelä
2012 — conf
Applying Visible Strong Equivalence in Answer-Set Program Transformations.
Correct Reasoning
Tomi Janhunen, Ilkka Niemelä
2012 — conf
Meta Programming with Answer Sets for Smart Spaces.
RR
Tomi Janhunen, Vesa Luukkala
2011 — conf
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Tomi Janhunen, Ilkka Niemelä
2011 — conf
Distributed Deadlock Handling for Resource Allocation in Smart Spaces.
NEW2AN
Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala
2011 B conf
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.
LPNMR
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 B conf
Strong Equivalence of Logic Programs with Abstract Constraint Atoms.
LPNMR
Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You
2011 J jnl
Translating Answer-Set Programs into Bit-Vector Logic
CoRR
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä
2011 — conf
Translating Answer-Set Programs into Bit-Vector Logic.
INAP/WLP
Mai Nguyen, Tomi Janhunen, Ilkka Niemelä
2010 B ed.
Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
JELIA
Tomi Janhunen, Ilkka Niemelä
2010 A conf
On Testing Answer-Set Programs.
ECAI
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
2010 — conf
Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.
ICLP (Technical Communications)
Tomi Janhunen
2009 B conf
A Module-Based Framework for Multi-language Constraint Modeling.
LPNMR
Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä
2009 J jnl
A Translation-based Approach to the Verification of Modular Equivalence.
J. Log. Comput.
Emilia Oikarinen, Tomi Janhunen
2009 B conf
Computing Stable Models via Reductions to Difference Logic.
LPNMR
Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev
2009 J jnl
Modularity Aspects of Disjunctive Stable Models.
J. Artif. Intell. Res.
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
2008 J jnl
Achieving compositionality of the stable model semantics for Smodels programs
CoRR
Emilia Oikarinen, Tomi Janhunen
2008 J jnl
Achieving compositionality of the stable model semantics for smodels programs.
Theory Pract. Log. Program.
Emilia Oikarinen, Tomi Janhunen
2008 Misc conf
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
AIMSA
Emilia Oikarinen, Tomi Janhunen
2008 A conf
Modular Equivalence in General.
ECAI
Tomi Janhunen
2008 B conf
Removing Redundancy from Answer Set Programs.
ICLP
Tomi Janhunen
2007 B conf
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
ICLP
Emilia Oikarinen, Tomi Janhunen
2007 J jnl
Automated Verification of Weak Equivalence within the SMODELS System.
Theory Pract. Log. Program.
Tomi Janhunen, Emilia Oikarinen
2007 B conf
Modularity Aspects of Disjunctive Stable Models.
LPNMR
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
2006 J jnl
Automated verification of weak equivalence within the SMODELS system
CoRR
Tomi Janhunen, Emilia Oikarinen
2006 A conf
Modular Equivalence for Normal Logic Programs.
ECAI
Emilia Oikarinen, Tomi Janhunen
2006 A conf
On Probing and Multi-Threading in Platypus.
ECAI
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
2006 J jnl
Some (in)translatability results for normal logic programs and propositional theories.
J. Appl. Non Class. Logics
Tomi Janhunen
2006 J jnl
Unfolding partiality and disjunctions in stable model semantics.
ACM Trans. Comput. Log.
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2006 A conf
What's a Head Without a Body?
ECAI
Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
2005 B conf
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR
Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
2005 B conf
circ2dlp - Translating Circumscription into Disjunctive Logic Programming.
LPNMR
Emilia Oikarinen, Tomi Janhunen
2004 B conf
Capturing Parallel Circumscription with Disjunctive Logic Programs.
JELIA
Tomi Janhunen, Emilia Oikarinen
2004 B conf
GNT - A Solver for Disjunctive Logic Programs.
LPNMR
Tomi Janhunen, Ilkka Niemelä
2004 B conf
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.
LPNMR
Tomi Janhunen, Emilia Oikarinen
2004 A conf
Representing Normal Programs with Clauses.
ECAI
Tomi Janhunen
2004 B conf
Verifying the Equivalence of Logic Programs in the Disjunctive Case.
LPNMR
Emilia Oikarinen, Tomi Janhunen
2003 — conf
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.
Answer Set Programming
Tomi Janhunen
2003 J jnl
Evaluating the effect of semi-normality on the expressiveness of defaults.
Artif. Intell.
Tomi Janhunen
2003 J jnl
Unfolding Partiality and Disjunctions in Stable Model Semantics
CoRR
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You
2002 B conf
Testing the Equivalence of Logic Programs under Stable Model Semantics.
JELIA
Tomi Janhunen, Emilia Oikarinen
2001 B conf
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.
LPNMR
Tomi Janhunen
2000 B conf
Capturing Stationary and Regular Extensions with Reiter's Extensions.
JELIA
Tomi Janhunen
2000 — conf
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.
Computational Logic
Tomi Janhunen
2000 A* conf
Unfolding Partiality and Disjunctions in Stable Model Semantics.
KR
Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You
1999 B conf
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.
LPNMR
Tomi Janhunen
1999 J jnl
On the intertranslatability of non-monotonic logics.
Ann. Math. Artif. Intell.
Tomi Janhunen
1998 B conf
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.
JELIA
Tomi Janhunen
1997 B conf
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning.
LPNMR
Tomi Janhunen
1996 A conf
Representing Autoepistemic Introspection in Terms of Default Rules.
ECAI
Tomi Janhunen
1995 — conf
Cautious Models for General Logic Programs.
Deductive Databases / Abduction in Deductive Databases
Tomi Janhunen
1993 — conf
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.
Kurt Gödel Colloquium
Tomi Janhunen, Ilkka Niemelä
1992 — conf
A Graphical User Interface for a Value Added Network.
INDC
Matti Hallivuori, Tomi Janhunen, Tapio Suihko