Ilkka Niemelä
Affiliations:- Aalto University, Finland
According to our database1,
Ilkka Niemelä
authored at least 105 papers
between 1988 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
5
10
1
1
1
1
1
1
2
1
3
2
1
4
3
2
1
1
1
1
2
1
1
1
1
1
1
1
3
7
8
5
4
5
2
3
4
1
1
3
2
3
1
2
5
1
1
1
1
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on tcs.hut.fi
On csauthors.net:
Bibliography
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
2020
ACM Trans. Comput. Log., 2020
2016
2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Introducing Real Variables and Integer Objective Functions to Answer Set Programming.
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013
2012
Reliab. Eng. Syst. Saf., 2012
Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version)
CoRR, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Correct Reasoning, 2012
2011
CoRR, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems.
Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Proceedings of the Model Checking Software, 2010
Proceedings of the Semantic Web Rules - International Symposium, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the ECAI 2010, 2010
2009
J. Satisf. Boolean Model. Comput., 2009
Proceedings of the Runtime Verification, 9th International Workshop, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
Proceedings of the Handbook of Knowledge Representation, 2008
Theory Pract. Log. Program., 2008
The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study.
J. Algorithms, 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008
Proceedings of the Artificial Intelligence: Methodology, 2008
2006
ACM Trans. Comput. Log., 2006
J. Satisf. Boolean Model. Comput., 2006
Artif. Intell., 2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
2005
Ann. Math. Artif. Intell., 2005
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Proceedings of the Nonmonotonic Reasoning, 2005
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Proceedings of the Nonmonotonic Reasoning, 2005
2004
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
2003
2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
On the equivalence of the static and disjunctive well-founded semantics and its computation.
Theor. Comput. Sci., 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Answer Set Programming, 2001
Proceedings of the Answer Set Programming, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Unfolding Partiality and Disjunctions in Stable Model Semantics.
Proceedings of the KR 2000, 2000
Proceedings of the Computational Logic, 2000
1999
Ann. Math. Artif. Intell., 1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999
Proceedings of the Principles and Practice of Constraint Programming, 1999
1998
AI Mag., 1998
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
1997
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
Proceedings of the Logic Programming, 1996
Proceedings of the Logic Programming, 1996
Implementing Circumscription Using a Tableau Method.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
1995
J. Autom. Reason., 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
J. Appl. Non Class. Logics, 1994
A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
1993
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993
1992
On the decidability and complexity of autoepistemic reasoning.
Fundam. Informaticae, 1992
A Unifying Framework for Nonmonotonic Reasoning.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
1990
Proceedings of the Logics in AI, European Workshop, 1990
1988
Autoepistemic Predicate Logic.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988
Proceedings of the CSL '88, 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988