Ilkka Niemelä Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Partitioning Search Spaces of a Randomized Search. AI*IA 2009: 243-252
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä, Mark Sevalnev: Computing Stable Models via Reductions to Difference Logic. LPNMR 2009: 142-154
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä: A Module-Based Framework for Multi-language Constraint Modeling. LPNMR 2009: 155-168
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Integrating Answer Set Programming and Satisfiability Modulo Theories. LPNMR 2009: 3
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä: The LIME Interface Specification Language and Runtime Monitoring Tool. RV 2009: 93-100
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRolf Drechsler, Tommi A. Junttila, Ilkka Niemelä: Non-Clausal SAT and ATPG. Handbook of Satisfiability 2009: 655-693
2008
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Incorporating Learning in Grid-Based Randomized SAT Solving. AIMSA 2008: 247-261
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Strategies for Solving SAT in Grids by Randomized Search. AISC/MKM/Calculemus 2008: 125-140
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Justification-Based Non-Clausal Local Search for SAT. ECAI 2008: 535-539
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Answer Set Programming without Unstratified Negation. ICLP 2008: 88-92
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Justification-Based Local Search with Adaptive Noise Strategies. LPAR 2008: 31-46
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Stable models and difference logic. Ann. Math. Artif. Intell. 53(1-4): 313-329 (2008)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Ilkka Niemelä: The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. J. Algorithms 63(1-3): 90-113 (2008)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms. TPLP 8(2): 167-199 (2008)
2007
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVerónica Dahl, Ilkka Niemelä: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings Springer 2007
2006
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Answer Set Programming: A Declarative Approach to Solving Search Problems. JELIA 2006: 15-18
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: A Distribution Method for Solving SAT in Grids. SAT 2006: 430-435
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log. 7(1): 1-37 (2006)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJussi Rintanen, Keijo Heljanko, Ilkka Niemelä: Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170(12-13): 1031-1080 (2006)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms CoRR abs/cs/0608103: (2006)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarri Haanpää, Matti Järvisalo, Petteri Kaski, Ilkka Niemelä: Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques. JSAT 2(1-4): 27-46 (2006)
2005
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski: Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2005
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski: Prioritized Component Systems. AAAI 2005: 596-601
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens: 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski: 05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Unrestricted vs restricted cut in a tableau method for Boolean circuits. Ann. Math. Artif. Intell. 44(4): 373-399 (2005)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. STTT 7(2): 89-101 (2005)
2004
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Lifschitz, Ilkka Niemelä: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Springer 2004
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. AMAI 2004
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMisa Keinänen, Ilkka Niemelä: Solving Alternating Boolean Equation Systems in Answer Set Programming. INAP/WLP 2004: 134-148
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJussi Rintanen, Keijo Heljanko, Ilkka Niemelä: Parallel Encodings of Classical Planning as Satisfiability. JELIA 2004: 307-319
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä: GNT - A Solver for Disjunctive Logic Programs. LPNMR 2004: 331-335
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Tommi Syrjänen: Logic Programs with Ordered Disjunction. Computational Intelligence 20(2): 335-357 (2004)
2003
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski: Answer Set Optimization. IJCAI 2003: 867-872
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR cs.AI/0303009: (2003)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeijo Heljanko, Ilkka Niemelä: Bounded LTL Model Checking with Stable Models CoRR cs.LO/0305040: (2003)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone cardinality atoms CoRR cs.LO/0310063: (2003)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeijo Heljanko, Ilkka Niemelä: Bounded LTL model checking with stable models. TPLP 3(4-5): 519-550 (2003)
2002
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä, Tommi Syrjänen: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002: 444-455
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrik Simons, Ilkka Niemelä, Timo Soininen: Extending and implementing the stable model semantics. Artif. Intell. 138(1-2): 181-234 (2002)
2001
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeijo Heljanko, Ilkka Niemelä: Answer Set Programming and Bounded Model Checking. Answer Set Programming 2001
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen: Representing Configuration Knowledge With Weight Constraint Rules. Answer Set Programming 2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeijo Heljanko, Ilkka Niemelä: Bounded LTL Model Checking with Stable Models. LPNMR 2001: 200-212
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommi Syrjänen, Ilkka Niemelä: The Smodels System. LPNMR 2001: 434-438
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Ulrich Furbach, Ilkka Niemelä: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: On the equivalence of the static and disjunctive well-founded semantics and its computation. Theor. Comput. Sci. 258(1-2): 523-553 (2001)
2000
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommi A. Junttila, Ilkka Niemelä: Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. Computational Logic 2000: 553-567
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Patrik Simons, Tommi Syrjänen: Smodels: A System for Answer Set Programming CoRR cs.AI/0003033: (2000)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarit Hietalahti, Fabio Massacci, Ilkka Niemelä: DES: a Challenge Problem for Nonmonotonic Reasoning Systems CoRR cs.AI/0003039: (2000)
1999
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Soininen, Esther Gelle, Ilkka Niemelä: A Fixpoint Definition of Dynamic Constraint Satisfaction. CP 1999: 419-433
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Patrik Simons, Timo Soininen: Stable Model Semantics of Weight Constraint Rules. LPNMR 1999: 317-331
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimo Soininen, Ilkka Niemelä: Developing a Declarative Rule Language for Applications in Product Configuration. PADL 1999: 305-319
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Ann. Math. Artif. Intell. 25(3-4): 241-273 (1999)
1998
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. KR 1998: 74-85
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Ilkka Niemelä: Report on the Seventh International Workshop on Nonmonotonic Reasoning. AI Magazine 19(4): 139 (1998)
1997
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Jürgen Dix, Ilkka Niemelä: Dislop: Towards a Disjunctive Logic Programming System. LPNMR 1997: 342-353
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Patrik Simons: Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. LPNMR 1997: 421-430
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Jürgen Dix, Ilkka Niemelä: DisLoP: A Research Project on Disjunctive Logic Programming. AI Commun. 10(3-4): 151-165 (1997)
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Implementing Circumscription Using a Tableau Method. ECAI 1996: 80-84
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Baumgartner, Ulrich Furbach, Ilkka Niemelä: Hyper Tableaux. JELIA 1996: 1-17
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Patrik Simons: Efficient Implementation of the Well-founded and Stable Model Semantics. JICSLP 1996: 289-303
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP 1996: 546
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: A Tableau Calculus for Minimal Model Reasoning. TABLEAUX 1996: 278-294
1995
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Towards Efficient Default Reasoning. IJCAI 1995: 312-318
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning. J. Autom. Reasoning 14(1): 3-42 (1995)
1994
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. KR 1994: 473-484
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Jussi Rintanen: On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics 4(2): (1994)
1993
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomi Janhunen, Ilkka Niemelä: A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. Kurt Gödel Colloquium 1993: 211-222
1992
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: A Unifying Framework for Nonmonotonic Reasoning. ECAI 1992: 334-338
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Jussi Rintanen: On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. ECAI Workshop on Knowledge Representation and Reasoning 1992: 275-295
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä, Jussi Rintanen: On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. KR 1992: 627-638
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: On the decidability and complexity of autoepistemic reasoning. Fundam. Inform. 17(1-2): 117-155 (1992)
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Constructive Tightly Grounded Autoepistemic Reasoning. IJCAI 1991: 399-405
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Towards Automatic Autoepistemic Reasoning. JELIA 1990: 428-443
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Decision Procedure for Autoepistemic Logic. CADE 1988: 675-684
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. CSL 1988: 226-239
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlkka Niemelä: Autoepistemic Predicate Logic. ECAI 1988: 595-600

