×

zbMATH — the first resource for mathematics

Janhunen, Tomi

Compute Distance To:
Author ID: janhunen.tomi Recent zbMATH articles by "Janhunen, Tomi"
Published as: Janhunen, Tomi; Janhunen, T.
Documents Indexed: 50 Publications since 1993, including 3 Books

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 167 times in 109 Documents Cited by Year
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
23
2006
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
21
2006
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.
16
2009
Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012
Oikarinen, Emilia; Janhunen, Tomi
11
2008
Compact translations of non-disjunctive answer set programs to propositional clauses. Zbl 1326.68058
Janhunen, Tomi; Niemelä, Ilkka
9
2011
Normalizing cardinality rules using merging and sorting constructions. Zbl 1405.68044
Bomanson, Jori; Janhunen, Tomi
6
2013
Answer set programming as SAT modulo acyclicity. Zbl 1366.68017
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
6
2014
Improving the normalization of weight rules in answer set programs. Zbl 1432.68056
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi
6
2014
Modularity aspects of disjunctive stable models. Zbl 1149.68334
Janhunen, Tomi; Oikarinen, Emilia; Tompits, Hans; Woltran, Stefan
6
2007
Computing stable models via reductions to difference logic. Zbl 1258.68030
Janhunen, Tomi; Niemelä, Ilkka; Sevalnev, Mark
5
2009
On the intertranslatability of non-monotonic logics. Zbl 0941.03028
Janhunen, Tomi
5
1999
On the effect of default negation on the expressiveness of disjunctive rules. Zbl 1007.68170
Janhunen, Tomi
5
2001
On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. Zbl 0928.03027
Janhunen, Tomi
5
1998
Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038
Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura
5
2015
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
3
2017
Stable-unstable semantics: beyond NP with normal logic programs. Zbl 1379.68044
Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab
3
2016
SAT modulo graphs: acyclicity. Zbl 1432.68328
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
3
2014
GNT – a solver for disjunctive logic programs. Zbl 1122.68372
Janhunen, Tomi; Niemelä, Ilkka
3
2004
Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Zbl 1196.68010
Janhunen, Tomi (ed.); Niemelä, Ilkka (ed.)
2
2010
A translation-based approach to the verification of modular equivalence. Zbl 1192.68131
Oikarinen, Emilia; Janhunen, Tomi
2
2009
Evaluating the effect of semi-normality on the expressiveness of defaults. Zbl 1079.68624
Janhunen, Tomi
2
2003
Verifying the equivalence of logic programs in the disjunctive case. Zbl 1122.68383
Oikarinen, Emilia; Janhunen, Tomi
2
2004
Automated verification of weak equivalence within the SMODELS system. Zbl 1132.68323
Janhunen, Tomi; Oikarinen, Emilia
2
2007
Answer set programming modulo acyclicity. Zbl 1370.68044
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
2
2015
Strong equivalence of logic programs with abstract constraint atoms. Zbl 1327.68067
Liu, Guohua; Goebel, Randy; Janhunen, Tomi; Niemelä, Ilkka; You, Jia-Huai
1
2011
Implementing prioritized circumscription by computing disjunctive stable models. Zbl 1169.68623
Oikarinen, Emilia; Janhunen, Tomi
1
2008
Removing redundancy from answer set programs. Zbl 1185.68160
Janhunen, Tomi
1
2008
Classifying semi-normal default logic on the basis of its expressive power. Zbl 0946.03032
Janhunen, Tomi
1
1999
Non-monotonic systems: a framework for analyzing semantics and structural properties of non-monotonic reasoning. Zbl 0911.03013
Janhunen, Tomi
1
1998
Answer set programming modulo acyclicity. Zbl 1373.68170
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
1
2016
Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Zbl 1367.68005
Balduccini, Marcello (ed.); Janhunen, Tomi (ed.)
1
2017
A scheme for weakened negative introspection in autoepistemic reasoning. Zbl 0793.68145
Janhunen, Tomi; Niemelä, Ilkka
1
1993
Applying visible strong equivalence in answer-set program transformations. Zbl 1357.68037
Janhunen, Tomi; Niemelä, Ilkka
1
2012
LPEQ and DLPEQ – translators for automated equivalence testing of logic programs. Zbl 1122.68373
Janhunen, Tomi; Oikarinen, Emilia
1
2004
Capturing parallel circumscription with disjunctive logic programs. Zbl 1111.68680
Janhunen, Tomi; Oikarinen, Emilia
1
2004
Clingo goes linear constraints over reals and integers. Zbl 1422.68024
Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten
3
2017
Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Zbl 1367.68005
Balduccini, Marcello; Janhunen, Tomi
1
2017
Stable-unstable semantics: beyond NP with normal logic programs. Zbl 1379.68044
Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab
3
2016
Answer set programming modulo acyclicity. Zbl 1373.68170
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
1
2016
Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038
Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura
5
2015
Answer set programming modulo acyclicity. Zbl 1370.68044
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi; Kaufmann, Benjamin; Schaub, Torsten
2
2015
Answer set programming as SAT modulo acyclicity. Zbl 1366.68017
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
6
2014
Improving the normalization of weight rules in answer set programs. Zbl 1432.68056
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi
6
2014
SAT modulo graphs: acyclicity. Zbl 1432.68328
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
3
2014
Normalizing cardinality rules using merging and sorting constructions. Zbl 1405.68044
Bomanson, Jori; Janhunen, Tomi
6
2013
Applying visible strong equivalence in answer-set program transformations. Zbl 1357.68037
Janhunen, Tomi; Niemelä, Ilkka
1
2012
Compact translations of non-disjunctive answer set programs to propositional clauses. Zbl 1326.68058
Janhunen, Tomi; Niemelä, Ilkka
9
2011
Strong equivalence of logic programs with abstract constraint atoms. Zbl 1327.68067
Liu, Guohua; Goebel, Randy; Janhunen, Tomi; Niemelä, Ilkka; You, Jia-Huai
1
2011
Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Zbl 1196.68010
Janhunen, Tomi; Niemelä, Ilkka
2
2010
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.
16
2009
Computing stable models via reductions to difference logic. Zbl 1258.68030
Janhunen, Tomi; Niemelä, Ilkka; Sevalnev, Mark
5
2009
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
A translation-based approach to the verification of modular equivalence. Zbl 1192.68131
Oikarinen, Emilia; Janhunen, Tomi
2
2009
Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012
Oikarinen, Emilia; Janhunen, Tomi
11
2008
Implementing prioritized circumscription by computing disjunctive stable models. Zbl 1169.68623
Oikarinen, Emilia; Janhunen, Tomi
1
2008
Removing redundancy from answer set programs. Zbl 1185.68160
Janhunen, Tomi
1
2008
Modularity aspects of disjunctive stable models. Zbl 1149.68334
Janhunen, Tomi; Oikarinen, Emilia; Tompits, Hans; Woltran, Stefan
6
2007
Automated verification of weak equivalence within the SMODELS system. Zbl 1132.68323
Janhunen, Tomi; Oikarinen, Emilia
2
2007
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
23
2006
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
21
2006
GNT – a solver for disjunctive logic programs. Zbl 1122.68372
Janhunen, Tomi; Niemelä, Ilkka
3
2004
Verifying the equivalence of logic programs in the disjunctive case. Zbl 1122.68383
Oikarinen, Emilia; Janhunen, Tomi
2
2004
LPEQ and DLPEQ – translators for automated equivalence testing of logic programs. Zbl 1122.68373
Janhunen, Tomi; Oikarinen, Emilia
1
2004
Capturing parallel circumscription with disjunctive logic programs. Zbl 1111.68680
Janhunen, Tomi; Oikarinen, Emilia
1
2004
Evaluating the effect of semi-normality on the expressiveness of defaults. Zbl 1079.68624
Janhunen, Tomi
2
2003
On the effect of default negation on the expressiveness of disjunctive rules. Zbl 1007.68170
Janhunen, Tomi
5
2001
On the intertranslatability of non-monotonic logics. Zbl 0941.03028
Janhunen, Tomi
5
1999
Classifying semi-normal default logic on the basis of its expressive power. Zbl 0946.03032
Janhunen, Tomi
1
1999
On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription. Zbl 0928.03027
Janhunen, Tomi
5
1998
Non-monotonic systems: a framework for analyzing semantics and structural properties of non-monotonic reasoning. Zbl 0911.03013
Janhunen, Tomi
1
1998
A scheme for weakened negative introspection in autoepistemic reasoning. Zbl 0793.68145
Janhunen, Tomi; Niemelä, Ilkka
1
1993
all top 5

