Wolfgang Faber

Artificial Intelligence · 2002–2019

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

Subfields

Whom Wolfgang Faber trusts overall

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

  1. Martin Gebser
  2. Patrik Simons
  3. Fangzhen Lin
  4. Chitta Baral
  5. Benjamin Kaufmann
  6. Maurice Bruynooghe
  7. Raymond Reiter
  8. Donald Ervin Knuth
  9. Vladimir Lifschitz

Who trusts Wolfgang Faber overall

  1. Martin Gebser
  2. Marco Gavanelli
  3. Peter Schüller
  4. Qing Chen
  5. Benjamin Kaufmann

Papers from Wolfgang Faber's perspective

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

  1. ASSAT: computing answer sets of a logic program by SAT solvers (Artificial Intelligence)
  2. I Computational Complexity
  3. The Stanford GraphBase - a platform for combinatorial computing
  4. A Theory of Diagnosis from First Principles
  5. Applications of Circumscription to Formalizing Common Sense Knowledge
  6. Towards a Theory of Declarative Knowledge
  7. A machine program for theorem-proving (CACM)
  8. The well-founded semantics for general logic programs
  9. Foundations of Logic Programming
  10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers