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 engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationLogic ProgrammingSystems EngineeringComputer EngineeringProgram Analysis

Publications per year

1991–2020

48

Publications

48

Extending and implementing the stable model semantics

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

Engineering, Operational Semantics, Automated Reasoning +7

Logic programs with stable model semantics as a constraint programming paradigm

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

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

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

Declarative Programming, Engineering, Operational Semantics +11

Planning as satisfiability: parallel plans and algorithms for plan search

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

Artificial Intelligence, Engineering, Ai Planning +9

Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons · 1996 · 176 citations

1–5 of 48