Publications by Ilkka Niemelä

2013

• 184.
• Bounded Model Checking of an MITL Fragment for Timed Automata (2013)

• AUTHORS:
• Kindermann Roland,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• 13th International Conference on Application of Concurrency to System Design
• PAGES:
• 216-225

• 183.
• Introducing Real Variables and Integer Objective Functions to Answer Set Programming (2013)

• AUTHORS:
• Liu Guohua,
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Kiel Declarative Programming Days 2013
• SERIES:
• Technical Report
• VOLUME:
• 1306
• PAGES:
• 93-107

• 182.
• Simulating Parity Reasoning (2013)

• AUTHORS:
• Laitinen Tero,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Logic Programming and Automated Reasoning, 19th International Conference, LPAR 2013, Stellenbosch, South Africa, December 15-19, 2013, Proceedings
• SERIES:
• Advanced Research in Computing and Software Science, LNCS ARCoSS

• 181.
• Translating Answer-Set Programs into Bit-Vector Logic (2013)

• AUTHORS:
• Nguyen Mai,
• Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Applications of Declarative Programming and Knowledge Management
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 7773
• PAGES:
• 95-113

2012

• 180.
• Answer Set Programming via Mixed Integer Programming (2012)

• AUTHORS:
• Liu Guohua,
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning
• PAGES:
• 32-42

• 179.
• Applying Visible Strong Equivalence in Answer-Set Program Transformations (2012)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 7265
• PAGES:
• 363-379

• 178.
• Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata (2012)

• AUTHORS:
• Kindermann Roland,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Formal Techniques for Distributed Systems
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 7273
• PAGES:
• 84-100

• 177.
• Classifying and Propagating Parity Constraints (2012)

• AUTHORS:
• Laitinen Tero,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Principles and Practice of Constraint Programming - CP 2012
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 7514
• PAGES:
• 357-372

• 176.
• Conflict-Driven XOR-Clause Learning (2012)

• AUTHORS:
• Laitinen Tero,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Theory and Applications of Satisfiability Testing - SAT 2012
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 7317
• PAGES:
• 383-396

• 175.
• Extending Clause Learning SAT Solvers with Complete Parity Reasoning (2012)

• AUTHORS:
• Laitinen Tero,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence

• 174.
• Model Checking of Safety-Critical Software in the Nuclear Engineering Domain (2012)

• AUTHORS:
• Lahtinen Jussi,
• Valkonen Janne,
• Björkman Kim,
• Frits Juho,
• Niemelä Ilkka,
• Heljanko Keijo

• JOURNAL:
• Reliability Engineering & System Safety
• VOLUME:
• 105
• PAGES:
• 104-113

• 173.
• SMT-Based Induction Methods for Timed Systems (2012)

• AUTHORS:
• Kindermann Roland,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Formal Modeling and Analysis of Timed Systems
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 7595
• PAGES:
• 171-187

• 172.
• Solving Parity Games by a Reduction to SAT (2012)

• AUTHORS:
• Heljanko Keijo,
• Keinänen Misa,
• Lange Martin,
• Niemelä Ilkka

• JOURNAL:
• Journal of Computer and System Sciences
• VOLUME:
• 78
• PAGES:
• 430-440

2011

• 171.
• Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems (2011)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 41st IEEE International Symposium on the Multiple-Valued Logic
• PAGES:
• 139-141

• 170.
• Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses (2011)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 6565
• PAGES:
• 111-130

• 169.
• Equivalence Class Based Parity Reasoning with DPLL(XOR) (2011)

• AUTHORS:
• Laitinen Tero,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• ICTAI 2011 - 23rd IEEE International Conference on Tools with Artificial Intelligence
• PAGES:
• 649-658

• 168.
• Grid-Based SAT Solving with Iterative Partitioning and Clause Learning (2011)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• CP 2011
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 6876
• PAGES:
• 385-399

• 167.
• LCT: An Open Source Concolic Testing Tool for Java Programs (2011)

• AUTHORS:
• Kähkönen Kari,
• Launiainen Tuomas,
• Saarikivi Olli,
• Kauttio Janne,
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation
• PAGES:
• 75-80

• 166.
• Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks (2011)

• AUTHORS:
• Kindermann Roland,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 11th International Conference on Application of Concurrency to System Design, ACSD 2011
• PAGES:
• 185-194

• 165.
• Origins of Answer-Set Programming -- Some Background and Two Personal Accounts (2011)

• AUTHORS:
• Marek Victor W.,
• Niemelä Ilkka,
• Truszczynski Miros\law

• BOOKTITLE:
• Nonmonotonic Reasoning: Essays Celebrating its 30th Anniversary
• PAGES:
• 233-258

• 164.
• Partitioning Search Spaces of a Randomized Search (2011)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• JOURNAL:
• Fundamenta Informaticae
• VOLUME:
• 107
• PAGES:
• 289-311

• 163.
• Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison (2011)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Oetsch Johannes,
• Puhrer Jorg,
• Tompits Hans

• BOOKTITLE:
• Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 6645
• PAGES:
• 242-247

• 162.
• Strong Equivalence of Logic Programs with Abstract Constraint Atoms (2011)

• AUTHORS:
• Liu Guohua,
• Goebel Randy,
• Janhunen Tomi,
• Niemelä Ilkka,
• You Jia-Huai

