Raymond Reiter

Iluju Kiringa, Raymond Reiter: A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions. DBPL 2003: 110-129

Raymond Reiter: On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Log. 2(4): 433-457 (2001)

Craig Boutilier, Raymond Reiter, Bob Price: Symbolic Dynamic Programming for First-Order MDPs. IJCAI 2001: 690-700

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

Alberto Finzi, Fiora Pirri, Raymond Reiter: Open World Planning in the Situation Calculus. AAAI/IAAI 2000: 754-760

Raymond Reiter: Narratives as Programs. KR 2000: 99-108

Fiora Pirri, Raymond Reiter: Some Contributions to the Metatheory of the Situation Calculus. J. ACM 46(3): 325-361 (1999)

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

Kari Autio, Raymond Reiter: Structural Abstraction in Model-Based Diagnosis. ECAI 1998: 269-273

Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski: Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465

Raymond Reiter: Sequential, Temporal GOLOG. KR 1998: 547-556

Fangzhen Lin, Raymond Reiter: How to Progress a Database. Artif. Intell. 92(1-2): 131-167 (1997)

Raymond Reiter, Zheng Yuhua: Scheduling in the Situation Calculus: A Case Study. Ann. Math. Artif. Intell. 21(2-4): 397-421 (1997)

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl: GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. 31(1-3): 59-83 (1997)

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

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

Raymond Reiter: Natural Actions, Concurrency and Continuous Time in the Situation Calculus. KR 1996: 2-13

Javier Pinto, Raymond Reiter: Reasoning About Time in the Situation Calculus. Ann. Math. Artif. Intell. 14(2-4): 251-268 (1995)

Raymond Reiter: On Specifying Database Updates. J. Log. Program. 25(1): 53-91 (1995)

Alexander Borgida, John Mylopoulos, Raymond Reiter: On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21(10): 785-798 (1995)

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

Fangzhen Lin, Raymond Reiter: How to Progress a Database II: The STRIPS Connection. IJCAI 1995: 2001-2009

Leopoldo E. Bertossi, Raymond Reiter: Circumscription and Generic Mathematical Objects. Fundam. Inform. 21(1/2): 113-123 (1994)

Fangzhen Lin, Raymond Reiter: State Constraints Revisited. J. Log. Comput. 4(5): 655-678 (1994)

Raymond Reiter: On Specifying Database Updates (Invited Lecture). DAISD 1994: 219-253

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

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

Raymond Reiter: Proving Properties of States in the Situation Calculus. Artif. Intell. 64(2): 337-351 (1993)

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

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

Johan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses and Systems. Artif. Intell. 56(2-3): 197-222 (1992)

Raymond Reiter: What Should a Database Know? J. Log. Program. 14(1&2): 127-153 (1992)

Raymond Reiter: On Formalizing Database Updates: Preliminary Report. EDBT 1992: 10-20

Raymond Reiter: Formalizing Database Evolution in the Situation Calculus. FGCS 1992: 600-609

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

Gösta Grahne, Alberto O. Mendelzon, Raymond Reiter: On The Semantics of Belief Revision Systems. TARK 1992: 132-142

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

John Mylopoulos, Raymond Reiter (Eds.): Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991. Morgan Kaufmann 1991, isbn 1-55860-160-0

Johan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses. AAAI 1990: 324-330

Johan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses. Expert Systems in Engineering 1990: 1-15

Raymond Reiter: What Should a Database Know? ICLP 1990: 765

Raymond Reiter, Alan K. Mackworth: A Logical Framework for Depiction and Image Interpretation. Artif. Intell. 41(2): 125-155 (1989)

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter (Eds.): Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. Morgan Kaufmann 1989, isbn 1-55860-032-9

Raymond Reiter: Integrity Constraints for Knowledge Bases. DS-3 1988: 3-16

Raymond Reiter: What Should A Database Know? PODS 1988: 302-304

Raymond Reiter: On Integrity Constraints. TARK 1988: 97-111

Raymond Reiter: A Theory of Diagnosis from First Principles. Artif. Intell. 32(1): 57-95 (1987)

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

Raymond Reiter: A sound and sometimes complete query evaluation algorithm for relational databases with null values. J. ACM 33(2): 349-370 (1986)

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

David W. Etherington, Robert E. Mercer, Raymond Reiter: On the adequacy of predicate circumscription for closed-world reasoning. Computational Intelligence 1: 11-15 (1985)

David W. Etherington, Robert E. Mercer, Raymond Reiter: On the Adequacy of Predicate Circumscription for Closed-World Reasoning. NMR 1984: 70-81

David W. Etherington, Raymond Reiter: On Inheritance Hierarchies With Exceptions. AAAI 1983: 104-108

Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber: A Panel on AI and Databases. IJCAI 1983: 1199

Raymond Reiter: Circumscription Implies Predicate Completion (Sometimes). AAAI 1982: 418-420

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

Raymond Reiter, Giovanni Criscuolo: On Interacting Defaults. IJCAI 1981: 270-276

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132 (1980)

Raymond Reiter: Equality and Domain Closure in First-Order Databases. J. ACM 27(2): 235-249 (1980)

L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes: Presentation (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 62-71

Raymond Reiter: Data Bases: A Logical Perspective. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 174-176

Raymond Reiter: On the Integrity of Typed First Order Data Bases. Advances in Data Base Theory 1979: 137-157

Raymond Reiter: Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s. Artif. Intell. 8(3): 365-372 (1977)

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76

Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177

B. Nash-Webber, Raymond Reiter: Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. IJCAI 1977: 121-131

Raymond Reiter: A Semantically Guided Deductive System for Automatic Theorem Proving. IEEE Trans. Computers 25(4): 328-334 (1976)

Raymond Reiter: On self-modifying programs. Inf. Sci. 7: 157-169 (1974)

Raymond Reiter: A Semantically Guided Deductive System for Automatic Theorem-Proving. IJCAI 1973: 41-46

Eliana Minicozzi, Raymond Reiter: A Note on Linear Resolution Strategies in Consequence-Finding. Artif. Intell. 3(1-3): 175-180 (1972)

Raymond Reiter: Two Results on Ordering for Resolution with Merging and Linear Format. J. ACM 18(4): 630-646 (1971)

Raymond Reiter: The Predicate Elimination Strategy in Theorem Proving. STOC 1970: 180-183

Raymond Reiter: Scheduling Parallel Computations. J. ACM 15(4): 590-599 (1968)