Coauthor Index

1Chandrabose Aravindan [16] [20] [22]
2Peter Baumgartner [16] [18]
3Stefan Brass [24] [33]
4Gerhard Brewka [23] [40] [46] [47] [56] [57] [58] [59]
5Verónica Dahl [66]
6Jürgen Dix [16] [20] [22] [24] [33] [34]
7Rolf Drechsler [75]
8Ulrich Furbach [16] [18] [34]
9Esther Gelle [28]
10Harri Haanpää [60]
11Keijo Heljanko [36] [38] [41] [42] [44] [50] [54] [62] [76]
12Maarit Hietalahti [29]
13Antti Eero Johannes Hyvärinen [64] [73] [74] [80]
14Tomi Janhunen [10] [31] [45] [48] [63] [78] [79]
15Matti Järvisalo [52] [55] [60] [68] [70] [72] [78]
16Tommi A. Junttila [32] [52] [55] [64] [70] [72] [73] [74] [75] [80]
17Toni Jussila [42] [54]
18Kari Kähkönen [76]
19Petteri Kaski [60]
20Misa Keinänen [51]
21Jani Lampinen [76]
22Vladimir Lifschitz [53]
23Victor W. Marek (V. Wiktor Marek) [43] [49] [61] [67]
24Fabio Massacci [29]
25Gerd Neugebauer [16]
26Emilia Oikarinen [78]
27Teodor C. Przymusinski [24] [33]
28Jussi Rintanen [7] [8] [11] [50] [62]
29Dorothea Schäfer [16]
30Torsten Schaub [56] [57] [59]
31Dietmar Seipel [45] [63]
32Mark Sevalnev [79]
33Patrik Simons [17] [21] [27] [30] [31] [39] [45] [63]
34Timo Soininen [26] [27] [28] [37] [39]
35Frieder Stolzenburg [16]
36Reijo Sulonen [37]
37Tommi Syrjänen [30] [35] [40] [47]
38Juha Tiihonen [37]
39Miroslaw Truszczynski [43] [46] [49] [56] [57] [58] [59] [61] [67]
40Joost Vennekens [57]
41Jia-Huai You [31] [45] [63]

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)