In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002

Authors:
Jack Minker
Affiliations:
University of Maryland
Venue:
Theory and Practice of Logic Programming
Year:
2003

Citing 10
Cited 0

A theory of diagnosis from first principles

Artificial Intelligence
A logical framework for depiction and image interpretation

Artificial Intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning

Proceedings of the first international conference on Principles of knowledge representation and reasoning
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Knowledge representation

Knowledge representation
Two Results on Ordering for Resolution with Merging and Linear Format

Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
On Formalizing Database Updates: Preliminary Report

EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
On Indefinite Databases and the Closed World Assumption

Proceedings of the 6th Conference on Automated Deduction
On reasoning by default

TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Raymond Reiter, Professor of computer science at the University of Toronto, a Fellow of the Royal Society of Canada, and winner of the 1993 – IJCAI Outstanding Research Scientist Award, died September 16, 2002, after a year-long struggle with cancer. Reiter, known throughout the world as “Ray,” made foundational contributions to artificial intelligence, knowledge representation and databases, and theorem proving.