×

zbMATH — the first resource for mathematics

Niemelä, Ilkka N. F.

Compute Distance To:
Author ID: niemela.ilkka-n-f Recent zbMATH articles by "Niemelä, Ilkka N. F."
Published as: Niemelä, Ilkka; Niemelä, Ilkka N. F.; Niemelä, I.
Documents Indexed: 59 Publications since 1988, including 4 Books

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 496 times in 342 Documents Cited by Year
Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018
Niemelä, Ilkka
137
1999
Extending and implementing the stable model semantics. Zbl 0995.68021
Simons, Patrik; Niemelä, Ilkka; Soininen, Timo
132
2002
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
23
2006
Extending the Smodels system with cardinality and weight constraints. Zbl 0979.68015
Niemelä, Ilkka; Simons, Patrik
20
2000
The Smodels system. Zbl 1010.68797
Syrjänen, Tommi; Niemelä, Ilkka
17
2001
Stable model semantics of weight constraint rules. Zbl 0952.68029
Niemelä, Ilkka; Simons, Patrik; Soininen, Timo
16
1999
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
12
2008
Planning as satisfiability: parallel plans and algorithms for plan search. Zbl 1131.68099
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
11
2006
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
10
2003
Compact translations of non-disjunctive answer set programs to propositional clauses. Zbl 1326.68058
Janhunen, Tomi; Niemelä, Ilkka
10
2011
Nonmonotonic reasoning: Towards efficient calculi and implementations. Zbl 0991.03036
Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka
8
2001
A tableau calculus for minimal model reasoning. Zbl 1412.68247
Niemelä, Ilkka
7
1996
Stable models and difference logic. Zbl 1165.68338
Niemelä, Ilkka
7
2008
Parallel encodings of classical planning as satisfiability. Zbl 1111.68660
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
6
2004
Decision procedure for autoepistemic logic. Zbl 0658.03009
Niemelä, Ilkka
5
1988
Computing stable models via reductions to difference logic. Zbl 1258.68030
Janhunen, Tomi; Niemelä, Ilkka; Sevalnev, Mark
5
2009
Towards automatic autoepistemic reasoning. Zbl 0789.68130
Niemelä, Ilkka
4
1991
On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132
Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C.
4
2001
Incorporating clause learning in grid-based randomized SAT solving. Zbl 1190.68055
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
4
2009
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
GNT – a solver for disjunctive logic programs. Zbl 1122.68372
Janhunen, Tomi; Niemelä, Ilkka
3
2004
Constructive tightly grounded autoepistemic reasoning. Zbl 0747.68087
Niemelä, Ilkka N. F.
3
1991
On the decidability and complexity of autoepistemic reasoning. Zbl 0769.68111
Niemelä, Ilkka N. F.
3
1992
Unrestricted vs restricted cut in a tableau method for Boolean circuits. Zbl 1086.03048
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
3
2005
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
Solving parity games by a reduction to SAT. Zbl 1279.68211
Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka
3
2012
Implementing ordered disjunction using answer set solvers for normal programs. Zbl 1013.68060
Brewka, Gerhard; Niemelä, Ilkka; Syrjänen, Tommi
3
2002
BMC via on-the-fly determinization. Zbl 1271.68138
Jussila, Toni; Heljanko, Keijo; Niemelä, Ilkka
3
2003
Autoepistemic logic as a unified basis for nonmonotonic reasoning. Zbl 0840.03020
Niemelä, Ilkka
2
1993
On the impact of stratification on the complexity of nonmonotonic reasoning. Zbl 0820.03013
Niemelä, Ilkka; Rintanen, Jussi
2
1994
A decision method for nonmonotonic reasoning based on autoepistemic reasoning. Zbl 0826.03007
Niemelä, Ilkka
2
1995
SMT-based induction methods for timed systems. Zbl 1374.68293
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
2
2012
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
Partitioning SAT instances for distributed solving. Zbl 1306.68146
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
2
2010
Towards an efficient tableau method for Boolean circuit satisfiability checking. Zbl 0983.68176
Junttila, Tommi A.; Niemelä, Ilkka
2
2000
Extending clause learning DPLL with parity reasoning. Zbl 1211.68385
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
2
2010
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. Zbl 1162.68655
Järvisalo, Matti; Niemelä, Ilkka
2
2008
Bounded ITL model checking with stable models. Zbl 1007.68515
Heljanko, Keijo; Niemelä, Ilkka
2
2001
Hyper tableaux. Zbl 1427.03031
Baumgartner, Peter; Furbach, Ulrich; Niemelä, Ilkka
1
1996
Answer set programming: A declarative approach to solving search problems. Zbl 1152.68415
Niemelä, Ilkka
1
2006
Applying visible strong equivalence in answer-set program transformations. Zbl 1357.68037
Janhunen, Tomi; Niemelä, Ilkka
1
2012
A scheme for weakened negative introspection in autoepistemic reasoning. Zbl 0793.68145
Janhunen, Tomi; Niemelä, Ilkka
1
1993
Conflict-driven XOR-clause learning. Zbl 1273.68322
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
1
2012
Partitioning search spaces of a randomized search. Zbl 1230.68180
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
1
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
Incorporating learning in grid-based randomized SAT solving. Zbl 1169.68603
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
1
2008
Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Zbl 1129.68002
Dahl, Verónica (ed.); Niemelä, Ilkka (ed.)
1
2007
Solving parity games by a reduction to SAT. Zbl 1279.68211
Heljanko, Keijo; Keinänen, Misa; Lange, Martin; Niemelä, Ilkka
3
2012
SMT-based induction methods for timed systems. Zbl 1374.68293
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
2
2012
Applying visible strong equivalence in answer-set program transformations. Zbl 1357.68037
Janhunen, Tomi; Niemelä, Ilkka
1
2012
Conflict-driven XOR-clause learning. Zbl 1273.68322
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
1
2012
Compact translations of non-disjunctive answer set programs to propositional clauses. Zbl 1326.68058
Janhunen, Tomi; Niemelä, Ilkka
10
2011
Partitioning search spaces of a randomized search. Zbl 1230.68180
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
1
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
Partitioning SAT instances for distributed solving. Zbl 1306.68146
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
2
2010
Extending clause learning DPLL with parity reasoning. Zbl 1211.68385
Laitinen, Tero; Junttila, Tommi; Niemelä, Ilkka
2
2010
Computing stable models via reductions to difference logic. Zbl 1258.68030
Janhunen, Tomi; Niemelä, Ilkka; Sevalnev, Mark
5
2009
Incorporating clause learning in grid-based randomized SAT solving. Zbl 1190.68055
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
4
2009
A module-based framework for multi-language constraint modeling. Zbl 1258.68136
Järvisalo, Matti; Oikarinen, Emilia; Janhunen, Tomi; Niemelä, Ilkka
3
2009
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
12
2008
Stable models and difference logic. Zbl 1165.68338
Niemelä, Ilkka
7
2008
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. Zbl 1162.68655
Järvisalo, Matti; Niemelä, Ilkka
2
2008
Incorporating learning in grid-based randomized SAT solving. Zbl 1169.68603
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
1
2008
Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Zbl 1129.68002
Dahl, Verónica; Niemelä, Ilkka
1
2007
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
23
2006
Planning as satisfiability: parallel plans and algorithms for plan search. Zbl 1131.68099
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
11
2006
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
Answer set programming: A declarative approach to solving search problems. Zbl 1152.68415
Niemelä, Ilkka
1
2006
Unrestricted vs restricted cut in a tableau method for Boolean circuits. Zbl 1086.03048
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
3
2005
Parallel encodings of classical planning as satisfiability. Zbl 1111.68660
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
6
2004
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
GNT – a solver for disjunctive logic programs. Zbl 1122.68372
Janhunen, Tomi; Niemelä, Ilkka
3
2004
Bounded LTL model checking with stable models. Zbl 1079.68058
Heljanko, Keijo; Niemelä, Ilkka
10
2003
BMC via on-the-fly determinization. Zbl 1271.68138
Jussila, Toni; Heljanko, Keijo; Niemelä, Ilkka
3
2003
Extending and implementing the stable model semantics. Zbl 0995.68021
Simons, Patrik; Niemelä, Ilkka; Soininen, Timo
132
2002
Implementing ordered disjunction using answer set solvers for normal programs. Zbl 1013.68060
Brewka, Gerhard; Niemelä, Ilkka; Syrjänen, Tommi
3
2002
The Smodels system. Zbl 1010.68797
Syrjänen, Tommi; Niemelä, Ilkka
17
2001
Nonmonotonic reasoning: Towards efficient calculi and implementations. Zbl 0991.03036
Dix, Jürgen; Furbach, Ulrich; Niemelä, Ilkka
8
2001
On the equivalence of the static and disjunctive well-founded semantics and its computation. Zbl 0973.68132
Brass, S.; Dix, J.; Niemelä, I.; Przymusinski, T. C.
4
2001
Bounded ITL model checking with stable models. Zbl 1007.68515
Heljanko, Keijo; Niemelä, Ilkka
2
2001
Extending the Smodels system with cardinality and weight constraints. Zbl 0979.68015
Niemelä, Ilkka; Simons, Patrik
20
2000
Towards an efficient tableau method for Boolean circuit satisfiability checking. Zbl 0983.68176
Junttila, Tommi A.; Niemelä, Ilkka
2
2000
Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018
Niemelä, Ilkka
137
1999
Stable model semantics of weight constraint rules. Zbl 0952.68029
Niemelä, Ilkka; Simons, Patrik; Soininen, Timo
16
1999
A tableau calculus for minimal model reasoning. Zbl 1412.68247
Niemelä, Ilkka
7
1996
Hyper tableaux. Zbl 1427.03031
Baumgartner, Peter; Furbach, Ulrich; Niemelä, Ilkka
1
1996
A decision method for nonmonotonic reasoning based on autoepistemic reasoning. Zbl 0826.03007
Niemelä, Ilkka
2
1995
On the impact of stratification on the complexity of nonmonotonic reasoning. Zbl 0820.03013
Niemelä, Ilkka; Rintanen, Jussi
2
1994
Autoepistemic logic as a unified basis for nonmonotonic reasoning. Zbl 0840.03020
Niemelä, Ilkka
2
1993
A scheme for weakened negative introspection in autoepistemic reasoning. Zbl 0793.68145
Janhunen, Tomi; Niemelä, Ilkka
1
1993
On the decidability and complexity of autoepistemic reasoning. Zbl 0769.68111
Niemelä, Ilkka N. F.
3
1992
Towards automatic autoepistemic reasoning. Zbl 0789.68130
Niemelä, Ilkka
4
1991
Constructive tightly grounded autoepistemic reasoning. Zbl 0747.68087
Niemelä, Ilkka N. F.
3
1991
Decision procedure for autoepistemic logic. Zbl 0658.03009
Niemelä, Ilkka
5
1988
all top 5

