Author:
Levesque Hector J.,Reiter Raymond,Lespérance Yves,Lin Fangzhen,Scherl Richard B.
Reference35 articles.
1. Reasoning about Noisy Sensors in the Situation Calculus;Bacchus,1995
2. An Overview of Transaction Logic;Bonner;Theoretical Computer Science,1994
3. Embedded Computation and the Semantics of Programs;Dixon,1991
4. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving;Fikes;Artificial Intelligence,1971
5. Logics of Time and Computation;Goldblatt,1987
Cited by
477 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献