| 2001 | IJCAI | Symbolic Dynamic Programming for First-Order MDPs. | Craig Boutilier, Raymond Reiter, Bob Price |
| 2000 | AAAI | Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. | Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun |
| 2000 | AAAI | Open World Planning in the Situation Calculus. | Alberto Finzi, Fiora Pirri, Raymond Reiter |
| 2000 | KR | Narratives as Programs. | Raymond Reiter |
| 1998 | ECAI | Structural Abstraction in Model-Based Diagnosis. | Kari Autio, Raymond Reiter |
| 1998 | KR | Execution Monitoring of High-Level Robot Programs. | Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski |
| 1998 | KR | Sequential, Temporal GOLOG. | Raymond Reiter |
| 1996 | KR | Natural Actions, Concurrency and Continuous Time in the Situation Calculus. | Raymond Reiter |
| 1995 | IJCAI | How to Progress a Database II: The STRIPS Connection. | Fangzhen Lin, Raymond Reiter |
| 1994 | JELIA | On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. | Leopoldo E. Bertossi, Raymond Reiter |
| 1994 | KR | How to Progress a Database (and Why) I. Logical Foundations. | Fangzhen Lin, Raymond Reiter |
| 1993 | ICLP | Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. | Javier Pinto, Raymond Reiter |
| 1993 | ICSE | "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. | Alexander Borgida, John Mylopoulos, Raymond Reiter |
| 1992 | EDBT | On Formalizing Database Updates: Preliminary Report. | Raymond Reiter |
| 1992 | KR | Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. | Raymond Reiter |
| 1992 | TARK | On The Semantics of Belief Revision Systems. | Gsta Grahne, Alberto O. Mendelzon, Raymond Reiter |
| 1990 | AAAI | Characterizing Diagnoses. | Johan de Kleer, Alan K. Mackworth, Raymond Reiter |
| 1990 | ICLP | What Should a Database Know? | Raymond Reiter |
| 1988 | DS | Integrity Constraints for Knowledge Bases. | Raymond Reiter |
| 1988 | PODS | What Should A Database Know? | Raymond Reiter |
| 1988 | TARK | On Integrity Constraints. | Raymond Reiter |
| 1987 | AAAI | Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. | Raymond Reiter, Johan de Kleer |
| 1983 | AAAI | On Inheritance Hierarchies With Exceptions. | David W. Etherington, Raymond Reiter |
| 1983 | IJCAI | A Panel on AI and Databases. | Raymond Reiter, Herv Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber |
| 1982 | AAAI | Circumscription Implies Predicate Completion (Sometimes). | Raymond Reiter |
| 1981 | IJCAI | On Interacting Defaults. | Raymond Reiter, Giovanni Criscuolo |
| 1980 | SIGMOD | Presentation (discussion). | L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes |
| 1980 | SIGMOD | Data Bases: A Logical Perspective. | Raymond Reiter |
| 1977 | IJCAI | Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. | Bonnie Nash-Webber, Raymond Reiter |
| 1973 | IJCAI | A Semantically Guided Deductive System for Automatic Theorem-Proving. | Raymond Reiter |
| 1970 | STOC | The Predicate Elimination Strategy in Theorem Proving | Raymond Reiter |