Scheduling Parallel Computations. - Raymond Reiter (J. ACM, 1968)

On Assembly-Line Balancing Problems. - Raymond Reiter (Oper. Res., 1969)

The Predicate Elimination Strategy in Theorem Proving - Raymond Reiter (STOC, 1970)

Two Results on Ordering for Resolution with Merging and Linear Format. - Raymond Reiter (J. ACM, 1971)

A Note on Linear Resolution Strategies in Consequence-Finding. - Eliana Minicozzi; Raymond Reiter (Artif. Intell., 1972)

On self-modifying programs. - Raymond Reiter (Inf. Sci., 1974)

The University of British Columbia. - Raymond Reiter; Richard S. Rosenberg (SIGART Newsl., 1974)

AI research at the University of British Columbia. - Raymond Reiter; Richard S. Rosenberg (SIGART Newsl., 1974)

Formal Reasoning and Language Understanding System. - Raymond Reiter (TINLAP, 1975)

A Semantically Guided Deductive System for Automatic Theorem Proving. - Raymond Reiter (IEEE Trans. Computers, 1976)

On Closed World Data Bases. - Raymond Reiter (Logic and Data Bases, 1977)

Deductive Question-Answering on Relational Data Bases. - Raymond Reiter (Logic and Data Bases, 1977)

Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. - Bonnie Nash-Webber; Raymond Reiter (IJCAI, 1977)

Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s. - Raymond Reiter (Artif. Intell., 1977)

An approach to deductive question-answering systems. - Raymond Reiter (SIGART Newsl., 1977)

On Reasoning by Default. - Raymond Reiter (TINLAP, 1978)

On the Integrity of Typed First Order Data Bases. - Raymond Reiter (Advances in Data Base Theory, 1979)

Presentation (discussion). - L. Peter Deutsch; Jaime G. Carbonell; Charles Rich; Raymond Reiter; Hartmut Wedekind; Patrick J. Hayes (SIGMOD Rec., 1980)

Data Bases: A Logical Perspective. - Raymond Reiter (SIGMOD Rec., 1980)

A Logic for Default Reasoning. - Raymond Reiter (Artif. Intell., 1980)

Equality and Domain Closure in First-Order Databases. - Raymond Reiter (J. ACM, 1980)

On Interacting Defaults. - Raymond Reiter; Giovanni Criscuolo (IJCAI, 1981)

Circumscription Implies Predicate Completion (Sometimes). - Raymond Reiter (AAAI, 1982)

Towards a Logical Reconstruction of Relational Database Theory. - Raymond Reiter (On Conceptual Modelling (Intervale), 1982)

On Inheritance Hierarchies With Exceptions. - David W. Etherington; Raymond Reiter (AAAI, 1983)

A Panel on AI and Databases. - Raymond Reiter; Hervé Gallaire; Jonathan J. King; John Mylopoulos; Bonnie L. Webber (IJCAI, 1983)

On the adequacy of predicate circumscription for closed-world reasoning. - David W. Etherington; Robert E. Mercer; Raymond Reiter (Comput. Intell., 1985)

Foundations for Knowledge-Based Systems (Invited Paper). - Raymond Reiter (IFIP Congress, 1986)

A sound and sometimes complete query evaluation algorithm for relational databases with null values. - Raymond Reiter (J. ACM, 1986)

Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. - Raymond Reiter; Johan de Kleer (AAAI, 1987)

A Theory of Diagnosis from First Principles. - Raymond Reiter (Artif. Intell., 1987)

Integrity Constraints for Knowledge Bases. - Raymond Reiter (DS-3, 1988)

On Integrity Constraints. - Raymond Reiter (TARK, 1988)

A Logical Framework for Depiction and Image Interpretation. - Raymond Reiter; Alan K. Mackworth (Artif. Intell., 1989)

Characterizing Diagnoses. - Johan de Kleer; Alan K. Mackworth; Raymond Reiter (AAAI, 1990)

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. - Raymond Reiter (Artificial and Mathematical Theory of Computation, 1991)

Introduction to the Special Volume on Knowledge Representation. - Ronald J. Brachman; Hector J. Levesque; Raymond Reiter (Artif. Intell., 1991)

On Formalizing Database Updates: Preliminary Report. - Raymond Reiter (EDBT, 1992)