Cited by 467 Authors

24 Schaub, Torsten H.
18 Eiter, Thomas
17 Gebser, Martin
15 Cabalar, Pedro
14 Leone, Nicola
14 Maratea, Marco
12 Lierler, Yuliya
11 Alviano, Mario
11 Dodaro, Carmine
11 Janhunen, Tomi
11 Ricca, Francesco
11 Woltran, Stefan
11 You, Jia-Huai
10 Erdem, Esra
10 Lifschitz, Vladimir
10 Niemelä, Ilkka N. F.
9 Faber, Wolfgang
9 Gelfond, Michael
9 Remmel, Jeffrey B.
9 Son, Tran Cao
9 Truszczyński, Mirosław
8 Fandinno, Jorge
8 Fink, Michael
8 Lin, Fangzhen
8 Pontelli, Enrico
7 Calimeri, Francesco
7 Lee, Joohyung
7 Marek, V. Wiktor
7 Shen, Yidong
6 Bogaerts, Bart
6 Denecker, Marc
6 Giunchiglia, Enrico
6 Kaminski, Roland
6 Kaufmann, Benjamin
6 Krennwallner, Thomas
6 Zhang, Yan
6 Zhou, Yi
5 Dix, Jurgen
5 Fichte, Johannes Klaus
5 Ianni, Giovambattista
5 Ostrowski, Max
5 Pérez, Gilberto
5 Perri, Simona
5 Redl, Christoph
5 Vidal, Concepción
5 Yuan, Li Yan
4 Aguado, Felicidad
4 Balduccini, Marcello
4 Baral, Chitta R.
4 Bonatti, Piero Andrea
4 Cadoli, Marco
4 Costantini, Stefania
4 Diéguez, Martín
4 Garcia, Laurent
4 Gottlob, Georg
4 Greco, Sergio
4 Järvisalo, Matti
4 Pfeifer, Gerald
4 Schüller, Peter
4 Szeider, Stefan
4 Wanko, Philipp
3 Amendola, Giovanni
3 Banbara, Mutsunori
3 Beyersdorff, Olaf
3 Cimatti, Alessandro
3 Formisano, Andrea
3 Heljanko, Keijo
3 Inoue, Katsumi
3 Lefèvre, Claire
3 Mancini, Toni
3 Momigliano, Alberto
3 Morak, Michael
3 Rintanen, Jussi
3 Sakama, Chiaki
3 Schellhorn, Sebastian
3 Stéphan, Igor
3 Tasharrofi, Shahab
3 Tompits, Hans
3 Tonetta, Stefano
3 Trubitsyna, Irina
3 Valverde, Agustín
3 Vollmer, Heribert
3 Wallner, Johannes Peter
3 Wang, Yisong
3 Zangari, Jessica
3 Zhang, Yuanlin
2 Asuncion, Vernon
2 Baumgartner, Peter
2 Béatrix, Christopher
2 Ben-Eliyahu-Zohary, Rachel
2 Benferhat, Salem
2 Bliem, Bernhard
2 Chen, Yin
2 Cozza, Susanna
2 de Cat, Broes
2 Dimopoulos, Yannis
2 Dvořák, Wolfgang
2 Erdoğan, Halit
2 Fariñas del Cerro, Luis
2 Ferraris, Paolo
...and 367 more Authors

Citations by Year