Concepedia

Ilkka Niemelä

IN

Statistics

Publications

48

Citations

3.9K

H-Index

25

Active since

1991

Affiliations

Aalto University(Current)

Helsinki Institute of Physics

University of Kentucky

Ilkka Niemelä is an author at Aalto University specializing in computer science, computing, and formal methods.

Publications per year

1991–2020

48

Publications

48

Logic programs with stable model semantics as a constraint programming paradigm

Ilkka Niemelä · Annals of Mathematics and Artificial Intelligence · 1999 · 851 citations

, , +15

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 850 citations

, , +15

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

Ilkka Niemelä, Patrik Simons · International Conference on Logic Programming · 1997 · 262 citations

, , +4

Planning as satisfiability: parallel plans and algorithms for plan search

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä · Artificial Intelligence · 2006 · 205 citations

, , +8

Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons · 1996 · 176 citations

, , +13

1–5 of 48