BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Reiter:Raymond

Facilitated 1 volumes:

KR 1989Ed

Contributed to:

KR 20002000
KR 19981998
KR 19961996
KR 19941994
ICLP 19931993
ICSE 19931993
KR 19921992
ICLP 19901990
PODS 19881988
STOC 19701970

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.