Searching for authors named Raymond Reiter – sorted by Relevance.
-
The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with an Application to Database Updates
- , with an Application to Database Updates Raymond Reiter Department of Computer Science University of Toronto Toronto
- Cited by 13 (1 self) – Add To MetaCart
-
On Formalizing Database Updates: Preliminary Report
- On Formalizing Database Updates: Preliminary Report Raymond Reiter Department of Computer Science
- Cited by 27 (3 self) – Add To MetaCart
-
Formalizing Database Evolution in the Situation Calculus
- Formalizing Database Evolution in the Situation Calculus Raymond Reiter Department of Computer
- Cited by 24 (1 self) – Add To MetaCart
-
Formal Reasoning ~nd Language Understanding Systems
- ! ! Formal Reasoning ~nd Language Understanding Systems Raymond Reiter Department of Computer
- Add To MetaCart
-
On Specifying Database Updates
- J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 ON SPECIFYING DATABASE UPDATES RAYMOND REITER . We
- Cited by 74 (10 self) – Add To MetaCart
-
Proving Properties of States in the Situation Calculus
- Proving Properties of States in the Situation Calculus Raymond Reiter Department of Computer
- Cited by 101 (14 self) – Add To MetaCart
-
On Reasoning By Default
- . INTRODUCTION ON REASONING BY DEFAULT Raymond Reiter Department of Computer Science University of British
- Add To MetaCart
-
On Experiments for Hypothetical Reasoning
- On Experiments for Hypothetical Reasoning Sheila McIlraith and Raymond Reiter Department
- Cited by 1 (0 self) – Add To MetaCart
-
On Tests for Hypothetical Reasoning
- On Tests for Hypothetical Reasoning Sheila McIlraith and Raymond Reiter y Department
- Cited by 18 (4 self) – Add To MetaCart
-
Reasoning about Time in the Situation Calculus.
- 'on Pontificia Universidad Cat'olica de Chile Casilla 306, Santiago 22, Chile jpinto@(email omitted); Raymond Reiter y
- Cited by 31 (4 self) – Add To MetaCart

