J. Otten
2008
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 4 researchers here, as inferred from the citation graph.
Whom J. Otten trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts J. Otten overall
Papers from J. Otten's perspective
Ordered by how strongly the researchers J. Otten trusts endorse each paper. Same corpus, a different order for every researcher.
- Automated Theorem Proving (Artificial Intelligence / Künstliche Intelligenz)
- Structural Complexity II (EATCS)
- The well-founded semantics for general logic programs
- Towards a Theory of Declarative Knowledge