dblp.uni-trier.dewww.uni-trier.de

Ilkka Niemelä Vis

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

*2009
78EETomi Janhunen, Ilkka Niemelä, Mark Sevalnev: Computing Stable Models via Reductions to Difference Logic. LPNMR 2009: 142-154
77EEMatti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä: A Module-Based Framework for Multi-language Constraint Modeling. LPNMR 2009: 155-168
76EEIlkka Niemelä: Integrating Answer Set Programming and Satisfiability Modulo Theories. LPNMR 2009: 3
75EEKari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä: The LIME Interface Specification Language and Runtime Monitoring Tool. RV 2009: 93-100
74EERolf Drechsler, Tommi A. Junttila, Ilkka Niemelä: Non-Clausal SAT and ATPG. Handbook of Satisfiability 2009: 655-693
2008
73EEAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Incorporating Learning in Grid-Based Randomized SAT Solving. AIMSA 2008: 247-261
72EEAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: Strategies for Solving SAT in Grids by Randomized Search. AISC/MKM/Calculemus 2008: 125-140
71EEMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Justification-Based Non-Clausal Local Search for SAT. ECAI 2008: 535-539
70EEIlkka Niemelä: Answer Set Programming without Unstratified Negation. ICLP 2008: 88-92
69EEMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Justification-Based Local Search with Adaptive Noise Strategies. LPAR 2008: 31-46
68EEIlkka Niemelä: Stable models and difference logic. Ann. Math. Artif. Intell. 53(1-4): 313-329 (2008)
67EEMatti 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)
66EEVictor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms. TPLP 8(2): 167-199 (2008)
2007
65 Verónica Dahl, Ilkka Niemelä: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings Springer 2007
2006
64EEIlkka Niemelä: Answer Set Programming: A Declarative Approach to Solving Search Problems. JELIA 2006: 15-18
63EEAntti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä: A Distribution Method for Solving SAT in Grids. SAT 2006: 430-435
62EETomi 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)
61EEJussi Rintanen, Keijo Heljanko, Ilkka Niemelä: Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170(12-13): 1031-1080 (2006)
60EEVictor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms CoRR abs/cs/0608103: (2006)
59EEHarri 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
58 Gerhard 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
57 Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski: Prioritized Component Systems. AAAI 2005: 596-601
56EEGerhard 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
55EEGerhard 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
54EEMatti 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)
53EEToni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. STTT 7(2): 89-101 (2005)
2004
52 Vladimir Lifschitz, Ilkka Niemelä: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Springer 2004
51EEMatti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. AMAI 2004
50EEMisa Keinänen, Ilkka Niemelä: Solving Alternating Boolean Equation Systems in Answer Set Programming. INAP/WLP 2004: 134-148
49EEJussi Rintanen, Keijo Heljanko, Ilkka Niemelä: Parallel Encodings of Classical Planning as Satisfiability. JELIA 2004: 307-319
48EEV. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166
47EETomi Janhunen, Ilkka Niemelä: GNT - A Solver for Disjunctive Logic Programs. LPNMR 2004: 331-335
2003
46 Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski: Answer Set Optimization. IJCAI 2003: 867-872
45EETomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics CoRR cs.AI/0303009: (2003)
44EEKeijo Heljanko, Ilkka Niemelä: Bounded LTL Model Checking with Stable Models CoRR cs.LO/0305040: (2003)
43EEV. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone cardinality atoms CoRR cs.LO/0310063: (2003)
42EEToni Jussila, Keijo Heljanko, Ilkka Niemelä: BMC via on-the-fly determinization. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
41 Keijo Heljanko, Ilkka Niemelä: Bounded LTL model checking with stable models. TPLP 3(4-5): 519-550 (2003)
2002
40EEGerhard Brewka, Ilkka Niemelä, Tommi Syrjänen: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. JELIA 2002: 444-455
39EEPatrik Simons, Ilkka Niemelä, Timo Soininen: Extending and implementing the stable model semantics. Artif. Intell. 138(1-2): 181-234 (2002)
2001
38EEKeijo Heljanko, Ilkka Niemelä: Answer Set Programming and Bounded Model Checking. Answer Set Programming 2001
37EETimo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen: Representing Configuration Knowledge With Weight Constraint Rules. Answer Set Programming 2001
36EEKeijo Heljanko, Ilkka Niemelä: Bounded LTL Model Checking with Stable Models. LPNMR 2001: 200-212
35EETommi Syrjänen, Ilkka Niemelä: The Smodels System. LPNMR 2001: 434-438
34 Jürgen Dix, Ulrich Furbach, Ilkka Niemelä: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354
33EEStefan 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
32EETommi A. Junttila, Ilkka Niemelä: Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. Computational Logic 2000: 553-567
31 Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You: Unfolding Partiality and Disjunctions in Stable Model Semantics. KR 2000: 411-422
30EEIlkka Niemelä, Patrik Simons, Tommi Syrjänen: Smodels: A System for Answer Set Programming CoRR cs.AI/0003033: (2000)
29EEMaarit Hietalahti, Fabio Massacci, Ilkka Niemelä: DES: a Challenge Problem for Nonmonotonic Reasoning Systems CoRR cs.AI/0003039: (2000)
1999
28 Timo Soininen, Esther Gelle, Ilkka Niemelä: A Fixpoint Definition of Dynamic Constraint Satisfaction. CP 1999: 419-433
27EEIlkka Niemelä, Patrik Simons, Timo Soininen: Stable Model Semantics of Weight Constraint Rules. LPNMR 1999: 317-331
26EETimo Soininen, Ilkka Niemelä: Developing a Declarative Rule Language for Applications in Product Configuration. PADL 1999: 305-319
25 Ilkka Niemelä: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Ann. Math. Artif. Intell. 25(3-4): 241-273 (1999)
1998
24 Stefan 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
23 Gerhard Brewka, Ilkka Niemelä: Report on the Seventh International Workshop on Nonmonotonic Reasoning. AI Magazine 19(4): 139 (1998)
1997
22 Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä: Dislop: Towards a Disjunctive Logic Programming System. LPNMR 1997: 342-353
21 Ilkka Niemelä, Patrik Simons: Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. LPNMR 1997: 421-430
20 Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä: DisLoP: A Research Project on Disjunctive Logic Programming. AI Commun. 10(3-4): 151-165 (1997)
1996
19 Ilkka Niemelä: Implementing Circumscription Using a Tableau Method. ECAI 1996: 80-84
18EEPeter Baumgartner, Ulrich Furbach, Ilkka Niemelä: Hyper Tableaux. JELIA 1996: 1-17
17 Ilkka Niemelä, Patrik Simons: Efficient Implementation of the Well-founded and Stable Model Semantics. JICSLP 1996: 289-303
16 Chandrabose 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
15 Ilkka Niemelä: A Tableau Calculus for Minimal Model Reasoning. TABLEAUX 1996: 278-294
1995
14 Ilkka Niemelä: Towards Efficient Default Reasoning. IJCAI 1995: 312-318
13 Ilkka Niemelä: A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning. J. Autom. Reasoning 14(1): 3-42 (1995)
1994
12 Ilkka Niemelä: A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. KR 1994: 473-484
11 Ilkka Niemelä, Jussi Rintanen: On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics 4(2): (1994)
1993
10 Tomi Janhunen, Ilkka Niemelä: A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. Kurt Gödel Colloquium 1993: 211-222
1992
9 Ilkka Niemelä: A Unifying Framework for Nonmonotonic Reasoning. ECAI 1992: 334-338
8 Ilkka Niemelä, Jussi Rintanen: On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. ECAI Workshop on Knowledge Representation and Reasoning 1992: 275-295
7 Ilkka Niemelä, Jussi Rintanen: On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. KR 1992: 627-638
6 Ilkka Niemelä: On the decidability and complexity of autoepistemic reasoning. Fundam. Inform. 17(1-2): 117-155 (1992)
1991
5 Ilkka Niemelä: Constructive Tightly Grounded Autoepistemic Reasoning. IJCAI 1991: 399-405
1990
4EEIlkka Niemelä: Towards Automatic Autoepistemic Reasoning. JELIA 1990: 428-443
1988
3EEIlkka Niemelä: Decision Procedure for Autoepistemic Logic. CADE 1988: 675-684
2EEIlkka Niemelä: On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. CSL 1988: 226-239
1 Ilkka 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] [55] [56] [57] [58]
5Verónica Dahl [65]
6Jürgen Dix [16] [20] [22] [24] [33] [34]
7Rolf Drechsler [74]
8Ulrich Furbach [16] [18] [34]
9Esther Gelle [28]
10Harri Haanpää [59]
11Keijo Heljanko [36] [38] [41] [42] [44] [49] [53] [61] [75]
12Maarit Hietalahti [29]
13Antti Eero Johannes Hyvärinen [63] [72] [73]
14Tomi Janhunen [10] [31] [45] [47] [62] [77] [78]
15Matti Järvisalo [51] [54] [59] [67] [69] [71] [77]
16Tommi A. Junttila [32] [51] [54] [63] [69] [71] [72] [73] [74]
17Toni Jussila [42] [53]
18Kari Kähkönen [75]
19Petteri Kaski [59]
20Misa Keinänen [50]
21Jani Lampinen [75]
22Vladimir Lifschitz [52]
23Victor W. Marek (V. Wiktor Marek) [43] [48] [60] [66]
24Fabio Massacci [29]
25Gerd Neugebauer [16]
26Emilia Oikarinen [77]
27Teodor C. Przymusinski [24] [33]
28Jussi Rintanen [7] [8] [11] [49] [61]
29Dorothea Schäfer [16]
30Torsten Schaub [55] [56] [58]
31Dietmar Seipel [45] [62]
32Mark Sevalnev [78]
33Patrik Simons [17] [21] [27] [30] [31] [39] [45] [62]
34Timo Soininen [26] [27] [28] [37] [39]
35Frieder Stolzenburg [16]
36Reijo Sulonen [37]
37Tommi Syrjänen [30] [35] [40]
38Juha Tiihonen [37]
39Miroslaw Truszczynski [43] [46] [48] [55] [56] [57] [58] [60] [66]
40Joost Vennekens [56]
41Jia-Huai You [31] [45] [62]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)