• BOOKTITLE:
• Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 6645
• PAGES:
• 161-173

• 161.
• Translating Answer-Set Programs into Bit-Vector Logic (2011)

• AUTHORS:
• Nguyen Mai,
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management
• PAGES:
• 105-116

2010

• 160.
• Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking (2010)

• AUTHORS:
• Lahtinen Jussi,
• Bjorkman Kim,
• Valkonen Janne,
• Frits Juho,
• Niemelä Ilkka

• INSTITUTION:
• VTT Technical Research Centre of Finland

• 159.
• Enhancing a Smart Space with Answer Set Programming (2010)

• AUTHORS:
• Luukkala Vesa,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 4th International Semantic Web Rule Symposium, RuleML~2010
• SERIES:
• Lecture Notes in Computer Science (LNCS)
• VOLUME:
• 6403
• PAGES:
• 89-103

• 158.
• Experimental Comparison of Concolic and Random Testing for Java Card Applets (2010)

• AUTHORS:
• Kähkönen Kari,
• Kindermann Roland,
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 16th International SPIN Workshop on Model Checking of Software~SPIN 2010
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 6349
• PAGES:
• 22-39

• 157.
• Extending Clause Learning DPLL with Parity Reasoning (2010)

• AUTHORS:
• Laitinen Tero,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 19th European Conference on Artificial Intelligence, ECAI~2010
• SERIES:
• Frontiers in Artificial Intelligence and Applications
• VOLUME:
• 215
• PAGES:
• 21-26

• 156.
• Logics in Artificial Intelligence, 12th European Conference, JELIA~2010, Helsinki, Finland, September 2010, Proceedings (2010)

• EDITORS:
• Janhunen, Tomi and Niemelä, Ilkka

• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 6341

• 155.
• Model Checking Methodology for Supporting Safety Critical Software Development and Verification (2010)

• AUTHORS:
• Lahtinen Jussi,
• Valkonen Janne,
• Bjorkman Kim,
• Frits Juho,
• Niemelä Ilkka

• BOOKTITLE:
• Reliability, Risk and Safety---Back to the Future
• PAGES:
• 2056-2063

• 154.
• Model Checking Methodology for Verification of Safety Logics (2010)

• AUTHORS:
• Valkonen Janne,
• Björkman Kim,
• Frits Juho,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010

• 153.
• On Testing Answer-Set Programs (2010)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Oetsch Johannes,
• Puhrer Jörg,
• Tompits Hans

• BOOKTITLE:
• Proceedings of the 19th European Conference on Artificial Intelligence, ECAI~2010
• SERIES:
• Frontiers in Artificial Intelligence and Applications
• VOLUME:
• 215
• PAGES:
• 951-956

• 152.
• Partitioning SAT Instances for Distributed Solving (2010)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR~2010
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 6397
• PAGES:
• 372-386

• 151.
• Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella (2010)

• AUTHORS:
• Valkonen Janne,
• Niemelä Ilkka

• JOURNAL:
• ATS Ydintekniikka
• VOLUME:
• 39
• PAGES:
• 6-8

2009

• 150.
• A Module-Based Framework for Multi-language Constraint Modeling (2009)

• AUTHORS:
• Järvisalo Matti,
• Oikarinen Emilia,
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5753
• PAGES:
• 155-168

• 149.
• Computing Stable Models via Reductions to Difference Logic (2009)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Sevalnev Mark

• BOOKTITLE:
• Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5753
• PAGES:
• 142-154

• 148.
• Formal Verification of Safety Automation Logic Designs (2009)

• AUTHORS:
• Valkonen Janne,
• Koskimies Matti,
• Björkman Kim,
• Heljanko Keijo,
• Niemelä Ilkka,
• Hämäläinen Jari J.

• BOOKTITLE:
• Automaatio XVIII 2009 Seminaari

• 147.
• Incorporating Clause Learning in Grid-Based Randomized SAT Solving (2009)

• AUTHORS:
• Hyvärinen Antti,
• Junttila Tommi,
• Niemelä Ilkka

• JOURNAL:
• Journal on Satisfiability, Boolean Modeling and Computation
• VOLUME:
• 6
• PAGES:
• 223-244

• 146.
• Integrating Answer Set Programming and Satisfiability Modulo Theories (2009)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5753
• PAGES:
• 3

• 145.
• Model-Based Analysis of a Stepwise Shutdown Logic (2009)

• AUTHORS:
• Björkmann Kim,
• Frits Juho,
• Valkonen Janne,
• Heljanko Keijo,
• Niemelä Ilkka

• INSTITUTION:
• VTT Technical Research Centre of Finland

• 144.
• Non-Clausal SAT and ATPG (2009)

• AUTHORS:
• Drechsler Rolf,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Handbook of Satisfiability
• SERIES:
• Frontiers in Artificial Intelligence and Applications
• VOLUME:
• 185
• PAGES:
• 655-693

• 143.
• Partitioning Search Spaces of a Randomized Search (2009)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 11th Conference of the Italian Association for Artificial Intelligence, AI*IA 2009
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5883
• PAGES:
• 243-252

