Searching for authors named Raymond Reiter – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
