Timo Soininen

Artificial Intelligence · 2000

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

Whom Timo Soininen trusts overall

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

  1. John McCarthy

Who trusts Timo Soininen overall

  1. Martin Gebser
  2. Antti Hyttinen

Papers from Timo Soininen's perspective

Ordered by how strongly the researchers Timo Soininen 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. Programming a computer for playing chess
  6. Computing Machinery and Intelligence
  7. Human Problem Solving.
  8. Situations, Actions, and Causal Laws
  9. Report on a general problem-solving program
  10. Steps toward Artificial Intelligence

Their papers