Valokuva Ilkka Niemelä

Näytä Scopus-profiili

Ilkka Niemelä

  • Puhelin+358 50 5113013

  • Aalto SCI Computer Science Konemiehentie 2

1986 …2020

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.
Suodatin
Conference contribution

Hakutulokset

  • 2015

    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: SPRINGER, s. 96-111 (Lecture Notes in Computer Science; Vuosikerta 9060).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • 2014

    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.). SPRINGER, s. 118-135 18 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 8439 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    2 Sitaatiot (Scopus)
  • 2013

    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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    9 Sitaatiot (Scopus)

  • 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. SPRINGER, s. 568-583 (Lecture Notes in Computer Science; Vuosikerta 8312).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • 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: SPRINGER, s. 95-113 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 7773 LNAI).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    13 Sitaatiot (Scopus)
  • 2012

    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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    63 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 84-100 (Lecture Notes in Computer Science; Vuosikerta 7273).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    15 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 357-372 (Lecture Notes in Computer Science; Vuosikerta 7514).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    6 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 383-396 ( Lecture Notes in Computer Science; Vuosikerta 7317).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    10 Sitaatiot (Scopus)

  • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    10 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 171-187 (Lecture Notes in Computer Science; Vuosikerta 7595).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    21 Sitaatiot (Scopus)
  • 2011

    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, s. 139-141 3 Sivumäärä 5954222. (International Symposium on Multiple-Valued Logic).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • 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 University of Technology, s. 173-173 1 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • 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: SPRINGER, s. 111-130 (Lecture Notes in Computer Science; Vuosikerta 6565).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    37 Sitaatiot (Scopus)

  • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    11 Sitaatiot (Scopus)

  • 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. SPRINGER, s. 385-399 (Lecture Notes in Computer Science; Vuosikerta 6876).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    25 Sitaatiot (Scopus)

  • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    5 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 242-247 6 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 6645).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    10 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 161-173 (Lecture Notes in Computer Science; Vuosikerta 6645).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    5 Sitaatiot (Scopus)
  • 2010

    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; Vuosikerta 6403).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    10 Sitaatiot (Scopus)

  • 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; Vuosikerta 6349).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    6 Sitaatiot (Scopus)

  • 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; Vuosikerta 215).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    16 Sitaatiot (Scopus)

  • 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.). CRC Press, s. 2056-2063

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific

    2 Sitaatiot (Scopus)

  • 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 › Conference contribution › Scientific

  • 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; Vuosikerta 215).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    16 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 372-386 15 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 6397 LNCS).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    41 Sitaatiot (Scopus)
  • 2009

    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.). SPRINGER, s. 155-168 (Lecture Notes in Computer Science ; Vuosikerta 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    22 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 142-154 (Lecture Notes in Computer Science ; Vuosikerta 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    39 Sitaatiot (Scopus)

  • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • 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; Vuosikerta 5753).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • 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.). SPRINGER, s. 243-252 (Lecture Notes in Computer Science ; Vuosikerta 5883).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    7 Sitaatiot (Scopus)

  • 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.). SPRINGER, s. 93-100 (Lecture Notes in Computer Science ; Vuosikerta 5779).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    12 Sitaatiot (Scopus)

  • 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    11 Sitaatiot (Scopus)
  • 2008

    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.). SPRINGER, s. 88-92 (Lecture Notes in Computer Science ; Vuosikerta 5366).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    2 Sitaatiot (Scopus)

  • Computing stable models via reductions to boolean circuits and difference logic

    Janhunen, T., Niemelä, I. & Sevalnev, M., 2008, Computation of Structures from Declarative Descriptions: 2nd International Workshop on Logic and Search (LaSh 2008). KU Leuven, Belgium, November 2008. Proceedings. Denecker, M. (toim.). s. 16-30

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications

    Valkonen, J., Koskimies, M., Pettersson, V., Heljanko, K., Holmberg, J-E., Niemelä, I. & Hämäläinen, J. J., 2008, Enlarged Halden Programme Group Meeting - Proceedings of the Man-Technology-Organisation Sessions, Institutt for Energiteknikk, Halden, Norway, 2008. Loen, s. C4.2

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific

  • Incorporating Learning in Grid-Based Randomized SAT Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2008, Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Dochev, D., Pistore, M. & Traverso, P. (toim.). SPRINGER, s. 247-261 (Lecture Notes in Computer Science ; Vuosikerta 5253).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    8 Sitaatiot (Scopus)

  • Justification-Based Local Search with Adaptive Noise Strategies

    Järvisalo, M., Junttila, T. & Niemelä, I., 2008, Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (toim.). SPRINGER, s. 31-46 (Lecture Notes in Computer Science ; Vuosikerta 5330).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    6 Sitaatiot (Scopus)

  • Justification-Based Non-Clausal Local Search for SAT

    Järvisalo, M., Junttila, T. & Niemelä, I., 2008, ECAI 2008: 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21.-25.7.2008. Ghallab, M., Spyropoulos, C. D., Fanotakis, N. & Avoukis, N. (toim.). IOS Press, s. 535-539 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 178).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • Stable models and difference logic

    Niemelä, I., 1 jouluk. 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/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • Strategies for Solving SAT in Grids by randomized search

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2008, Intelligent Computer Mathematics : 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (toim.). SPRINGER, s. 125-140 (Lecture Notes in Computer Science; Vuosikerta 5144).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    7 Sitaatiot (Scopus)
  • 2006

    A Distribution Method for Solving SAT in Grids

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2006, Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings. Biere, A. & P. Gomes, C. (toim.). SPRINGER, s. 430-435 (Lecture Notes in Computer Science ; Vuosikerta 4121).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    29 Sitaatiot (Scopus)

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

    Niemelä, I., 2006, Logics in Artificial Intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006. Proceedings. Fisher, M., van der Hoek, W., Konev, B. & Lisitsa, A. (toim.). Berlin: SPRINGER, s. 15-18 4 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 4160).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific

    11 Sitaatiot (Scopus)
  • 2005

    Prioritized Component Systems

    Brewka, G., Niemelä, I. & Truszczynski, M., 2005, The Twentieth National Conference on Artificial Intelligence, Pittsburgh, Pennsylvania, USA, 9.-13.7.2005. Menlo Park, CA, USA: AAAI Press, s. 596-601

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    7 Sitaatiot (Scopus)

  • Solving Alternating Boolean Equation Systems in Answer Set Programming

    Keinänen, M. & Niemelä, I., 2005, Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Seipel, D., Hanus, M., Geske, U. & Bartenstein, O. (toim.). SPRINGER, s. 134-148 (Lecture Notes in Computer Science ; Vuosikerta 3392).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    2 Sitaatiot (Scopus)
  • 2004

    A Compact Reformulation of Propositional Satisfiability as Binary Constraint Satisfaction

    Järvisalo, M. & Niemelä, I., 2004, Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Toronto, Ontario, Canada, 27.9.2004: Towards Systemisation and Automation. Frisch, A. M. & Miguel, I. (toim.).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

  • GNT - A Solver for Disjunctive Logic Programs

    Janhunen, T. & Niemelä, I., 2004, 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings. Lifschitz, V. & Niemelä, I. (toim.). SPRINGER, s. 331-335 (Lecture Notes in Computer Science ; Vuosikerta 2923).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    25 Sitaatiot (Scopus)

  • Logic Programs with Monotone Cardinality Atoms

    Marek, V., Niemelä, I. & Truszczynski, M., 2004, Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004. Proceedings. SPRINGER, s. 154-166 13 Sivumäärä (Lecture Notes in Computer Science ; Vuosikerta 2923).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

    13 Sitaatiot (Scopus)

  • Mobile security - In search for comprehensive integrity

    Eskelinen, P., Vuorimaa, P., Tommiska, M., Niemelä, I., Smeds, R., Vainikainen, P., Sipilä, M., Hytönen, K., Tenhonen, K. & Paloheimo, A., 2004, Fifth IEE International Conference on 3G Mobile Communication Technologies 2004, London, UK, 18-20 October. s. 457-460 5 Sivumäärä (IEE Conference Publication; nro 503).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

Viestisi lähetys onnistui.
Viestiäsi ei lähetetty, koska tapahtui virhe.