Formalizing Database Evolution in the Situation Calculus. - Raymond Reiter (FGCS, 1992)

Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. - Raymond Reiter (KR, 1992)

On The Semantics of Belief Revision Systems. - Gösta Grahne; Alberto O. Mendelzon; Raymond Reiter (TARK, 1992)

Characterizing Diagnoses and Systems. - Johan de Kleer; Alan K. Mackworth; Raymond Reiter (Artif. Intell., 1992)

What Should a Database Know? - Raymond Reiter (J. Log. Program., 1992)

Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. - Javier Pinto; Raymond Reiter (ICLP, 1993)

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. - Alexander Borgida; John Mylopoulos; Raymond Reiter (ICSE, 1993)

Proving Properties of States in the Situation Calculus. - Raymond Reiter (Artif. Intell., 1993)

On Specifying Database Updates (Invited Lecture). - Raymond Reiter (DAISD, 1994)

On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. - Leopoldo E. Bertossi; Raymond Reiter (JELIA, 1994)

How to Progress a Database (and Why) I. Logical Foundations. - Fangzhen Lin; Raymond Reiter (KR, 1994)

Circumscription and Generic Mathematical Objects. - Leopoldo E. Bertossi; Raymond Reiter (Fundam. Informaticae, 1994)

State Constraints Revisited. - Fangzhen Lin; Raymond Reiter (J. Log. Comput., 1994)

Foundations of a Logical Approach to Agent Programming. - Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Richard B. Scherl (ATAL, 1995)

How to Progress a Database II: The STRIPS Connection. - Fangzhen Lin; Raymond Reiter (IJCAI, 1995)

Reasoning About Time in the Situation Calculus. - Javier Pinto; Raymond Reiter (Ann. Math. Artif. Intell., 1995)

On Specifying Database Updates. - Raymond Reiter (J. Log. Program., 1995)

On the Frame Problem in Procedure Specifications. - Alexander Borgida; John Mylopoulos; Raymond Reiter (IEEE Trans. Software Eng., 1995)

Natural Actions, Concurrency and Continuous Time in the Situation Calculus. - Raymond Reiter (KR, 1996)

Controlling Autonomous Robots with GOLOG. - Kenneth Tam; J. Lloyd; Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Michael R. M. Jenkin (Australian Joint Conference on Artificial Intelligence, 1997)

How to Progress a Database. - Fangzhen Lin; Raymond Reiter (Artif. Intell., 1997)

Scheduling in the Situation Calculus: A Case Study. - Raymond Reiter; Zheng Yuhua (Ann. Math. Artif. Intell., 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)

Rules as Actions: A Situation Calculus Semantics for Logic Programs. - Fangzhen Lin; Raymond Reiter (J. Log. Program., 1997)

Structural Abstraction in Model-Based Diagnosis. - Kari Autio; Raymond Reiter (ECAI, 1998)

Execution Monitoring of High-Level Robot Programs. - Giuseppe De Giacomo; Raymond Reiter; Mikhail Soutchanski (KR, 1998)

Sequential, Temporal GOLOG. - Raymond Reiter (KR, 1998)

Foundations for the Situation Calculus. - Hector J. Levesque; Fiora Pirri; Raymond Reiter (Electron. Trans. Artif. Intell., 1998)

Some Contributions to the Metatheory of the Situation Calculus. - Fiora Pirri; Raymond Reiter (J. ACM, 1999)

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. - Craig Boutilier; Raymond Reiter; Mikhail Soutchanski; Sebastian Thrun (AAAI/IAAI, 2000)

Open World Planning in the Situation Calculus. - Alberto Finzi; Fiora Pirri; Raymond Reiter (AAAI/IAAI, 2000)

Narratives as Programs. - Raymond Reiter (KR, 2000)

Symbolic Dynamic Programming for First-Order MDPs. - Craig Boutilier; Raymond Reiter; Bob Price (IJCAI, 2001)

On knowledge-based programming with sensing in the situation calculus. - Raymond Reiter (ACM Trans. Comput. Log., 2001)

A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions. - Iluju Kiringa; Raymond Reiter (DBPL, 2003)

Non-terminating processes in the situation calculus. - Giuseppe De Giacomo; Eugenia Ternovska; Ray Reiter (Ann. Math. Artif. Intell., 2020)