Tomi Janhunen

According to our database, Tomi Janhunen authored at least 98 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Interpretable classifiers for tabular data via discretization and feature selection.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

CoRR, 2024

Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization.

Anssi Yli-Jyrä, Heini Ikävalko, Tomi Janhunen

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Theory Pract. Log. Program., July, 2023

Generalizing Level Ranking Constraints for Monotone and Convex Aggregates.

Tomi Janhunen

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.

Anssi Yli-Jyrä, Masood Feyzbakhsh Rankooh, Tomi Janhunen

Proceedings of the Practical Aspects of Declarative Languages, 2023

Short Boolean Formulas as Explanations in Practice.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

plingo: A system for probabilistic reasoning in clingo based on lpmln.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

CoRR, 2022

Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery.

Anssi Yli-Jyrä, Tomi Janhunen

Proceedings of the Rules and Reasoning, 2022

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP ^MLN.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

Proceedings of the Rules and Reasoning, 2022

Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo.

Tomi Janhunen

Proceedings of the Practical Aspects of Declarative Languages, 2022

Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Explainability via Short Formulas: the Case of Propositional Logic with Implementation.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022

2021

Solution Enumeration by Optimality in Answer Set Programming.

Jukka Pajunen, Tomi Janhunen

Theory Pract. Log. Program., 2021

On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning.

Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen

Inf. Comput., 2021

On Syntactic Forgetting Under Uniform Equivalence.

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Boosting Answer Set Optimization with Weighted Comparator Networks.

Jori Bomanson, Tomi Janhunen

Theory Pract. Log. Program., 2020

Applying Visible Strong Equivalence in Answer-Set Program Transformations.

Jori Bomanson, Tomi Janhunen, Ilkka Niemelä

ACM Trans. Comput. Log., 2020

Declarative encodings of acyclicity properties.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

J. Log. Comput., 2020

On Robustness in Qualitative Constraint Networks.

Michael Sioutis, Zhiguo Long, Tomi Janhunen

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.

Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

The Return of xorro.

Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Towards Leveraging Backdoors in Qualitative Constraint Networks.

Michael Sioutis, Tomi Janhunen

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Allen's Interval Algebra Makes the Difference.

Tomi Janhunen, Michael Sioutis

Proceedings of the Declarative Programming and Knowledge Management, 2019

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Forgetting in Modular Answer Set Programming.

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Cross-Translating Answer Set Programs Using the ASPTOOLS Collection.

Tomi Janhunen

Künstliche Intell., 2018

Answer Set Programming - Related with Other Solving Paradigms.

Tomi Janhunen

Künstliche Intell., 2018

Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Variable Elimination for DLP-Functions.

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Clingo goes linear constraints over reals and integers.

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub

Theory Pract. Log. Program., 2017

Learning discrete decomposable graphical models via constraint optimization.

Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik J. Nyman, Johan Pensar, Jukka Corander

Stat. Comput., 2017

2016

Stable-unstable semantics: Beyond NP with normal logic programs.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Theory Pract. Log. Program., 2016

Answer Set Programming Modulo Acyclicity.

Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, Torsten Schaub

Fundam. Informaticae, 2016

The Answer Set Programming Paradigm.

Tomi Janhunen, Ilkka Niemelä

AI Mag., 2016

SAT-to-SAT in QBFEval 2016.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Declarative Solver Development: Case Studies.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Writing Declarative Specifications for Clauses.

Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, Shahab Tasharrofi

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Rewriting Optimization Statements in Answer-Set Programs.

Jori Bomanson, Martin Gebser, Tomi Janhunen

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators.

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Solving QBF Instances with Nested SAT Solvers.

Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi

Proceedings of the Beyond NP, 2016

2015

Optimizing phylogenetic supertrees using answer set programming.

Laura Koponen, Emilia Oikarinen, Tomi Janhunen, Laura Säilä

Theory Pract. Log. Program., 2015

ASP Solving for Expanding Universes.

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region.

Indre Zliobaite, Michael Mathioudakis, Tuukka Lehtiniemi, Pekka Parviainen, Tomi Janhunen

Proceedings of the 2nd International Workshop on Mining Urban Data co-located with 32nd International Conference on Machine Learning (ICML 2015), 2015

Cumulativity Tailored for Nonmonotonic Reasoning.

Tomi Janhunen, Ilkka Niemelä

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

ASP Encodings of Acyclicity Properties.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

SAT Modulo Graphs: Acyclicity.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Improving the Normalization of Weight Rules in Answer Set Programs.

Jori Bomanson, Martin Gebser, Tomi Janhunen

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Answer Set Programming as SAT modulo Acyclicity.

Martin Gebser, Tomi Janhunen, Jussi Rintanen

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Learning Chordal Markov Networks by Constraint Satisfaction.

Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik J. Nyman, Johan Pensar

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

