World's Best Scientists 2026 revealed!
Ilkka Niemelä

Ilkka Niemelä

D-Index & Metrics

Computer Science

D-Index
41
Citations
8891
World Ranking
8707
National Ranking
72

Overview

Ilkka Niemelä is affiliated with Aalto University in Finland and conducts research primarily in the field of Computer Science. Their work spans multiple subfields, with a focus on Artificial Intelligence and Computer Networks and Communications.

Their research covers a range of topics including:

  • Logic, Reasoning, and Knowledge
  • Multi-Agent Systems and Negotiation
  • Logic, Programming, and Type Systems
  • Constraint Satisfaction and Optimization
  • Semantic Web and Ontologies

Ilkka Niemelä has contributed to the academic literature through publications in reputable venues. One of their recent papers is titled Applying Visible Strong Equivalence in Answer-Set Program Transformations, published in 2020 in the ACM Transactions on Computational Logic.

They have collaborated frequently with several coauthors, including:

  • Jori Bomanson
  • Tomi Janhunen
  • Rolf Drechsler
  • Tommi Junttila

Their frequent publication venue is the ACM Transactions on Computational Logic, reflecting their engagement with topics related to logic and computational theory.

Best Publications

  • Extending and implementing the stable model semantics

    Patrik Simons;Ilkka Niemelá;Timo Soininen

  • Logic programs with stable model semantics as a constraint programming paradigm

    Ilkka Niemelä

  • Smodels — an implementation of the stable model and well-founded semantics for normal logic programs

    Ilkka Niemelä;Patrik Simons

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

    Ilkka Niemelä;Patrik Simons

  • Planning as satisfiability: parallel plans and algorithms for plan search

    Jussi Rintanen;Keijo Heljanko;Ilkka Niemelä

  • Hyper Tableaux

    Peter Baumgartner;Ulrich Furbach;Ilkka Niemelä

  • Efficient Implementation of the Well-founded and Stable Model Semantics

    Ilkka Niemelä;Patrik Simons

  • Unfolding partiality and disjunctions in stable model semantics

    Tomi Janhunen;Ilkka Niemelä;Dietmar Seipel;Patrik Simons

  • Extending the Smodels system with cardinality and weight constraints

    Ilkka Niemelä;Patrik Simons

  • Developing a Declarative Rule Language for Applications in Product Configuration

    Timo Soininen;Ilkka Niemelä

  • Stable Model Semantics of Weight Constraint Rules

    Ilkka Niemelä;Patrik Simons;Timo Soininen

  • Answer set optimization

    Gerhard Brewka;Ilkka Niemela;Miroslaw Truszczynski

  • The Smodels System

    Tommi Syrjänen;Ilkka Niemelä

  • A Tableau Calculus for Minimal Model Reasoning

    Ilkka Niemelä

  • Smodels: A System for Answer Set Programming

    Ilkka Niemelä;Patrik Simons;Tommi Syrjänen

  • Bounded LTL model checking with stable models

    Keijo Heljanko;Ilkka Niemelä

  • Representing Configuration Knowledge With Weight Constraint Rules

    Timo Soininen;Ilkka Niemelä;Juha Tiihonen;Reijo Sulonen

  • Logic Programs with Ordered Disjunction

    Gerhard Brewka;Ilkka Niemelä;Tommi Syrjänen

  • A PRACTICAL TOOL FOR MASS-CUSTOMISING CONFIGURABLE PRODUCTS

    Juha Tiihonen;Timo Soininen;Ilkka Niemelä;Reijo Sulonen

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

    Jussi Lahtinen;Janne Valkonen;Kim Björkman;Juho Frits

  • Implementing Circumscription Using a Tableau Method.

    Ilkka Niemelä

Frequent Co-Authors

Gerhard Brewka
Gerhard Brewka Leipzig University
Miroslaw Truszczynski
Miroslaw Truszczynski University of Kentucky
Rolf Drechsler
Rolf Drechsler University of Bremen
Torsten Schaub
Torsten Schaub University of Potsdam
Pertti Vainikainen
Pertti Vainikainen Aalto University
Fabio Massacci
Fabio Massacci Vrije Universiteit Amsterdam

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online education opens numerous pathways for students eager to advance their careers in Computer Science. Flexible and accessible programs allow you to balance work, family, and studies—often at a lower cost compared to traditional options.

Those considering a leadership role may look into affordable online MBA programs. An MBA can help students gain valuable management and business skills, making it an excellent choice for tech professionals eyeing upper-level positions.

If you want to fast-track your credentials, various online one year masters programs are designed to help you quickly enhance your expertise and become job-ready in less time.

For those seeking high ROI, review degrees you can get online that pay well. Degrees in technology, business, and specialty areas like data analytics often lead to lucrative opportunities.

Artificial Intelligence is another booming field. If this excites you, consider the best online AI degrees to gain cutting-edge skills essential for tomorrow’s workforce.

Best Scientists Citing Ilkka Niemelä

Trending Scientists

Recently Published Articles