| * | 2009 |
|---|
| 78 | EE | Tomi Janhunen,
Ilkka Niemelä,
Mark Sevalnev:
Computing Stable Models via Reductions to Difference Logic.
LPNMR 2009: 142-154 |
| 77 | EE | Matti Järvisalo,
Emilia Oikarinen,
Tomi Janhunen,
Ilkka Niemelä:
A Module-Based Framework for Multi-language Constraint Modeling.
LPNMR 2009: 155-168 |
| 76 | EE | Ilkka Niemelä:
Integrating Answer Set Programming and Satisfiability Modulo Theories.
LPNMR 2009: 3 |
| 75 | EE | Kari Kähkönen,
Jani Lampinen,
Keijo Heljanko,
Ilkka Niemelä:
The LIME Interface Specification Language and Runtime Monitoring Tool.
RV 2009: 93-100 |
| 74 | EE | Rolf Drechsler,
Tommi A. Junttila,
Ilkka Niemelä:
Non-Clausal SAT and ATPG.
Handbook of Satisfiability 2009: 655-693 |
| 2008 |
|---|
| 73 | EE | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Incorporating Learning in Grid-Based Randomized SAT Solving.
AIMSA 2008: 247-261 |
| 72 | EE | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
Strategies for Solving SAT in Grids by Randomized Search.
AISC/MKM/Calculemus 2008: 125-140 |
| 71 | EE | Matti Järvisalo,
Tommi A. Junttila,
Ilkka Niemelä:
Justification-Based Non-Clausal Local Search for SAT.
ECAI 2008: 535-539 |
| 70 | EE | Ilkka Niemelä:
Answer Set Programming without Unstratified Negation.
ICLP 2008: 88-92 |
| 69 | EE | Matti Järvisalo,
Tommi A. Junttila,
Ilkka Niemelä:
Justification-Based Local Search with Adaptive Noise Strategies.
LPAR 2008: 31-46 |
| 68 | EE | Ilkka Niemelä:
Stable models and difference logic.
Ann. Math. Artif. Intell. 53(1-4): 313-329 (2008) |
| 67 | EE | Matti 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) |
| 66 | EE | Victor 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 |
|---|
| 64 | EE | Ilkka Niemelä:
Answer Set Programming: A Declarative Approach to Solving Search Problems.
JELIA 2006: 15-18 |
| 63 | EE | Antti Eero Johannes Hyvärinen,
Tommi A. Junttila,
Ilkka Niemelä:
A Distribution Method for Solving SAT in Grids.
SAT 2006: 430-435 |
| 62 | EE | Tomi 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) |
| 61 | EE | Jussi Rintanen,
Keijo Heljanko,
Ilkka Niemelä:
Planning as satisfiability: parallel plans and algorithms for plan search.
Artif. Intell. 170(12-13): 1031-1080 (2006) |
| 60 | EE | Victor W. Marek,
Ilkka Niemelä,
Miroslaw Truszczynski:
Logic programs with monotone abstract constraint atoms
CoRR abs/cs/0608103: (2006) |
| 59 | EE | Harri 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 |
| 56 | EE | Gerhard 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 |
| 55 | EE | Gerhard 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 |
| 54 | EE | Matti 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) |
| 53 | EE | Toni 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 |
| 51 | EE | Matti Järvisalo,
Tommi A. Junttila,
Ilkka Niemelä:
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits.
AMAI 2004 |
| 50 | EE | Misa Keinänen,
Ilkka Niemelä:
Solving Alternating Boolean Equation Systems in Answer Set Programming.
INAP/WLP 2004: 134-148 |
| 49 | EE | Jussi Rintanen,
Keijo Heljanko,
Ilkka Niemelä:
Parallel Encodings of Classical Planning as Satisfiability.
JELIA 2004: 307-319 |
| 48 | EE | V. Wiktor Marek,
Ilkka Niemelä,
Miroslaw Truszczynski:
Logic Programs With Monotone Cardinality Atoms.
LPNMR 2004: 154-166 |
| 47 | EE | Tomi 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 |
| 45 | EE | Tomi Janhunen,
Ilkka Niemelä,
Dietmar Seipel,
Patrik Simons,
Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics
CoRR cs.AI/0303009: (2003) |
| 44 | EE | Keijo Heljanko,
Ilkka Niemelä:
Bounded LTL Model Checking with Stable Models
CoRR cs.LO/0305040: (2003) |
| 43 | EE | V. Wiktor Marek,
Ilkka Niemelä,
Miroslaw Truszczynski:
Logic programs with monotone cardinality atoms
CoRR cs.LO/0310063: (2003) |
| 42 | EE | Toni 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 |
|---|
| 40 | EE | Gerhard Brewka,
Ilkka Niemelä,
Tommi Syrjänen:
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.
JELIA 2002: 444-455 |
| 39 | EE | Patrik Simons,
Ilkka Niemelä,
Timo Soininen:
Extending and implementing the stable model semantics.
Artif. Intell. 138(1-2): 181-234 (2002) |
| 2001 |
|---|
| 38 | EE | Keijo Heljanko,
Ilkka Niemelä:
Answer Set Programming and Bounded Model Checking.
Answer Set Programming 2001 |
| 37 | EE | Timo Soininen,
Ilkka Niemelä,
Juha Tiihonen,
Reijo Sulonen:
Representing Configuration Knowledge With Weight Constraint Rules.
Answer Set Programming 2001 |
| 36 | EE | Keijo Heljanko,
Ilkka Niemelä:
Bounded LTL Model Checking with Stable Models.
LPNMR 2001: 200-212 |
| 35 | EE | Tommi 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 |
| 33 | EE | Stefan 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 |
|---|
| 32 | EE | Tommi 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 |
| 30 | EE | Ilkka Niemelä,
Patrik Simons,
Tommi Syrjänen:
Smodels: A System for Answer Set Programming
CoRR cs.AI/0003033: (2000) |
| 29 | EE | Maarit 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 |
| 27 | EE | Ilkka Niemelä,
Patrik Simons,
Timo Soininen:
Stable Model Semantics of Weight Constraint Rules.
LPNMR 1999: 317-331 |
| 26 | EE | Timo 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 |
| 18 | EE | Peter 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 |
|---|
| 4 | EE | Ilkka Niemelä:
Towards Automatic Autoepistemic Reasoning.
JELIA 1990: 428-443 |
| 1988 |
|---|
| 3 | EE | Ilkka Niemelä:
Decision Procedure for Autoepistemic Logic.
CADE 1988: 675-684 |
| 2 | EE | Ilkka 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 |
