Gerald Pfeifer

TOCL · 2002

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

Whom Gerald Pfeifer trusts overall

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

  1. Raymond Reiter
  2. Donald Ervin Knuth
  3. Fangzhen Lin
  4. Patrik Simons

Who trusts Gerald Pfeifer overall

  1. Martin Gebser
  2. Benjamin Kaufmann

Papers from Gerald Pfeifer's perspective

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

  1. I Computational Complexity
  2. Extending and implementing the stable model semantics (Artificial Intelligence)
  3. ASSAT: computing answer sets of a logic program by SAT solvers (Artificial Intelligence)
  4. The Stanford GraphBase - a platform for combinatorial computing
  5. A Theory of Diagnosis from First Principles
  6. Applications of Circumscription to Formalizing Common Sense Knowledge
  7. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  8. Circumscription: a form of non-monotonic reasoning
  9. Towards a Theory of Declarative Knowledge
  10. The well-founded semantics for general logic programs

Their papers