• 142.
• Partitioning Search Spaces of a Randomized Search (2009)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• INSTITUTION:
• Helsinki University of Technology, Department of Information and Computer Science
• PAGES:
• 22

• 141.
• The LIME Interface Specification Language and Runtime Monitoring Tool (2009)

• AUTHORS:
• Kähkönen Kari,
• Lampinen Jani,
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 9th International Workshop on Runtime Verification, RV2009
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5779
• PAGES:
• 93-100

• 140.
• Verification of Safety Logic Designs by Model Checking (2009)

• AUTHORS:
• Björkman Kim,
• Frits Juho,
• Valkonen Janne,
• Lahtinen Jussi,
• Heljanko Keijo,
• Niemelä Ilkka,
• Hämäläinen Jari J.

• BOOKTITLE:
• Proceedings of the Sixth American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009

2008

• 139.
• Answer Set Programming without Unstratified Negation (2008)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 24th International Conference on Logic Programming
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5366
• PAGES:
• 88-92

• 138.
• Computing Stable Models via Reductions to Boolean Circuits and Difference Logic (2008)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Sevalnev Mark

• BOOKTITLE:
• Proceedings of the 2nd International Workshop on Logic and Search
• PAGES:
• 16-30

• 137.
• Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications (2008)

• AUTHORS:
• Valkonen Janne,
• Koskimies Matti,
• Pettersson Ville,
• Heljanko Keijo,
• Holmberg Jan-Erik,
• Niemelä Ilkka,
• Hämäläinen Jari J.

• BOOKTITLE:
• Enlarged Halden Programme Group Meeting -- Proceedings of the Man-Technology-Organisation Sessions
• PAGES:
• C4.2

• 136.
• Incorporating Learning in Grid-Based Randomized SAT Solving (2008)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 5253
• PAGES:
• 247-261

• 135.
• Justification-Based Local Search with Adaptive Noise Strategies (2008)

• AUTHORS:
• Järvisalo Matti,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 5330
• PAGES:
• 31-46

• 134.
• Justification-Based Non-Clausal Local Search for SAT (2008)

• AUTHORS:
• Järvisalo Matti,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 18th European Conference on Artificial Intelligence
• PAGES:
• 535-539

• 133.
• Model-Based Analysis of an Arc Protection and an Emergency Cooling System (2008)

• AUTHORS:
• Valkonen Janne,
• Pettersson Ville,
• Björkman Kim,
• Holmberg Jan-Erik,
• Koskimies Matti,
• Heljanko Keijo,
• Niemelä Ilkka

• INSTITUTION:
• VTT Technical Research Centre of Finland

• 132.
• NPP Safety Automation Systems Analysis: State of the Art (2008)

• AUTHORS:
• Valkonen Janne,
• Karanta Ilkka,
• Koskimies Matti,
• Heljanko Keijo,
• Niemelä Ilkka,
• Sheridan Dan,
• Bloomfield Robing E.

• INSTITUTION:
• VTT Technical Research Centre of Finland

• 131.
• Nonmonotonic Reasoning (2008)

• AUTHORS:
• Brewka Gerhard,
• Niemelä Ilkka,
• aw Truszczynski Miros\l

• BOOKTITLE:
• Handbook of Knowledge Representation
• PAGES:
• 239-284

• 130.
• Preferences and Nonmonotonic Reasoning (2008)

• AUTHORS:
• Brewka Gerd,
• Niemelä Ilkka,
• Truszczynski Miros\law

• JOURNAL:
• AI Magazine
• VOLUME:
• 29
• PAGES:
• 69-78

• 129.
• Programs with Monotone Abstract Constraint Atoms (2008)

• AUTHORS:
• Marek Victor,
• Niemelä Ilkka,
• Truszczynski Miros\law

• JOURNAL:
• Theory and Practice of Logic Programming
• VOLUME:
• 8
• PAGES:
• 167-199

• 128.
• Stable Models and Difference Logic (2008)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Tenth International Symposium on Artificial Intelligence and Mathematics
• PAGES:
• 5 p.

• 127.
• Stable Models and Difference Logic (2008)

• AUTHORS:
• Niemelä Ilkka

• JOURNAL:
• Annals of Mathematics and Artificial Intelligence
• VOLUME:
• 53
• PAGES:
• 313-329

• 126.
• Strategies for Solving SAT in Grids by Randomized Search (2008)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 9th Conference on Artificial Intelligence and Symbolic Computation
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 5144
• PAGES:
• 125-140

• 125.
• The Effect of Structural Branching on the Efficiency of Clause Learning SAT Solving: An Experimental Study (2008)

• AUTHORS:
• Järvisalo Matti,
• Niemelä Ilkka

• JOURNAL:
• Journal of Algorithms: Algorithms in Cognition, Informatics, and Logic
• VOLUME:
• 63
• PAGES:
• 90-113

2007

• 124.
• Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (2007)

• EDITORS:
• Dahl, Veronica and Niemelä, Ilkka

• BOOKTITLE:
• ICLP
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 4670

2006

• 123.
• A Distribution Method for Solving SAT in Grids (2006)

• AUTHORS:
• Hyvärinen Antti E. J.,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 4121
• PAGES:
• 430-435

