Raymond Reiter
1973–2001
A researcher in the Science corpus: 6 papers; trusts 5 researchers and is trusted by 26 researchers here, as inferred from the citation graph.
Whom Raymond Reiter trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Raymond Reiter overall
- Vaishak Belle
- Hector J. Levesque
- Craig Boutilier
- Adnan Darwiche
- Daniel Jackson
- Scott Sanner
- Yongmei Liu
- Alexander Felfernig
- Fahiem Bacchus
- Gerhard Lakemeyer
Papers from Raymond Reiter's perspective
Ordered by how strongly the researchers Raymond Reiter trusts endorse each paper. Same corpus, a different order for every researcher.
- Applications of Circumscription to Formalizing Common Sense Knowledge
- Markov Decision Processes: Discrete Stochastic Dynamic Programming
- Decision-Theoretic Planning: Structural Assumptions and Computational Leverage
- Stochastic dynamic programming with factored representations
- Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
- Rule-based expert systems: The mycin experiments of the stanford heuristic programming project
- Reasoning about Noisy Sensors in the Situation Calculus
- Toward Mechanical Mathematics
- Situations, Actions, and Causal Laws
Their papers
- Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (2001) — 505 citations
- Symbolic Dynamic Programming for First-Order MDPs (2001) — 292 citations
- How to Progress a Database (1997)
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression (1991)
- A Theory of Diagnosis from First Principles (1986)
- A Semantically Guided Deductive System for Automatic Theorem Proving (1973)