Ilkka Niemelä

Artificial Intelligence · 1997–2000

A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 7 researchers here, as inferred from the citation graph.

Whom Ilkka Niemelä trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. John McCarthy

Who trusts Ilkka Niemelä overall

  1. Martin Gebser
  2. Antti Hyttinen
  3. Benjamin Kaufmann
  4. Nicola Leone
  5. Martin Wigbertus Antonius Caminada

Papers from Ilkka Niemelä's perspective

Ordered by how strongly the researchers Ilkka Niemelä trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Circumscription: a form of non-monotonic reasoning
  2. Applications of Circumscription to Formalizing Common Sense Knowledge
  3. The well-founded semantics for general logic programs
  4. A machine program for theorem-proving (CACM)
  5. Foundations of Logic Programming
  6. Towards a Theory of Declarative Knowledge
  7. Programming a computer for playing chess
  8. Computing Machinery and Intelligence
  9. Human Problem Solving.
  10. Situations, Actions, and Causal Laws

Their papers