I. Niemelä

发表

Keijo Heljanko, Misa Keinänen, M. Lange, 2012, Journal of computer and system sciences (Print).
Ilkka Niemelä, Antti Eero Johannes Hyvärinen, Tommi A. Junttila, 2009, AI*IA.
Ilkka Niemelä, Antti Eero Johannes Hyvärinen, Tommi A. Junttila, 2006, SAT.
Ilkka Niemelä, Antti Eero Johannes Hyvärinen, Tommi A. Junttila, 2011, CP.
I. Niemelä, Työn ohjaaja, K. Kähkönen, 2008 .
Ilkka Niemelä, I. Niemelä, 1999 .
Reijo Sulonen, Ilkka Niemelä, Juha Tiihonen, 2002 .
Tommi A. Junttila, I. Niemelä, 2000 .
Ulrich Furbach, Mirek Truszczynski, Ilkka Niemelä, 2001, Handbook of Automated Reasoning.
Ilkka Niemelä, Tomi Janhunen, I. Niemelä, 2014, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.
Ilkka Niemelä, Tomi Janhunen, I. Niemelä, 2020, Correct Reasoning.
Miroslaw Truszczynski, Gerhard Brewka, Ilkka Niemelä, 1988, We Will Show Them!.
Timo Soininen, Ilkka Niemelä, Patrik Simons, 2000, Artif. Intell..
Ilkka Niemelä, Keijo Heljanko, Olli Saarikivi, 2011 .
Victor W. Marek, Miroslaw Truszczynski, Ilkka Niemelä, 2003, LPNMR.
Ilkka Niemelä, I. Niemelä, 2008, Annals of Mathematics and Artificial Intelligence.
Victor W. Marek, Miroslaw Truszczynski, Ilkka Niemelä, 2006, Theory and Practice of Logic Programming.
Ilkka Niemelä, Keijo Heljanko, Keijo Heljanko, 2001, Theory and Practice of Logic Programming.
Ilkka Niemelä, Keijo Heljanko, Keijo Heljanko, 2001, Answer Set Programming.
Ilkka Niemelä, Maarit Hietalahti, Fabio Massacci, 2000, ArXiv.
Ilkka Niemelä, Gerhard Brewka, Tommi Syrjänen, 2004, Comput. Intell..
Ilkka Niemelä, Gerhard Brewka, Tommi Syrjänen, 2002, JELIA.
Ilkka Niemelä, Tommi Syrjänen, I. Niemelä, 2001, LPNMR.
Reijo Sulonen, Ilkka Niemelä, Juha Tiihonen, 2001, Answer Set Programming.
Ilkka Niemelä, Patrik Simons, Timo Soininen, 1999, LPNMR.
Ilkka Niemelä, Timo Soininen, I. Niemelä, 1999, PADL.
Ilkka Niemelä, Keijo Heljanko, Kim Björkman, 2009 .
Ilkka Niemelä, Keijo Heljanko, Ilkka Karanta, 2008 .
Ilkka Niemelä, Keijo Heljanko, Ilkka Karanta, 2008 .
Jürgen Dix, Chandrabose Aravindan, Ilkka Niemelä, 1997, AI Commun..
Ilkka Niemelä, Vesa Luukkala, I. Niemelä, 2010, RuleML.
Ilkka Niemelä, I. Niemelä, 1991, JELIA.
Ilkka Niemelä, I. Niemelä, 1988, CADE.
Ilkka Niemelä, I. Niemelä, 1995, Journal of Automated Reasoning.
Ilkka Niemelä, Jussi Rintanen, J. Rintanen, 1992, J. Appl. Non Class. Logics.
Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2003, IJCAI.
Ilkka Niemelä, Patrik Simons, Tommi Syrjänen, 2000, ArXiv.
Ilkka Niemelä, Tommi A. Junttila, I. Niemelä, 2000, Computational Logic.
Ilkka Niemelä, Tomi Janhunen, I. Niemelä, 2016, AI Mag..
Ilkka Niemelä, Guohua Liu, Tomi Janhunen, 2012, KR.
Ilkka Niemelä, Tomi Janhunen, Mai Nguyen, 2011, INAP/WLP.
Ilkka Niemelä, I. Niemelä, 1999, Annals of Mathematics and Artificial Intelligence.
Ilkka Niemelä, Tomi Janhunen, I. Niemelä, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
Jia-Huai You, Ilkka Niemelä, Tomi Janhunen, 2000, TOCL.
Petteri Kaski, Matti Järvisalo, Ilkka Niemelä, 2006, J. Satisf. Boolean Model. Comput..
G. Brewka, I. Niemelä, M. Truszczynski, 2008 .
Ilkka Niemelä, Patrik Simons, I. Niemelä, 1996, JICSLP.
Ilkka Niemelä, Patrik Simons, I. Niemelä, 2000 .
I. Niemelä, M. Truszczynski, Gerhard Brewka, 2008 .
Ilkka Niemelä, Tommi A. Junttila, Tero Laitinen, 2010, ECAI.
Ilkka Niemelä, Jussi Rintanen, Keijo Heljanko, 2006, Artif. Intell..
Victor W. Marek, Miroslaw Truszczynski, Ilkka Niemelä, 2011, ArXiv.
Reijo Sulonen, Ilkka Niemelä, Juha Tiihonen, 2003 .
Ilkka Niemelä, I. Niemelä, 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.
Ilkka Niemelä, Tommi A. Junttila, Tero Laitinen, 2012, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence.
Ilkka Niemelä, Matti Järvisalo, Tommi A. Junttila, 2005, Annals of Mathematics and Artificial Intelligence.
Ilkka Niemelä, Keijo Heljanko, Jussi Lahtinen, 2012, Reliab. Eng. Syst. Saf..
Ilkka Niemelä, Tommi A. Junttila, Roland Kindermann, 2012, FMOODS/FORTE.
Ilkka Niemelä, Keijo Heljanko, Kim Björkman, 2009 .
Ilkka Niemelä, Misa Keinänen, Misa Keinänen, 2004, INAP/WLP.
Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2008, AI Mag..
Ilkka Niemelä, Matti Järvisalo, Tomi Janhunen, 2009, LPNMR.
Ilkka Niemelä, I. Niemelä, 1996, TABLEAUX.