• 122.
• Answer Set Programming: A Declarative Approach to Solving Search Problems (2006)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 10th European Conference on Logics in Artificial Intelligence
• SERIES:
• Lecture Notes in Computer Science
• VOLUME:
• 4160
• PAGES:
• 15-18

• 121.
• Answer Set Programming: Foundations, Implementation Techniques, and Applications (2006)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the ICLP 2006 Workshop on Search and Logic: Answer Set Programming and SAT
• PAGES:
• 35

• 120.
• Bounded Model Checking, Answer Set Programming, and Fixed Points (2006)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the CAV'06 Workshop on Bounded Model Checking
• PAGES:
• 9

• 119.
• Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques (2006)

• AUTHORS:
• Haanpää Harri,
• Järvisalo Matti,
• Kaski Petteri,
• Niemelä Ilkka

• JOURNAL:
• Journal on Satisfiability, Boolean Modeling and Computation
• VOLUME:
• 2
• PAGES:
• 27-64

• 118.
• Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search (2006)

• AUTHORS:
• Rintanen Jussi,
• Heljanko Keijo,
• Niemelä Ilkka

• JOURNAL:
• Artificial Intelligence
• VOLUME:
• 170
• PAGES:
• 1031-1080

• 117.
• Unfolding Partiality and Disjunctions in Stable Model Semantics (2006)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Seipel Dietmar,
• Simons Patrik,
• You Jia-Huai

• JOURNAL:
• ACM Transactions on Computational Logic
• VOLUME:
• 7
• PAGES:
• 1-37

2005

• 116.
• 05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)

• EDITORS:
• Brewka, Gerhard and Niemelä, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw and and Vennekens, Joost

• BOOKTITLE:
• Nonmonotonic Reasoning, Answer Set Programming and Constraints
• SERIES:
• Dagstuhl Seminar Proceedings

• 115.
• BMC via On-the-Fly Determinization (2005)

• AUTHORS:
• Jussila Toni,
• Heljanko Keijo,
• Niemelä Ilkka

• JOURNAL:
• International Journal on Software Tools for Technology Transfer
• VOLUME:
• 7
• PAGES:
• 89-101

• 114.
• Planning as Satisfiability: Parallel Plans and Algorithms for Plan Search (2005)

• AUTHORS:
• Rintanen Jussi,
• Heljanko Keijo,
• Niemelä Ilkka

• INSTITUTION:
• Institute of Computer Science, University of Freiburg
• PAGES:
• 56

• 113.
• Prioritized Component Systems (2005)

• AUTHORS:
• Brewka Gerd,
• Niemelä Ilkka,
• Truszczynski Miros\law

• BOOKTITLE:
• Proceedings of the Twentieth National Conference on Artificial Intelligence
• PAGES:
• 596-601

• 112.
• Solving Alternating Boolean Equation Systems in Answer Set Programming (2005)

• AUTHORS:
• Keinänen Misa,
• Niemelä Ilkka

• BOOKTITLE:
• Applications of Declarative Programming and Knowledge Management
• SERIES:
• Lecture Notes in Artificial Intelligence
• VOLUME:
• 3392
• PAGES:
• 134-148

• 111.
• Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits (2005)

• AUTHORS:
• Järvisalo Matti,
• Junttila Tommi,
• Niemelä Ilkka

• JOURNAL:
• Annals of Mathematics and Artificial Intelligence
• VOLUME:
• 44
• PAGES:
• 373-399

2004

• 110.
• A Compact Reformulation of Propositional Satisfiability as Binary Constraint Satisfaction (2004)

• AUTHORS:
• Järvisalo Matti,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems: Towards Systemisation and Automation

• 109.
• GnT -- A Solver for Disjunctive Logic Programs (2004)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
• PAGES:
• 331-335

• 108.
• Logic Programs with Ordered Disjunction (2004)

• AUTHORS:
• Brewka Gerhard,
• Niemelä Ilkka,
• Syrjänen Tommi

• JOURNAL:
• Computational Intelligence
• VOLUME:
• 20
• PAGES:
• 333-357

• 107.
• Parallel Encodings of Classical Planning as Satisfiability (2004)

• AUTHORS:
• Rintanen Jussi,
• Heljanko Keijo,
• Niemelä Ilkka

• INSTITUTION:
• Institute of Computer Science at Freiburg University

• 106.
• Parallel Encodings of Classical Planning as Satisfiability (2004)

• AUTHORS:
• Rintanen Jussi,
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 9th European Conference on Logics in Artificial Intelligence
• SERIES:
• Lecture Notes in Artificial Intelligence 3229
• PAGES:
• 307-319

• 105.
• Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (2004)

• EDITORS:
• Lifschitz, Vladimir and Niemelä, Ilkka

• SERIES:
• Lecture Notes in Artificial Intelligence 2923

• 104.
• Programs with Monotone Cardinality Atoms (2004)

• AUTHORS:
• Marek Victor,
• Niemelä Ilkka,
• Truszczynski Miros\law

• BOOKTITLE:
• Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning
• PAGES:
• 154-166

• 103.
• Solving Alternating Boolean Equation Systems in Answer Set Programming (2004)

• AUTHORS:
• Keinänen Misa,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management
• SERIES:
• Technical Report
• VOLUME:
• 327
• PAGES:
• 255-264

