R. Fikes

International Conference on Principles of Knowledge Representation and Reasoning · 1971–2004

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

Whom R. Fikes trusts overall

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

  1. C. Green
  2. Zohar Manna
  3. Richard J. Waldinger

Who trusts R. Fikes overall

  1. Been Kim
  2. Natasha Noy
  3. Thomas L. Dean
  4. Leslie Pack Kaelbling
  5. Drew V. McDermott
  6. Martijn van Otterlo
  7. Roni Khardon
  8. Bhaskara Marthi
  9. Barbara Messing
  10. Rosen Diankov

Papers from R. Fikes's perspective

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

  1. Application of Theorem Proving to Problem Solving
  2. Toward automatic program synthesis
  3. Experiments with a deductive question-answering program
  4. Automatic discovery of linear restraints among variables of a program
  5. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  6. Theory of linear and integer programming
  7. The Temporal Rover and the ATG Rover (SPIN)
  8. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY
  9. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  10. Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)

Their papers