Travelled to:1 × Germany
1 × Hungary
1 × Israel
1 × Italy
5 × USA
Collaborated with:∅ F.Lin J.Pinto G.D.Giacomo M.Soutchanski A.Borgida J.Mylopoulos
Talks about:program (3) databas (3) what (3) calculus (2) tempor (2) situat (2) should (2) reason (2) logic (2) know (2)
Person: Raymond Reiter
DBLP: Reiter:Raymond
Facilitated 1 volumes:
EdContributed to:
2000199819961994
1993
199319921990
1988
1970Wrote 11 papers:
- KR-2000-Reiter #source code
- Narratives as Programs (RR), pp. 99–108.
- KR-1998-GiacomoRS #execution #monitoring #source code
- Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
- KR-1998-Reiter
- Sequential, Temporal GOLOG (RR), pp. 547–556.
- KR-1996-Reiter #calculus #concurrent
- Natural Actions, Concurrency and Continuous Time in the Situation Calculus (RR), pp. 2–13.
- KR-1994-LinR #database #how #logic #why
- How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.
- ICLP-1993-PintoR #calculus #logic programming #reasoning
- Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (JP, RR), pp. 203–221.
- ICSE-1993-BorgidaMR #problem #quote #specification
- “...And Nothing Else Changes”: The Frame Problem in Procedure Specifications (AB, JM, RR), pp. 303–314.
- KR-1992-Reiter #reasoning #research #what
- Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef (RR), p. 789.
- CLP-1990-Reiter90 #database #question #what
- What Should a Database Know? (RR), p. 765.
- PODS-1988-Reiter #database #question #what
- What Should A Database Know? (RR), pp. 302–304.
- STOC-1970-Reiter #proving #theorem proving
- The Predicate Elimination Strategy in Theorem Proving (RR), pp. 180–183.