• 102.
• Unfolding Partiality and Disjunctions in Stable Model Semantics (2004)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Seipel Dietmar,
• Simons Patrik,
• You Jia-Huai

• 101.
• Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits (2004)

• AUTHORS:
• Järvisalo Matti,
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• AI&M 2004, 8th International Symposium on Artificial Intelligence and Mathematics

2003

• 100.
• A Practical Tool for Mass-Customising Configurable Products (2003)

• AUTHORS:
• Tiihonen Juha,
• Soininen Timo,
• Niemelä Ilkka,
• Sulonen Reijo

• BOOKTITLE:
• Proceedings of the 14th International Conference on Engineering Design
• PAGES:
• 1290-1299

• 99.
• Answer Set Optimization (2003)

• AUTHORS:
• Brewka Gerd,
• Niemelä Ilkka,
• Truszczynski Miros\law

• BOOKTITLE:
• Proceedings of the 18th International Joint Conference on Artificial Intelligence
• PAGES:
• 867-872

• 98.
• Answer Set Programming: From Model Computation to Problem Solving (2003)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of CADE-19 Workshop on Model Computation --- Principles, Algorithms, Applications

• 97.
• Answer Set Programming: an Approach to Declarative Problem Solving (2003)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Eighth Scandinavian Conference on Artificial Intelligence
• PAGES:
• 189-191

• 96.
• BMC via On-the-Fly Determinization (2003)

• AUTHORS:
• Jussila Toni,
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the first International Workshop on Bounded Model Checking
• SERIES:
• ENTCS
• VOLUME:
• 89

• 95.
• Bounded LTL Model Checking with Stable Models (2003)

• AUTHORS:
• Heljanko Keijo,
• Niemelä Ilkka

• JOURNAL:
• Theory and Practice of Logic Programming
• VOLUME:
• 3
• PAGES:
• 519-550

2002

• 94.
• Empirical Testing of A Weight Constraint Rule Based Configurator (2002)

• AUTHORS:
• Tiihonen Juha,
• Soininen Timo,
• Niemelä Ilkka,
• Sulonen Reijo

• BOOKTITLE:
• ECAI 2002 Configuration Workshop
• PAGES:
• 17-22

• 93.
• Extending and Implementing the Stable Model Semantics (2002)

• AUTHORS:
• Simons Patrik,
• Niemelä Ilkka,
• Soininen Timo

• JOURNAL:
• Artificial Intelligence
• VOLUME:
• 138
• PAGES:
• 181-234

• 92.
• Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs (2002)

• AUTHORS:
• Brewka Gerd,
• Niemelä Ilkka,
• Syrjänen Tommi

• BOOKTITLE:
• Proceedings of the 8th European Conference on Logics in Artificial Intelligence
• PAGES:
• 444-455

• 91.
• Parallel Program Verification Using BMC (2002)

• AUTHORS:
• Jussila Toni,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the ECAI 2002 Workshop on Model Checking and Artificial Intelligence
• PAGES:
• 59-66

2001

• 90.
• Answer Set Programming and Bounded Model Checking (2001)

• AUTHORS:
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning
• PAGES:
• 90-96

• 89.
• Bounded LTL Model Checking with Stable Models (2001)

• AUTHORS:
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
• PAGES:
• 200-212

• 88.
• Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (2001)

• AUTHORS:
• Dix Jurgen,
• Furbach Ulrich,
• Niemelä Ilkka

• BOOKTITLE:
• Handbook of Automated Reasoning
• PAGES:
• 1241-1354

• 87.
• On the Equivalence of the Static and Disjunctive Well-Founded Semantics and its Computation (2001)

• AUTHORS:
• Brass Stefan,
• Dix Jurgen,
• Niemelä Ilkka,
• Przymusinski T.C.

• JOURNAL:
• Theoretical Computer Science
• VOLUME:
• 258
• PAGES:
• 523-553

• 86.
• Representing Configuration Knowledge With Weight Constraint Rules (2001)

• AUTHORS:
• Soininen Timo,
• Niemelä Ilkka,
• Tiihonen Juha,
• Sulonen Reijo

• BOOKTITLE:
• Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming
• PAGES:
• 195-201

• 85.
• The Smodels Systems (2001)

• AUTHORS:
• Syrjänen Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
• PAGES:
• 434-438

2000

• 84.
• DES: a Challenge Problem for Nonmonotonic Reasoning Systems (2000)

• AUTHORS:
• Hietalahti Maarit,
• Massacci Fabio,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 8th International Workshop on Non-Monotonic Reasoning

• 83.
• Extending the Smodels System with Cardinality and Weight Constraints (2000)

• AUTHORS:
• Niemelä Ilkka,
• Simons Patrik

• BOOKTITLE:
• Logic-Based Artificial Intelligence
• PAGES:
• 491-521

• 82.
• Leksa Notes in Computer Science, Festschrift in Honour of Professor Leo Ojala (2000)

• AUTHORS:
• Husberg Nisse,
• Janhunen Tomi,
• (Eds.) Ilkka Niemelä

• INSTITUTION:
• Helsinki University of Technology, Laboratory for Theoretical Computer Science
• PAGES:
• 140

• 81.
• Petri Net Analysis and Nonmonotonic Reasoning (2000)

• AUTHORS:
• Heljanko Keijo,
• Niemelä Ilkka

