| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
SMT-based Induction Methods for Timed Systems  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Keijo Heljanko, Misa Keinänen, Martin Lange, Ilkka Niemelä |
Solving parity games by a reduction to SAT. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Partitioning Search Spaces of a Randomized Search. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mai Nguyen, Tomi Janhunen, Ilkka Niemelä |
Translating Answer-Set Programs into Bit-Vector Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Origins of Answer-Set Programming - Some Background And Two Personal Accounts |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä |
Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, Jia-Huai You |
Strong Equivalence of Logic Programs with Abstract Constraint Atoms. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits |
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä |
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
Equivalence Class Based Parity Reasoning with DPLL(XOR). |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
Extending Clause Learning DPLL with Parity Reasoning. |
ECAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits |
On Testing Answer-Set Programs. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Partitioning SAT Instances for Distributed Solving. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä |
Experimental Comparison of Concolic and Random Testing for Java Card Applets. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä (eds.) |
Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Luukkala, Ilkka Niemelä |
Enhancing a Smart Space with Answer Set Programming. |
RuleML |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Incorporating Clause Learning in Grid-Based Randomized SAT Solving. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rolf Drechsler, Tommi A. Junttila, Ilkka Niemelä |
Non-Clausal SAT and ATPG. |
Handbook of Satisfiability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä |
The LIME Interface Specification Language and Runtime Monitoring Tool. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Partitioning Search Spaces of a Randomized Search. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Integrating Answer Set Programming and Satisfiability Modulo Theories. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä |
A Module-Based Framework for Multi-language Constraint Modeling. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev |
Computing Stable Models via Reductions to Difference Logic. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Ilkka Niemelä |
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
Preferences and Nonmonotonic Reasoning. |
AI Magazine |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Stable models and difference logic. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27 |
| 1 | Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic programs with monotone abstract constraint atoms. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Justification-Based Non-Clausal Local Search for SAT. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Justification-Based Local Search with Adaptive Noise Strategies. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Answer Set Programming without Unstratified Negation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Stable Models and Difference Logic. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Strategies for Solving SAT in Grids by Randomized Search. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Incorporating Learning in Grid-Based Randomized SAT Solving. |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Dahl, Ilkka Niemelä (eds.) |
Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings |
ICLP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Harri Haanpää, Matti Järvisalo, Petteri Kaski, Ilkka Niemelä |
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques. |
JSAT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic programs with monotone abstract constraint atoms |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä |
Planning as satisfiability: parallel plans and algorithms for plan search. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding partiality and disjunctions in stable model semantics. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models |
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
A Distribution Method for Solving SAT in Grids. |
SAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Answer Set Programming: A Declarative Approach to Solving Search Problems. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Unrestricted vs restricted cut in a tableau method for Boolean circuits. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
cut rule, satisfiability, proof complexity, Boolean circuits, DPLL |
| 1 | Toni Jussila, Keijo Heljanko, Ilkka Niemelä |
BMC via on-the-fly determinization. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Verification, Labeled transition system, Bounded model checking |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.) |
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
Prioritized Component Systems. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen |
Logic Programs with Ordered Disjunction. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä |
Parallel Encodings of Classical Planning as Satisfiability. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. |
ISAIM |
2004 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic Programs With Monotone Cardinality Atoms. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä |
GNT - A Solver for Disjunctive Logic Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Lifschitz, Ilkka Niemelä (eds.) |
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings |
LPNMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä |
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. |
AMAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Misa Keinänen, Ilkka Niemelä |
Solving Alternating Boolean Equation Systems in Answer Set Programming. |
INAP/WLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Jussila, Keijo Heljanko, Ilkka Niemelä |
BMC via on-the-fly determinization. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijo Heljanko, Ilkka Niemelä |
Bounded LTL Model Checking with Stable Models |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic programs with monotone cardinality atoms |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Keijo Heljanko, Ilkka Niemelä |
Bounded LTL model checking with stable models. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
Answer Set Optimization. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Patrik Simons, Ilkka Niemelä, Timo Soininen |
Extending and implementing the stable model semantics. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Tommi Syrjänen |
Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach, Ilkka Niemelä |
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Tommi Syrjänen, Ilkka Niemelä |
The Smodels System. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijo Heljanko, Ilkka Niemelä |
Bounded LTL Model Checking with Stable Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijo Heljanko, Ilkka Niemelä |
Answer Set Programming and Bounded Model Checking. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen |
Representing Configuration Knowledge With Weight Constraint Rules. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maarit Hietalahti, Fabio Massacci, Ilkka Niemelä |
DES: a Challenge Problem for Nonmonotonic Reasoning Systems |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä, Patrik Simons, Tommi Syrjänen |
Smodels: A System for Answer Set Programming |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä, Patrik Simons, Jia-Huai You |
Unfolding Partiality and Disjunctions in Stable Model Semantics. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Tommi A. Junttila, Ilkka Niemelä |
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Soininen, Ilkka Niemelä |
Developing a Declarative Rule Language for Applications in Product Configuration. |
PADL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä, Patrik Simons, Timo Soininen |
Stable Model Semantics of Weight Constraint Rules. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Soininen, Esther Gelle, Ilkka Niemelä |
A Fixpoint Definition of Dynamic Constraint Satisfaction. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä |
Report on the Seventh International Workshop on Nonmonotonic Reasoning. |
AI Magazine |
1998 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä |
DisLoP: A Research Project on Disjunctive Logic Programming. |
AI Commun. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä, Patrik Simons |
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä |
Dislop: Towards a Disjunctive Logic Programming System. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Implementing Circumscription Using a Tableau Method. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä, Patrik Simons |
Efficient Implementation of the Well-founded and Stable Model Semantics. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä |
Hyper Tableaux. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
A Tableau Calculus for Minimal Model Reasoning. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning. |
J. Autom. Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Towards Efficient Default Reasoning. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä, Jussi Rintanen |
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. |
Journal of Applied Non-Classical Logics |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä |
A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Tomi Janhunen, Ilkka Niemelä |
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
On the decidability and complexity of autoepistemic reasoning. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä |
A Unifying Framework for Nonmonotonic Reasoning. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä, Jussi Rintanen |
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä, Jussi Rintanen |
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Constructive Tightly Grounded Autoepistemic Reasoning. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Towards Automatic Autoepistemic Reasoning. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilkka Niemelä |
Decision Procedure for Autoepistemic Logic. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
analytic tableaux, theorem proving, Nonmonotonic logic |
| 1 | Ilkka Niemelä |
Autoepistemic Predicate Logic. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")