Raymond Reiter

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4779807	2002-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4537449	2002-06-30	Paper
Planning with natural actions in the situation calculus	2001-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q4252264	1999-09-23	Paper
GOLOG: A logic programming language for dynamic domains	1997-10-23	Paper
On specifying database updates	1997-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q5688902	1997-05-25	Paper
Reasoning about time in the situation calculus	1996-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4298366	1994-07-26	Paper
Proving properties of states in the situation calculus	1994-06-09	Paper
Characterizing diagnoses and systems	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4016561	1993-01-16	Paper
What should a database know?	1992-11-10	Paper
A logical framework for depiction and image interpretation	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5203719	1988-01-01	Paper
A theory of diagnosis from first principles	1987-01-01	Paper
Some representational issues in default reasoning	1983-01-01	Paper
Equality and Domain Closure in First-Order Databases	1980-01-01	Paper
A Semantically Guided Deductive System for Automatic Theorem Proving	1976-01-01	Paper
On self-modifying programs	1974-01-01	Paper
A note on linear resolution strategies in consequence-finding	1972-01-01	Paper
Two Results on Ordering for Resolution with Merging and Linear Format	1971-01-01	Paper
On Assembly-Line Balancing Problems	1969-01-01	Paper
Scheduling Parallel Computations	1968-01-01	Paper

This page was built for person: Raymond Reiter