• BOOKTITLE:
• Leksa Notes in Computer Science, Festschrift in Honour of Professor Leo Ojala
• PAGES:
• 7-19

• 80.
• Practical Tools for Knowledge Representation and Nonmonotonic Reasoning (2000)

• AUTHORS:
• Niemelä Ilkka,
• Truszczynski Miros\law

• 79.
• Smodels: a System for Answer Set Programming (2000)

• AUTHORS:
• Niemelä Ilkka,
• Simons Patrik,
• Syrjänen Tommi

• BOOKTITLE:
• Proceedings of the 8th International Workshop on Non-Monotonic Reasoning

• 78.
• Stable Model Semantics: From Theory to Implementations and Applications (2000)

• AUTHORS:
• Niemelä Ilkka

• 77.
• Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking (2000)

• AUTHORS:
• Junttila Tommi,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the First International Conference on Computational Logic, Automated Deduction: Putting Theory into Practice
• PAGES:
• 553-567

• 76.
• Unfolding Partiality and Disjunctions in Stable Model Semantics (2000)

• AUTHORS:
• Janhunen Tomi,
• Niemelä Ilkka,
• Simons Patrik,
• You Jia-Huai

• BOOKTITLE:
• Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning
• PAGES:
• 411-419

• 75.
• Unified Configuration Knowledge Representation Using Weight Constraint Rules (2000)

• AUTHORS:
• Soininen Timo,
• Niemelä Ilkka,
• Tiihonen Juha,
• Sulonen Reijo

• BOOKTITLE:
• Workshop Notes of the ECAI'2000 Configuration Workshop
• PAGES:
• 79-84

• 74.
• Unified Configuration Knowledge Representation Using Weight Constraint Rules (2000)

• AUTHORS:
• Soininen Timo,
• Niemelä Ilkka,
• Tiihonen Juha,
• Sulonen Reijo

• INSTITUTION:
• Helsinki University of Technology, Laboratory of Information Processing Science

1999

• 73.
• A Fixpoint Definition of Dynamic Constraint Satisfaction (1999)

• AUTHORS:
• Soininen Timo,
• Gelle Esther,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming
• PAGES:
• 419-433

• 72.
• Automating Default Reasoning (1999)

• AUTHORS:
• Niemelä Ilkka

• 71.
• Developing a Declarative Rule Language for Applications in Product Configuration (1999)

• AUTHORS:
• Soininen Timo,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
• PAGES:
• 305-319

• 70.
• Finding MAPs for Belief Networks using Rule-based Constraint Programming (1999)

• AUTHORS:
• Beaver Harriet,
• Niemelä Ilkka

• BOOKTITLE:
• Arpakannus 1/99 - Special Issue on Networks'99

• 69.
• Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm (1999)

• AUTHORS:
• Niemelä Ilkka

• JOURNAL:
• Annals of Mathematics and Artificial Intelligence
• VOLUME:
• 25
• PAGES:
• 241-273

• 68.
• On the Complexity of Dynamic Constraint Satisfaction (1999)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the FLoC Workshop on Complexity-Theoretic and Recursion-Theoretic Methods in Databases, Artificial Intelligence and Finite Model Theory
• PAGES:
• 38-47

• 67.
• Stable Model Semantics of Weight Constraint Rules (1999)

• AUTHORS:
• Niemelä Ilkka,
• Simons Patrik,
• Soininen Timo

• BOOKTITLE:
• Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
• PAGES:
• 317-331

1998

• 66.
• A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation (1998)

• AUTHORS:
• Brass S.,
• Dix J.,
• Niemelä Ilkka,
• Przymusinski T.C.

• BOOKTITLE:
• Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning
• PAGES:
• 74-85

• 65.
• Formalizing Configuration Knowledge Using Rules with Choices (1998)

• AUTHORS:
• Soininen Timo,
• Niemelä Ilkka

• INSTITUTION:
• Helsinki University of Technology, Laboratory of Information Processing Science

• 64.
• Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm (1998)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
• PAGES:
• 72-79

• 63.
• Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (1998)

• AUTHORS:
• Dix Jurgen,
• Furbach Ulrich,
• Niemelä Ilkka

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 62.
• Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems (1998)

• AUTHORS:
• (Ed.) Ilkka Niemelä

• INSTITUTION:
• Helsinki University of Technology, Digital Systems Laboratory
• PAGES:
• 46

• 61.
• Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems (1998)

• EDITORS:
• Niemelä, Ilkka

• 60.
• Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning (1998)

• EDITORS:
• Niemelä, Ilkka and Schaub, Torsten

• 59.
• Report on the Seventh International Workshop on Nonmonotonic Reasoning (1998)

• AUTHORS:
• Brewka Gerd,
• Niemelä Ilkka

• JOURNAL:
• AI Magazine
• VOLUME:
• 19
• PAGES:
• 139

1997

• 58.
• Comparison and Efficient Computation of the Static and the Disjunctive WFS (1997)

• AUTHORS:
• Brass S.,
• Dix J.,
• Niemelä Ilkka,
• Przymusinski T.C.

• BOOKTITLE:
• Proceedings of the Third Dutch-German Workshop on Nonmonotonic Reasoning
• PAGES:
• 37-42

