A. Oxley

2000

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

Whom A. Oxley trusts overall

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

  1. R. Fikes
  2. Nils J. Nilsson

Who trusts A. Oxley overall

  1. Tobias Nipkow
  2. Ali Ahmad
  3. Kathryn J. Lively
  4. Lawrence Charles Paulson
  5. Jianghai Hu
  6. Cen Rao
  7. Krishna N. Ramachandran
  8. M. Wenzel
  9. David R. Heise
  10. Filip Najman

Papers from A. Oxley's perspective

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

  1. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
  2. Toward automatic program synthesis
  3. Application of Theorem Proving to Problem Solving
  4. Shakey the Robot
  5. Principles of Artificial Intelligence

Their papers