Ilkka Niemelä

Professori, Rehtori

Tutkimustuotokset

  1. 2016
  2. Julkaistu

    The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I., 2016, julkaisussa : AI Magazine. 37, 3, s. 13-24 12 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2015
  4. Julkaistu

    Cumulativity Tailored for Non-Monotonic Reasoning

    Janhunen, T. & Niemelä, I., 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015. Eiter, T., Strass, H., Truszczynski, M. & Woltran, S. (toim.). Switzerland, s. 96-111 (Lecture Notes in Computer Science; painos 9060).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  5. 2014
  6. Julkaistu

    Introducing Real Variables and Integer Objective Functions to Answer Set Programming

    Liu, G., Janhunen, T. & Niemelä, I., 2014, International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Hanus, M. & Rocha, R. (toim.). s. 118-135 18 Sivumäärä (Lecture Notes in Computer Science; painos 8439 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  7. 2013
  8. Julkaistu

    Bounded Model Checking of an MITL Fragment for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2013, 13th International Conference on Application of Concurrency to System Design (ACSD), July 8-10, Barcelona, Spain. IEEE, s. 216-225

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  9. Julkaistu

    Simulating Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, Stellenbosch, South Africa, 15-19th December 2013. s. 568-583 (Lecture Notes in Computer Science; painos 8312).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  10. Julkaistu

    Translating Answer-Set Programs into Bit-Vector Logic

    Nguyen, M., Janhunen, T. & Niemelä, I., 2013, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M. & Wolf, A. (toim.). Berlin Heidelberg, s. 95-113 19 Sivumäärä (Lecture Notes in Computer Science; painos 7773 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  11. 2012
  12. Julkaistu

    Answer Set Programming via Mixed Integer Programming

    Liu, G., Janhunen, T. & Niemelä, I., 2012, 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012. AAAI PRESS, s. 32-42

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  13. Julkaistu

    Applying Visible Strong Equivalence in Answer-Set Program Transformations

    Janhunen, T. & Niemelä, I., 2012, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Erdem, E., Lee, J., Lierler, Y. & Pearce, D. (toim.). Berlin, s. 363-379 (Lecture Notes in Computer Science; painos 7265).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  14. Julkaistu

    Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, FMOODS FORTE IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2012) FMOODS FORTE, Stockholm, Sweden, June 13-16, 2012. Giese, H. & Rosu, G. (toim.). s. 84-100 (Lecture Notes in Computer Science; painos 7273).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  15. Julkaistu

    Classifying and Propagating Parity Constraints

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), Quebec City, Canada, October 8-12, 2012. Milano, M. (toim.). s. 357-372 (Lecture Notes in Computer Science; painos 7514).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  16. Julkaistu

    Conflict-Driven XOR-Clause Learning

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, Fifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012. Cimatti, A. & Sebastiani, R. (toim.). s. 383-396 ( Lecture Notes in Computer Science; painos 7317).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  17. Julkaistu

    Extending Clause Learning SAT Solvers with Complete Parity Reasoning

    Laitinen, T., Junttila, T. & Niemelä, I., 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012. IEEE, Vuosikerta 1. s. 65-72 8 Sivumäärä 6495030. (Proceedings-International Conference on Tools With Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  18. Julkaistu

    Model Checking of Safety-Critical Software in the Nuclear Engineering Domain

    Lahtinen, J., Valkonen, J., Björkman, K., Frits, J., Niemelä, I. & Heljanko, K., 2012, julkaisussa : Reliability Engineering and System Safety. 105, s. 104-113

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  19. Julkaistu

    SMT-Based Induction Methods for Timed Systems

    Kindermann, R., Junttila, T. & Niemelä, I., 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), London, UK, September 18-20, 2012. Jurdzinski, M. & Nickovic, D. (toim.). s. 171-187 (Lecture Notes in Computer Science; painos 7595).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  20. Julkaistu

    Solving Parity Games by a Reduction to SAT

    Heljanko, K., Keinänen, M., Lange, M. & Niemelä, I., 2012, julkaisussa : JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 78, 2, s. 430-440

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  21. 2011
  22. Julkaistu

    Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems

    Niemelä, I., 2011, Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2011), Tuusula, Finland, 23-25 May 2011. IEEE Computer Society, s. 139-141 3 Sivumäärä 5954222. (International Symposium on Multiple-Valued Logic).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  23. Julkaistu

    Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems

    Niemela, I., 2011, 12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11. Penjam, J. (toim.). TALLINN UNIV TECH PRESS, s. 173-173 1 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  24. Julkaistu

    Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

    Janhunen, T. & Niemelä, I., 2011, The Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary. Balduccini, M. & Son, T. C. (toim.). Lexington, s. 111-130 (Lecture Notes in Computer Science; painos 6565).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  25. Julkaistu

    Equivalence Class Based Parity Reasoning with DPLL(XOR)

    Laitinen, T., Junttila, T. & Niemelä, I., 2011, 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). Khoshgoftaar, T. M. & Zhu, X. (toim.). IEEE, s. 649-658 (International Conference on Tools with Artificial Intelligence. Proceedings).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  26. Julkaistu

    Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2011, 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. s. 385-399 (Lecture Notes in Computer Science; painos 6876).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  27. Julkaistu

    LCT: An Open Source Concolic Testing Tool for Java Programs

    Kähkönen, K., Launiainen, T., Saarikivi, O., Kauttio, J., Heljanko, K. & Niemelä, I., 2011, 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011). Saarbrücken, s. 75-80

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  28. Julkaistu

    Model-based safety evaluation of automation systems (MODSAFE): MODSAFE summary report

    Valkonen, J., Björkman, K., Lahtinen, J., Ranta, J., Frits, J., Heljanko, K. & Niemelä, I., 2011, SAFIR2010, The Finnish Research Programme on Nuclear Power Plant Safety 2007-2010. Final Report. 2571 toim. s. 55-65 11 Sivumäärä (VTT Tiedotteita - Valtion Teknillinen Tutkimuskeskus; nro 2571).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  29. Julkaistu

    Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

    Kindermann, R., Junttila, T. & Niemelä, I., 2011, 11th International Conference on Application of Concurrency to System Designg, (ACSD 2011). IEEE, s. 185-194 (International Conference on Application of Concurrency to System Design. Proceedings ).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  30. Julkaistu

    Origins of Answer-Set Programming - Some Background and Two Personal Accounts

    Marek, V. W., Niemelä, I. & Truszczynski, M., 2011, Nonmonotonic Reasoning: Essays Celebrating its 30th Anniversary. Brewka, G., Marek, V. W. & Truszczynski, M. (toim.). London, s. 233-258

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  31. Julkaistu

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2011, julkaisussa : Fundamenta Informaticae. 107, 2-3, s. 289-311

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  32. Julkaistu

    Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

    Janhunen, T., Niemelä, I., Oetsch, J., Puehrer, J. & Tompits, H., 2011, International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011. Delgrande, J. & Faber, W. (toim.). s. 242-247 6 Sivumäärä (Lecture Notes in Computer Science; painos 6645).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  33. Julkaistu

    Strong Equivalence of Logic Programs with Abstract Constraint Atoms

    Liu, G., Goebel, R., Janhunen, T., Niemelä, I. & You, J-H., 2011, Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Delgrande, J. & Faber, W. (toim.). s. 161-173 (Lecture Notes in Computer Science; painos 6645).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  34. 2010
  35. Julkaistu

    Analysis of an Emergency Diesel Generator Control System by Compositional Model Checking: MODSAFE 2010 work report

    Lahtinen, J., Björkman, K., Valkonen, J., Frits, J. & Niemelä, I., 2010, Espoo, Finland, 35 Sivumäärä (VTT Working Papers; nro 156).

    Tutkimustuotos: Työpaperi

  36. Julkaistu

    Enhancing a Smart Space with Answer Set Programming

    Luukkala, V. & Niemelä, I., 2010, Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings. s. 89-103 (Lecture Notes in Computer Science; painos 6403).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  37. Julkaistu

    Experimental Comparison of Concolic and Random Testing for Java Card Applets

    Kähkönen, K., Kindermann, R., Heljanko, K. & Niemelä, I., 2010, Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. van de Pol, J. & Weber, M. (toim.). s. 22-39 (Lecture Notes in Computer Science; painos 6349).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  38. Julkaistu

    Extending Clause Learning DPLL with Parity Reasoning

    Laitinen, T., Junttila, T. A. & Niemelä, I., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (toim.). IOS PRESS, s. 21-26 (Frontiers in Artificial Intelligence and Applications; painos 215).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  39. Julkaistu

    Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

    Janhunen, T. (toim.) & Niemelä, I. (toim.), 2010, Berlin. 374 Sivumäärä (Lecture Notes in Artificial Intelligence; painos LNCS 6341)

    Tutkimustuotos: Kirjavertaisarvioitu

  40. Julkaistu

    Model Checking Methodology for Supporting Safety Critical Software Development and Verification

    Lahtinen, J., Valkonen, J., Björkman, K., Frits, J. & Niemelä, I., 2010, Reliability, Risk and Safety: Back to the Future: European Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010 . Ale, B. J. M., Papazoglou, I. A. & Zio, E. (toim.). s. 2056-2063

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa

  41. Julkaistu

    Model checking methodology for verification of safety logics

    Valkonen, J., Björkman, K., Frits, J. & Niemelä, I., 2010, The 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere 14.-15.6.2010 .

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa

  42. Julkaistu

    On Testing Answer-Set Programs

    Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J. & Tompits, H., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (toim.). IOS PRESS, s. 951-956 (Frontiers in Artificial Intelligence and Applications; painos 215).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  43. Julkaistu

    Partitioning SAT Instances for Distributed Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Fermüller, C. G. & Voronkov, A. (toim.). s. 372-386 15 Sivumäärä (Lecture Notes in Computer Science; painos 6397 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  44. Julkaistu

    Turvallisuuskriittisten järjestelmien verifiointi mallintarkastuksella

    Valkonen, J. & Niemelä, I., 2010, julkaisussa : ATS Ydintekniikka. 39, 1, s. 6-8

    Tutkimustuotos: Lehtiartikkeli

  45. 2009
  46. Julkaistu

    A Module-Based Framework for Multi-Language Constraint Modeling

    Järvisalo, M., Oikarinen, E., Janhunen, T. & Niemelä, I., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (toim.). s. 155-168 (Lecture Notes in Computer Science ; painos 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  47. Julkaistu

    Computing Stable Models via Reductions to Difference Logic

    Janhunen, T., Niemelä, I. & Sevalnev, M., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (toim.). s. 142-154 (Lecture Notes in Computer Science ; painos 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  48. Julkaistu

    Formal Verification of Safety Automation Logic Designs

    Valkonen, J., Koskimies, M., Björkman, K., Heljanko, K., Niemelä, I. & Hämäläinen, J. J., 2009, Automaatio XVIII 2009 Seminaari.

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  49. Julkaistu

    Incorporating Clause Learning in Grid-Based Randomized SAT Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, julkaisussa : Journal of Satisfiability, Boolean Modeling and Computation. 6, s. 223-244

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  50. Julkaistu

    Integrating Answer Set Programming and Satisfiability Modulo Theories

    Niemelä, I., 2009, The 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009. s. 3-3 (Lecture Notes in Computer Science; painos 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  51. Julkaistu

    Model-Based Analysis of a Stepwise Shutdown Logic: MODSAFE 2008 Work Report

    Björkman, K., Frits, J., Valkonen, J., Heljanko, K. & Niemelä, I., 2009, Espoo, 36 Sivumäärä (VTT Working Papers; nro 115).

    Tutkimustuotos: Työpaperi

  52. Julkaistu

    Non-Clausal SAT and ATPG

    Drechsler, R., Junttila, T. & Niemelä, I., 2009, Handbook of Satisfiability. Biere, A., Heule, M. J. H., van Maaren, H. & Walsh, T. (toim.). IOS PRESS, s. 655-693 39 Sivumäärä (Frontiers in Artificial Intelligence and Applications; painos 185, nro 1).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  53. Julkaistu

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, AI*IA 2009: Emergent Perspectives in Artificial Intelligence : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings. Serra, R. & Cucchiara, R. (toim.). s. 243-252 (Lecture Notes in Computer Science ; painos 5883).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  54. Julkaistu

    Partitioning Search Spaces of a Randomized Search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, Espoo. 22 Sivumäärä (TKK reports in information and computer science; nro TKK-ICS-R22)

    Tutkimustuotos: Kirja

  55. Julkaistu

    The LIME Interface Specification Language and Runtime Monitoring Tool

    Kähkönen, K., Lampinen, J., Heljanko, K. & Niemelä, I., 2009, Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Bensalem, S. & Peled, D. (toim.). s. 93-100 (Lecture Notes in Computer Science ; painos 5779).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  56. Julkaistu

    Verification of Safety Logic Designs by Model Checking

    Björkman, K., Frits, J., Valkonen, J., Lahtinen, J., Heljanko, K., Niemelä, I. & Hämäläinen, J. J., 2009, 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies NPIC&HMIT 2009. Knoxville, s. 324-335

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  57. 2008
  58. Julkaistu

    Stable models and difference logic

    Niemelä, I., 1 joulukuuta 2008, 10th International Symposium on Artificial Intelligence and Mathematics (ISAIM 2008), Fort Lauderdale, FL; United States; 2-4 January 2008. s. 5P

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

  59. Julkaistu

    Answer Set Programming without Unstratified Negation

    Niemelä, I., 2008, Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008. Proceedings. Garcia de la Banda, M. & Pontelli, E. (toim.). s. 88-92 (Lecture Notes in Computer Science ; painos 5366).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Edellinen 1 2 3 4 Seuraava

ID: 55951