Raymond Reiter

According to our database, Raymond Reiter authored at least 74 papers between 1968 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Non-terminating processes in the situation calculus.

Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter

Ann. Math. Artif. Intell., 2020

2003

A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions.

Iluju Kiringa, Raymond Reiter

Proceedings of the Database Programming Languages, 9th International Workshop, 2003

2001

On knowledge-based programming with sensing in the situation calculus.

Raymond Reiter

ACM Trans. Comput. Log., 2001

Symbolic Dynamic Programming for First-Order MDPs.

Craig Boutilier, Raymond Reiter, Bob Price

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Narratives as Programs.

Raymond Reiter

Proceedings of the KR 2000, 2000

Open World Planning in the Situation Calculus.

Alberto Finzi, Fiora Pirri, Raymond Reiter

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus.

Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Some Contributions to the Metatheory of the Situation Calculus.

Fiora Pirri, Raymond Reiter

J. ACM, 1999

1998

Foundations for the Situation Calculus.

Hector J. Levesque, Fiora Pirri, Raymond Reiter

Electron. Trans. Artif. Intell., 1998

Sequential, Temporal GOLOG.

Raymond Reiter

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Execution Monitoring of High-Level Robot Programs.

Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Structural Abstraction in Model-Based Diagnosis.

Kari Autio, Raymond Reiter

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Rules as Actions: A Situation Calculus Semantics for Logic Programs.

Fangzhen Lin, Raymond Reiter

J. Log. Program., 1997

GOLOG: A Logic Programming Language for Dynamic Domains.

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

J. Log. Program., 1997

Scheduling in the Situation Calculus: A Case Study.

Raymond Reiter, Zheng Yuhua

Ann. Math. Artif. Intell., 1997

How to Progress a Database.

Fangzhen Lin, Raymond Reiter

Artif. Intell., 1997

Controlling Autonomous Robots with <i>GOLOG</i>.

Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

Natural Actions, Concurrency and Continuous Time in the Situation Calculus.

Raymond Reiter

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1995

On the Frame Problem in Procedure Specifications.

Alexander Borgida, John Mylopoulos, Raymond Reiter

IEEE Trans. Software Eng., 1995

On Specifying Database Updates.

Raymond Reiter

J. Log. Program., 1995

Reasoning About Time in the Situation Calculus.

Javier Pinto, Raymond Reiter

Ann. Math. Artif. Intell., 1995

How to Progress a Database II: The STRIPS Connection.

Fangzhen Lin, Raymond Reiter

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Foundations of a Logical Approach to Agent Programming.

Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl

Proceedings of the Intelligent Agents II, 1995

1994

State Constraints Revisited.

Fangzhen Lin, Raymond Reiter

J. Log. Comput., 1994

Circumscription and Generic Mathematical Objects.

Leopoldo E. Bertossi, Raymond Reiter

Fundam. Informaticae, 1994

How to Progress a Database (and Why) I. Logical Foundations.

Fangzhen Lin, Raymond Reiter

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples.

Leopoldo E. Bertossi, Raymond Reiter

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

On Specifying Database Updates (Invited Lecture).

Raymond Reiter

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

1993

Proving Properties of States in the Situation Calculus.

Raymond Reiter

Artif. Intell., 1993

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.

Alexander Borgida, John Mylopoulos, Raymond Reiter

Proceedings of the 15th International Conference on Software Engineering, 1993

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.

Javier Pinto, Raymond Reiter

Proceedings of the Logic Programming, 1993

1992

What Should a Database Know?

Raymond Reiter

J. Log. Program., 1992

Characterizing Diagnoses and Systems.

Johan de Kleer, Alan K. Mackworth, Raymond Reiter

Artif. Intell., 1992

On The Semantics of Belief Revision Systems.

Gösta Grahne, Alberto O. Mendelzon, Raymond Reiter

Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef.

Raymond Reiter

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Formalizing Database Evolution in the Situation Calculus.

Raymond Reiter

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

On Formalizing Database Updates: Preliminary Report.

