Patrik Simons

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 Patrik Simons trusts overall

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

  1. John McCarthy

Who trusts Patrik Simons overall

  1. Martin Gebser
  2. Antti Hyttinen
  3. Benjamin Kaufmann
  4. Nicola Leone
  5. Wolfgang Faber
  6. Torsten Schaub
  7. Frederick Eberhardt
  8. Matti Järvisalo
  9. Gerald Pfeifer

Papers from Patrik Simons's perspective

Ordered by how strongly the researchers Patrik Simons 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