• 57.
• DisLoP: A Research Project on Disjunctive Logic Programming (1997)

• AUTHORS:
• Aravindan C.,
• Dix J.,
• Niemelä Ilkka

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 56.
• DisLoP: A Research Project on Disjunctive Logic Programming (1997)

• AUTHORS:
• Aravindan C.,
• Dix J.,
• Niemelä Ilkka

• JOURNAL:
• AI Communications
• VOLUME:
• 10
• PAGES:
• 151-165

• 55.
• DisLoP: A Research Project on Disjunctive Logic Programming (1997)

• AUTHORS:
• Aravindan C.,
• Dix J.,
• Niemelä Ilkka

• JOURNAL:
• Computational Logic
• VOLUME:
• 3

• 54.
• DisLoP: Towards a Disjunctive Logic Programming System (1997)

• AUTHORS:
• Aravindan C.,
• Dix J.,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning
• PAGES:
• 341-352

• 53.
• Smodels -- an Implementation of the Stable Model and Well-Founded Semantics for Normal Logic Programs (1997)

• AUTHORS:
• Niemelä Ilkka,
• Simons P.

• BOOKTITLE:
• Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning
• PAGES:
• 420-429

1996

• 52.
• A Comparison of STATIC Semantics with D-WFS (1996)

• AUTHORS:
• Brass S.,
• Dix J.,
• Niemelä Ilkka,
• Przymusinski T.C.

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 51.
• A Tableau Calculus for Minimal Model Reasoning (1996)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods
• PAGES:
• 278-294

• 50.
• A Tableau Calculus for Minimal Model Reasoning (1996)

• AUTHORS:
• Niemelä Ilkka

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 49.
• Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning (1996)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Partiality, Modality and Non-monotonicity
• PAGES:
• 251-289

• 48.
• Efficient Implementation of the Well-founded and Stable Model Semantics (1996)

• AUTHORS:
• Niemelä Ilkka,
• Simons P.

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 47.
• Efficient Implementation of the Well-founded and Stable Model Semantics (1996)

• AUTHORS:
• Niemelä Ilkka,
• Simons P.

• BOOKTITLE:
• Proceedings of the Joint International Conference and Symposium on Logic Programming
• PAGES:
• 289-303

• 46.
• Hyper Tableaux (1996)

• AUTHORS:
• Baumgartner P.,
• Furbach U.,
• Niemelä Ilkka

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 45.
• Hyper Tableaux (1996)

• AUTHORS:
• Baumgartner P.,
• Furbach U.,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the European Workshop on Logics in Artificial Intelligence
• PAGES:
• 1-17

• 44.
• Implementing Circumscription Using a Tableau Method (1996)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the European Conference on Artificial Intelligence
• PAGES:
• 80-84

• 43.
• Implementing Circumscription Using a Tableau Method (1996)

• AUTHORS:
• Niemelä Ilkka

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 42.
• On Merging Theorem Proving and Logic Programming Paradigms (1996)

• AUTHORS:
• Aravindan C.,
• Baumgartner P.,
• Dix J.,
• Furbach U.,
• Neugebauer G.,
• Niemelä Ilkka,
• Schäfer D.,
• Stolzenburg F.

• BOOKTITLE:
• Proceedings of the Joint International Conference and Symposium on Logic Programming
• PAGES:
• 546

• 41.
• On Merging Theorem Proving and Logic Programming Paradigms (1996)

• AUTHORS:
• Aravindan C.,
• Baumgartner P.,
• Dix J.,
• Furbach U.,
• Neugebauer G.,
• Niemelä Ilkka,
• Schäfer D.,
• Stolzenburg F.

• BOOKTITLE:
• Proceedings of the Poster Session at JICSLP'96
• PAGES:
• 99-122

• 40.
• Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems (1996)

• AUTHORS:
• Niemelä (Ed.) Ilkka

• INSTITUTION:
• Universit\"at Koblenz-Landau

• 39.
• Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems (1996)

• EDITORS:
• Niemelä, Ilkka

1995

• 38.
• A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning (1995)

• AUTHORS:
• Niemelä Ilkka

• JOURNAL:
• Journal of Automated Reasoning
• VOLUME:
• 14
• PAGES:
• 3-42

• 37.
• Annual Report for the Year 1994 (1995)

• AUTHORS:
• Niemelä Ilkka

• 36.
• Evaluating an Algorithm for Default Reasoning (1995)

• AUTHORS:
• Niemelä Ilkka,
• Simons P.

• BOOKTITLE:
• Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada
• PAGES:
• 66-72

• 35.
• Towards Efficient Default Reasoning (1995)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 14th International Joint Conference on Artificial Intelligence
• PAGES:
• 312-318

• 34.
• Working Notes of the IJCAI'95 Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems (1995)

• EDITORS:
• Ben-Eliyahu, Rachel and Niemelä, Ilkka

1994

• 33.
• A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning (1994)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning
• PAGES:
• 473-484

• 32.
• Annual Report for the Year 1993 (1994)

• AUTHORS:
• Niemelä Ilkka

• 31.
• Autoepisteeminen logiikka epämonotonisen päättelyn pohjana (1994)

• AUTHORS:
• Niemelä Ilkka