Raymond Reiter

Proceedings of the Advances in Database Technology, 1992

1991

Introduction to the Special Volume on Knowledge Representation.

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter

Artif. Intell., 1991

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression.

Raymond Reiter

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990

Characterizing Diagnoses.

Johan de Kleer, Alan K. Mackworth, Raymond Reiter

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

A Logical Framework for Depiction and Image Interpretation.

Raymond Reiter, Alan K. Mackworth

Artif. Intell., 1989

1988

On Integrity Constraints.

Raymond Reiter

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Integrity Constraints for Knowledge Bases.

Raymond Reiter

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

1987

A Theory of Diagnosis from First Principles.

Raymond Reiter

Artif. Intell., 1987

Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.

Raymond Reiter, Johan de Kleer

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

A sound and sometimes complete query evaluation algorithm for relational databases with null values.

Raymond Reiter

J. ACM, 1986

Foundations for Knowledge-Based Systems (Invited Paper).

Raymond Reiter

Proceedings of the Information Processing 86, 1986

1985

On the adequacy of predicate circumscription for closed-world reasoning.

David W. Etherington, Robert E. Mercer, Raymond Reiter

Comput. Intell., 1985

1983

A Panel on AI and Databases.

Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

On Inheritance Hierarchies With Exceptions.

David W. Etherington, Raymond Reiter

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

Towards a Logical Reconstruction of Relational Database Theory.

Raymond Reiter

Proceedings of the On Conceptual Modelling, 1982

Circumscription Implies Predicate Completion (Sometimes).

Raymond Reiter

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

On Interacting Defaults.

Raymond Reiter, Giovanni Criscuolo

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Equality and Domain Closure in First-Order Databases.

Raymond Reiter

J. ACM, 1980

A Logic for Default Reasoning.

Raymond Reiter

Artif. Intell., 1980

Data Bases: A Logical Perspective.

Raymond Reiter

Proceedings of the Workshop on Data Abstraction, 1980

Presentation (discussion).

L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes

Proceedings of the Workshop on Data Abstraction, 1980

1979

On the Integrity of Typed First Order Data Bases.

Raymond Reiter

Proceedings of the Advances in Data Base Theory, 1979

1978

On Reasoning by Default.

Raymond Reiter

Proceedings of the Theoretical Issues in Natural Language Processing-2, 1978

1977

An approach to deductive question-answering systems.

Raymond Reiter

SIGART Newsl., 1977

Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s.

Raymond Reiter

Artif. Intell., 1977

Anaphora and Logical Form: On Formal Meaning Representations for Natural Language.

Bonnie Nash-Webber, Raymond Reiter

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Deductive Question-Answering on Relational Data Bases.

Raymond Reiter

Proceedings of the Logic and Data Bases, 1977

On Closed World Data Bases.

Raymond Reiter

Proceedings of the Logic and Data Bases, 1977

1976

A Semantically Guided Deductive System for Automatic Theorem Proving.

Raymond Reiter

IEEE Trans. Computers, 1976

1975

Formal Reasoning and Language Understanding System.

Raymond Reiter

Proceedings of the Theoretical Issues in Natural Language Processing, 1975

1974

AI research at the University of British Columbia.

Raymond Reiter, Richard S. Rosenberg

SIGART Newsl., 1974

The University of British Columbia.

Raymond Reiter, Richard S. Rosenberg

SIGART Newsl., 1974

On self-modifying programs.

Raymond Reiter

Inf. Sci., 1974

1972

A Note on Linear Resolution Strategies in Consequence-Finding.

Eliana Minicozzi, Raymond Reiter

Artif. Intell., 1972

1971

Two Results on Ordering for Resolution with Merging and Linear Format.

Raymond Reiter

J. ACM, 1971

1970

The Predicate Elimination Strategy in Theorem Proving

Raymond Reiter

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

1969

On Assembly-Line Balancing Problems.

Raymond Reiter

Oper. Res., 1969

1968

Scheduling Parallel Computations.

Raymond Reiter

J. ACM, 1968