Normalizing Cardinality Rules Using Merging and Sorting Constructions.

Jori Bomanson, Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Introducing Real Variables and Integer Objective Functions to Answer Set Programming.

Guohua Liu, Tomi Janhunen, Ilkka Niemelä

Proceedings of the Declarative Programming and Knowledge Management, 2013

2012

Meta Programming with Answer Sets for Smart Spaces.

Tomi Janhunen, Vesa Luukkala

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Answer Set Programming via Mixed Integer Programming.

Guohua Liu, Tomi Janhunen, Ilkka Niemelä

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Applying Visible Strong Equivalence in Answer-Set Program Transformations.

Tomi Janhunen, Ilkka Niemelä

Proceedings of the Correct Reasoning, 2012

2011

Distributed Deadlock Handling for Resource Allocation in Smart Spaces.

Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala

Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

Strong Equivalence of Logic Programs with Abstract Constraint Atoms.

Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Translating Answer-Set Programs into Bit-Vector Logic.

Mai Nguyen, Tomi Janhunen, Ilkka Niemelä

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.

Tomi Janhunen, Ilkka Niemelä

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited.

Tomi Janhunen

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

On Testing Answer-Set Programs.

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the ECAI 2010, 2010

2009

A Translation-based Approach to the Verification of Modular Equivalence.

Emilia Oikarinen, Tomi Janhunen

J. Log. Comput., 2009

Modularity Aspects of Disjunctive Stable Models.

Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran

J. Artif. Intell. Res., 2009

A Module-Based Framework for Multi-language Constraint Modeling.

Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Computing Stable Models via Reductions to Difference Logic.

Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Achieving compositionality of the stable model semantics for smodels programs.

Emilia Oikarinen, Tomi Janhunen

Theory Pract. Log. Program., 2008

Removing Redundancy from Answer Set Programs.

Tomi Janhunen

Proceedings of the Logic Programming, 24th International Conference, 2008

Modular Equivalence in General.

Tomi Janhunen

Proceedings of the ECAI 2008, 2008

Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.

Emilia Oikarinen, Tomi Janhunen

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Automated Verification of Weak Equivalence within the SMODELS System.

Tomi Janhunen, Emilia Oikarinen

Theory Pract. Log. Program., 2007

A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.

Emilia Oikarinen, Tomi Janhunen

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Unfolding partiality and disjunctions in stable model semantics.

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You

ACM Trans. Comput. Log., 2006

Some (in)translatability results for normal logic programs and propositional theories.

Tomi Janhunen

J. Appl. Non Class. Logics, 2006

Modular Equivalence for Normal Logic Programs.

Emilia Oikarinen, Tomi Janhunen

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

On Probing and Multi-Threading in Platypus.

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

What's a Head Without a Body?

Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

circ2dlp - Translating Circumscription into Disjunctive Logic Programming.

Emilia Oikarinen, Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Platypus: A Platform for Distributed Answer Set Solving.

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004

Verifying the Equivalence of Logic Programs in the Disjunctive Case.

Emilia Oikarinen, Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.

Tomi Janhunen, Emilia Oikarinen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

GNT - A Solver for Disjunctive Logic Programs.

Tomi Janhunen, Ilkka Niemelä

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Capturing Parallel Circumscription with Disjunctive Logic Programs.

Tomi Janhunen, Emilia Oikarinen

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Representing Normal Programs with Clauses.

Tomi Janhunen

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Evaluating the effect of semi-normality on the expressiveness of defaults.

Tomi Janhunen

Artif. Intell., 2003

A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.

Tomi Janhunen

Proceedings of the Answer Set Programming, 2003

2002

Testing the Equivalence of Logic Programs under Stable Model Semantics.

Tomi Janhunen, Emilia Oikarinen

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.

Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

Unfolding Partiality and Disjunctions in Stable Model Semantics.

Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You

Proceedings of the KR 2000, 2000

Capturing Stationary and Regular Extensions with Reiter's Extensions.

Tomi Janhunen

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.

Tomi Janhunen

Proceedings of the Computational Logic, 2000

1999

On the intertranslatability of non-monotonic logics.

Tomi Janhunen

Ann. Math. Artif. Intell., 1999

Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.

Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.

Tomi Janhunen

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Separating Disbeliefs from Beliefs in Autoepistemic Reasoning.

Tomi Janhunen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

1996

Representing Autoepistemic Introspection in Terms of Default Rules.

Tomi Janhunen

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Cautious Models for General Logic Programs.

Tomi Janhunen

Proceedings of the Deductive Databases and Logic Programming, 1995

1993

A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.

Tomi Janhunen, Ilkka Niemelä

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

A Graphical User Interface for a Value Added Network.

Matti Hallivuori, Tomi Janhunen, Tapio Suihko

Proceedings of the Information Network and Data Communication, 1992