Yves Lespérance
Artificial Intelligence · 2000
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Whom Yves Lespérance trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Yves Lespérance overall
Papers from Yves Lespérance's perspective
Ordered by how strongly the researchers Yves Lespérance trusts endorse each paper. Same corpus, a different order for every researcher.
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
- Foundations of Logic Programming
- How to Progress a Database
- SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
- Mathematical logic
- Applications of Circumscription to Formalizing Common Sense Knowledge
- Toward Mechanical Mathematics
- Reasoning about Noisy Sensors in the Situation Calculus
- Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
- Stochastic dynamic programming with factored representations
Their papers
- ConGolog, a concurrent programming language based on the situation calculus (2000) — 624 citations