Cited by 167 Authors

13 Woltran, Stefan
10 Gebser, Martin
10 Janhunen, Tomi
8 Schaub, Torsten H.
7 Eiter, Thomas
7 Leone, Nicola
7 Lierler, Yuliya
7 Ricca, Francesco
6 Alviano, Mario
6 Dodaro, Carmine
6 Truszczyński, Mirosław
5 Faber, Wolfgang
5 Fichte, Johannes Klaus
5 Maratea, Marco
4 Fink, Michael
3 Inoue, Katsumi
3 Kaminski, Roland
3 Krennwallner, Thomas
3 Lee, Joohyung
3 Lifschitz, Vladimir
3 Lin, Fangzhen
3 Niemelä, Ilkka N. F.
3 Sakama, Chiaki
3 Tasharrofi, Shahab
3 Zhang, Yan
2 Amendola, Giovanni
2 Baumann, Ringo
2 Bogaerts, Bart
2 Cabalar, Pedro
2 Corander, Jukka
2 Denecker, Marc
2 Dvořák, Wolfgang
2 Fandinno, Jorge
2 Gasteiger, Philip
2 Giunchiglia, Enrico
2 Gottlob, Georg
2 Harrison, Amelia
2 Ianni, Giovambattista
2 Kaufmann, Benjamin
2 Leite, João
2 Morak, Michael
2 Nyman, Henrik
2 Oikarinen, Emilia
2 Pensar, Johan
2 Perri, Simona
2 Schüller, Peter
2 Szeider, Stefan
2 Wang, Kewen
2 Wen, Lian
2 Zhou, Yi
1 Alfano, Gianvincenzo
1 Analyti, Anastasia
1 Angiulli, Fabrizio
1 Antoniou, Grigoris
1 Arias, Joaquin
1 Arrazola Ramírez, José Ramón Enrique
1 Baroni, Pietro
1 Bartholomew, Michael
1 Baumgartner, Robert
1 Ben-Eliyahu-Zohary, Rachel
1 Bhagyanath, Anoop
1 Bichler, Manuel
1 Bliem, Bernhard
1 Bochman, Alexander
1 Boella, Guido
1 Bomanson, Jori
1 Bozzato, Loris
1 Brewka, Gerhard
1 Bright, Curtis
1 Brochenin, Rémi
1 Brock-Nannestad, Taus
1 Brummayer, Robert
1 Bruynooghe, Maurice
1 Calimeri, Francesco
1 Carayol, Arnaud
1 Carro, Manuel
1 Cerutti, Federico
1 Cuteri, Bernardo
1 Czarnecki, Krzysztof
1 Dahlem, Marc
1 Dao-Tran, Minh
1 Egly, Uwe
1 Ésik, Zoltán
1 Fandiño, Jorge
1 Ferraris, Paolo
1 Frioux, Clémence
1 Ganesh, Vijay
1 Gelfond, Michael
1 Giacomin, Massimiliano
1 Gonçalves, Ricardo
1 Greco, Gianluigi
1 Greco, Sergio
1 Gupta, Gopal K.
1 Hecher, Markus
1 Heinle, Albert
1 Hoos, Holger H.
1 Janssens, Gerda
1 Järvisalo, Matti
1 Knorr, Matthias
1 Koponen, Laura
...and 67 more Authors

Citations by Year