• JOURNAL:
• Tie\-to\-jen\-kä\-sit\-tely\-tiede
• VOLUME:
• 6
• PAGES:
• 15-25

• 30.
• On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (1994)

• AUTHORS:
• Niemelä Ilkka,
• Rintanen J.

• BOOKTITLE:
• Foundations of Knowledge Representation and Reasoning
• PAGES:
• 275-295

• 29.
• On the impact of stratification on the complexity of nonmonotonic reasoning (1994)

• AUTHORS:
• Niemelä Ilkka,
• Rintanen Jussi

• JOURNAL:
• Journal of Applied Non-Classical Logics
• VOLUME:
• 4
• PAGES:
• 141-179

• 28.
• Proof Systems for Nonmonotonic Logics (1994)

• AUTHORS:
• Niemelä Ilkka,
• Schwind Camilla

1993

• 27.
• A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic (1993)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Automated Deduction in Nonstandard Logics --- Papers from the 1993 Fall Symposium
• PAGES:
• 97-104

• 26.
• A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning (1993)

• AUTHORS:
• Janhunen T.,
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 3rd Kurt Gödel Colloquium on Computational Logic and Proof Theory
• PAGES:
• 211-222

• 25.
• Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning (1993)

• AUTHORS:
• Niemelä Ilkka

• INSTITUTION:
• Helsinki University of Technology, Digital Systems Laboratory

• 24.
• Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning (1993)

• AUTHORS:
• Niemelä Ilkka

• 23.
• Logiikka tietämyskielenä (1993)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Tekoälyn ensyklopedia
• PAGES:
• 116-124

1992

• 22.
• A Decision Procedure for Stratified Autoepistemic Logic (1992)

• AUTHORS:
• Niemelä Ilkka,
• Rintanen J.

• BOOKTITLE:
• Proceedings of the Finnish Artificial Intelligence Conference
• PAGES:
• 202-211

• 21.
• A unifying framework for nonmonotonic reasoning (1992)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 10th European Conference on Artificial Intelligence
• PAGES:
• 334-338

• 20.
• Annual Report for the Year 1991 (1992)

• AUTHORS:
• Niemelä Ilkka

• 19.
• Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning (1992)

• AUTHORS:
• Niemelä Ilkka

• 18.
• On the Decidability and Complexity of Autoepistemic Reasoning (1992)

• AUTHORS:
• Niemelä Ilkka

• JOURNAL:
• Fundamenta Informaticae
• VOLUME:
• 17
• PAGES:
• 117-155

• 17.
• On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (1992)

• AUTHORS:
• Niemelä Ilkka,
• Rintanen J.

• BOOKTITLE:
• Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning
• PAGES:
• 627-638

1991

• 16.
• Annual Report for the Year 1990 (1991)

• AUTHORS:
• Niemelä Ilkka

• 15.
• Constructive Tightly Grounded Autoepistemic Reasoning (1991)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 12th International Joint Conference on Artificial Intelligence
• PAGES:
• 399-404

1990

• 14.
• A New Characterization of Autoepistemic Reasoning (1990)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Finnish Artificial Intelligence Symposium
• PAGES:
• 64-73

• 13.
• Annual Report for the Year 1989 (1990)

• AUTHORS:
• Niemelä Ilkka

• 12.
• Towards Automatic Autoepistemic Reasoning (1990)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the European Workshop on Logics in Artificial Intelligence---JELIA'90
• PAGES:
• 428-443

1989

• 11.
• Annual Report for the Year 1988 (1989)

• AUTHORS:
• Niemelä Ilkka

• 10.
• Automating Autoepistemic Reasoning (1989)

• AUTHORS:
• Niemelä Ilkka

• 9.
• Decision Problem in Autoepistemic Logic (1989)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Workshop on Alternatives of Logic Programming
• PAGES:
• 174-188

1988

• 8.
• Autoepistemic Predicate Logic (1988)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 8th European Conference on Artificial Intelligence
• PAGES:
• 595-600

• 7.
• Decision Procedure for Autoepistemic Logic (1988)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 9th International Conference on Automated Deduction
• PAGES:
• 675-684

• 6.
• Decision Procedures for Quantified Non-Monotonic Logic (1988)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the Finnish Artificial Intelligence Symposium
• PAGES:
• 418-427

• 5.
• On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic (1988)

• AUTHORS:
• Niemelä Ilkka

• BOOKTITLE:
• Proceedings of the 2nd Workshop on Computer Science Logic
• PAGES:
• 226-239

1987

• 4.
• Helsinki Logic Machine: a System for Logical Expertise (1987)

• AUTHORS:
• Niemelä Ilkka,
• Tuominen H.

• INSTITUTION:
• Helsinki University of Technology, Digital Systems Laboratory

• 3.
• Nonmonotonic Logic in Knowledge-Based Systems (1987)

• AUTHORS:
• Niemelä Ilkka

1986

• 2.
• A Survey of Nonmonotonic Logic (in Finnish) (1986)

• AUTHORS:
• Niemelä Ilkka

• INSTITUTION:
• Helsinki University of Technology, Digital Systems Laboratory

• 1.
• A System for Logical Expertise (1986)

• AUTHORS:
• Niemelä Ilkka,
• Tuominen H.

• BOOKTITLE:
• Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2
• PAGES:
• 44-53