Raymond Reiter

MaRDI QIDQ582144zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1820675 (Why is no real title available?)	2002-10-27	Paper
scientific article; zbMATH DE number 1761428 (Why is no real title available?)	2002-06-30	Paper
Planning with natural actions in the situation calculus	2001-08-30	Paper
scientific article; zbMATH DE number 1305385 (Why is no real title available?)	1999-09-23	Paper
GOLOG: A logic programming language for dynamic domains The Journal of Logic Programming	1997-10-23	Paper
On specifying database updates The Journal of Logic Programming	1997-10-05	Paper
scientific article; zbMATH DE number 970717 (Why is no real title available?)	1997-05-25	Paper
Reasoning about time in the situation calculus Annals of Mathematics and Artificial Intelligence	1996-11-24	Paper
scientific article; zbMATH DE number 611097 (Why is no real title available?)	1994-07-26	Paper
Proving properties of states in the situation calculus Artificial Intelligence	1994-06-09	Paper
Characterizing diagnoses and systems Artificial Intelligence	1993-01-17	Paper
scientific article; zbMATH DE number 89002 (Why is no real title available?)	1993-01-16	Paper
What should a database know? The Journal of Logic Programming	1992-11-10	Paper
A logical framework for depiction and image interpretation Artificial Intelligence	1989-01-01	Paper
scientific article; zbMATH DE number 4197471 (Why is no real title available?)	1988-01-01	Paper
A theory of diagnosis from first principles Artificial Intelligence	1987-01-01	Paper
Some representational issues in default reasoning Computers & Mathematics with Applications	1983-01-01	Paper
Equality and Domain Closure in First-Order Databases Journal of the ACM	1980-01-01	Paper
A Semantically Guided Deductive System for Automatic Theorem Proving IEEE Transactions on Computers	1976-01-01	Paper
On self-modifying programs Information Sciences	1974-01-01	Paper
A note on linear resolution strategies in consequence-finding Artificial Intelligence	1972-01-01	Paper
Two Results on Ordering for Resolution with Merging and Linear Format Journal of the ACM	1971-01-01	Paper
On Assembly-Line Balancing Problems Operations Research	1969-01-01	Paper
Scheduling Parallel Computations Journal of the ACM	1968-01-01	Paper

Research outcomes over time

This page was built for person: Raymond Reiter