Raymond Reiter | Academic Influence

Raymond Reiter's AcademicInfluence.com Rankings

Raymond Reiter

Computer Science

#2098

World Rank

#2180

Historical Rank

Database

#1139

World Rank

#1196

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Raymond Reiter's Degrees

PhD Computer Science Stanford University
Bachelors Mathematics University of Manitoba

Similar Degrees You Can Earn

Why Is Raymond Reiter Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Raymond Reiter was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed-world reasoning, and truth maintenance systems. He also contributed to the situation calculus.

(See a Problem?)

Raymond Reiter's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Logic for Default Reasoning (1987) (4424)
A Theory of Diagnosis from First Principles (1986) (3388)
GOLOG: A Logic Programming Language for Dynamic Domains (1997) (1300)
On Closed World Data Bases (1987) (1157)
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression (1991) (985)
Towards a Logical Reconstruction of Relational Database Theory (1982) (714)
Characterizing Diagnoses and Systems (1992) (667)
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (2001) (518)
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report (1987) (429)
State Constraints Revisited (1994) (327)
Foundations for the Situation Calculus (1998) (310)
On Interacting Defaults (1981) (290)
Symbolic Dynamic Programming for First-Order MDPs (2001) (275)
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus (2000) (268)
Scheduling Parallel Computations (1968) (245)
Natural Actions, Concurrency and Continuous Time in the Situation Calculus (1996) (227)
On Inheritance Hierarchies With Exceptions (1983) (219)
Some contributions to the metatheory of the situation calculus (1999) (218)
On the Frame Problem in Procedure Specifications (1995) (204)
Proving Properties of States in the Situation Calculus (1993) (197)
Equality and Domain Closure in First-Order Databases (1980) (192)
How to Progress a Database (1997) (187)
A Logical Framework for Depiction and Image Interpretation (1989) (187)
Deductive Question-Answering on Relational Data Bases (1977) (177)
Foundations of a Logical Approach to Agent Programming (1995) (177)
On Reasoning by Default (1978) (172)
A sound and sometimes complete query evaluation algorithm for relational databases with null values (1986) (166)
Forget It ! (1994) (157)
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus (1993) (153)
Execution Monitoring of High-Level Robot Programs (1998) (138)
What should a database know? (1988) (138)
A Logical Approach to High-Level Robot Programming A Progress Report* (1994) (132)
Characterizing Diagnoses (1990) (125)
On Specifying Database Updates (1995) (119)
On Integrity Constraints (1988) (112)
Hard problems for simple default logics (1992) (106)
On the adequacy of predicate circumscription for closed‐world reasoning (1985) (105)
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language (1977) (95)
On knowledge-based programming with sensing in the situation calculus (2001) (95)
Circumscription Implies Predicate Completion (Sometimes) (1982) (92)
SOME REPRESENTATIONAL ISSUES IN DEFAULT REASONING (1980) (85)
A Semantically Guided Deductive System for Automatic Theorem Proving (1973) (80)
Open World Planning in the Situation Calculus (2000) (68)
On Asking What a Database Knows (1990) (66)
'. . . and nothing else changes': the frame problem in procedure specifications (1993) (65)
Reasoning about time in the situation calculus (1995) (65)
Two Results on Ordering for Resolution with Merging and Linear Format (1971) (63)
Nonmonotonic reasoning (1988) (54)
Sequential, Temporal GOLOG (1998) (53)
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (2001) (50)
A Situation Calculus Approach to Modeling and Programming Agents (1999) (47)
A Note on Linear Resolution Strategies in Consequence-Finding (1972) (45)
On Formalizing Database Updates: Preliminary Report (1992) (44)
How to Progress a Database II: The STRIPS Connection (1995) (43)
Formalizing Database Evolution in the Situation Calculus (1992) (42)
How to Progress a Database (and Why) I. Logical Foundations (1994) (40)
On tests for hypothetical reasoning (1992) (35)
An Approach to Deductive Question-Answering (1977) (34)
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (1991) (32)
Nonmonotonic reasoning in the framework of situation calculus (1992) (32)
The projection problem in the situation calculus: a soundness and completeness result, with an application to database updates (1992) (30)
Structural Abstraction in Model-Based Diagnosis (1998) (30)
Knowledge representation (1991) (28)
Rules as Actions: A Situation Calculus Semantics for Logic Programs (1997) (28)
Planning with natural actions in the situation calculus (2000) (26)
On Assembly-Line Balancing Problems (1969) (25)
IJCAI-91: proceedings of the twelfth International Joint Conference on Artificial Intelligence : Darling Harbour, Sydney, Australia, 24-30 august 1991 (1991) (24)
On the Integrity of Typed First Order Data Bases (1979) (23)
The Logic of Depiction (1987) (21)
Towards a formal account of diagnostic problem solving (1997) (21)
Data bases: A logical perspective (1980) (20)
Narratives as Programs (2000) (18)
Proceedings of the first international conference on Principles of knowledge representation and reasoning (1989) (16)
Embedding decision-analytic control in a learning architecture (1992) (15)
Controlling Autonomous Robots with GOLOG (1997) (14)
On The Semantics of Belief Revision Systems (1992) (13)
A study of a model for parallel computations (1967) (13)
The predicate elimination strategy in theorem proving (1970) (9)
Three-valued nonmonotonic formalisms and semantics of logic programs (1992) (7)
Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1 (1991) (6)
A Panel on AI and Databases (1983) (5)
Chapter 12 – Nonmonotonic Reasoning (1988) (5)
Introduction to the Special Volume on Knowledge Representation (1991) (5)
On Closed World Data Bases / 119 on Closed World Data Bases (4)
Circumscription and Generic Mathematical Objects (1994) (4)
Formal Reasoning and Language Understanding System (1975) (3)
- 1-On the Frame Problem in Procedure Specifications (1993) (3)
The effect of knowledge on belief: conditioning, specificity and the lottery paradox in default reasoning (1992) (3)
An approach to deductive question-answering systems (1977) (3)
Principles of metareasoning (1992) (3)
Scheduling in the situation calculus: A case study (1997) (3)
A COUNTEREXAMPLE IS WORTH A THOUSAND WORDS (1993) (3)
Proceedings of the Twelfth International Conference on Artificial Intelligence : IJCAI-91, Darling Harbour, Sydney, Australia, 24-30 August 1991 (1991) (3)
On Experiments for Hypothetical Reasoning (1991) (2)
A study model for parallel computation (1965) (2)
A Logical Approach to Portable High-level Robot Programming (2007) (2)
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef (1992) (2)
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions (2003) (1)
Presentation (discussion) (1980) (1)
A Characterizing Diagonases and Systems (1990) (1)
The substitutional framework for sorted deduction: fundamental results on hybrid reasoning (1992) (1)
Eecient Defeasible Reasoning Systems 7. Current and Future Work Eecient Defeasible Reasoning Systems Levels(n) (2001) (0)
Foundations for Knowledge-Based Systems (Invited Paper) (1986) (0)
Integrity Constraints for Knowledge Bases (1988) (0)
A New Semantics For Logic Programs (2001) (0)
AI research at the University of British Columbia (1974) (0)
Linkk Oping Electronic Articles in Foundations for the Situation Calculus Linkk Oping Electronic Articles in Computer and Information Science (1998) (0)
How to Execute a Conditional (1996) (0)
Initiation timing in a model for paralell computation (1966) (0)
Impediments to universal preference-based default theories * (1992) (0)
State Constraints Revisited 1 (1994) (0)
On self-modifying programs (1974) (0)
Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s (1977) (0)
Must logicists become programmers? (1987) (0)
On Reasoning by Default (1978) (0)
The University of British Columbia (1974) (0)
On Specifying Database Updates (Invited Lecture) (1994) (0)
Discussion of: Forget It! (1994) (0)
Existence assumptions in knowledge representation (1992) (0)
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples (1994) (0)
2.2 Sensing 2.1 Acting a Logic for Acting, Sensing and Planning (1995) (0)
The computational complexity of abduction (1992) (0)
I 0 = (ffx 0 A; Y 0 Bg =: 0 G; ;) (1988) (0)
″And nothing else″: the frame problem in procedure specifications (1993) (0)
On the applicability of nonmonotonic logic to formal reasoning in continuous time (1992) (0)
Temporal constraint networks (1992) (0)
Computational semantics: Eugene Charniak and Yorick Wilks, Eds., North-Holland Publishing Company, 1976 (1977) (0)

This paper list is powered by the following services:

Other Resources About Raymond Reiter

en.wikipedia.org

What Schools Are Affiliated With Raymond Reiter?

Raymond Reiter is affiliated with the following schools: