Raymond Reiter

Publication Activity (10 Years)

Years Active: 1968-2003
Publications (10 Years): 0

Publications

Iluju Kiringa, Raymond Reiter
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions. DBPL (2003)
Raymond Reiter
On knowledge-based programming with sensing in the situation calculus. ACM Trans. Comput. Log. 2 (4) (2001)
Craig Boutilier, Raymond Reiter, Bob Price
Symbolic Dynamic Programming for First-Order MDPs. IJCAI (2001)
Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. AAAI/IAAI (2000)
Alberto Finzi, Fiora Pirri, Raymond Reiter
Open World Planning in the Situation Calculus. AAAI/IAAI (2000)
Raymond Reiter
Narratives as Programs. KR (2000)
Fiora Pirri, Raymond Reiter
Some Contributions to the Metatheory of the Situation Calculus. J. ACM 46 (3) (1999)
Hector J. Levesque, Fiora Pirri, Raymond Reiter
Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2 (1998)
Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski
Execution Monitoring of High-Level Robot Programs. KR (1998)
Raymond Reiter
Sequential, Temporal GOLOG. KR (1998)
Kari Autio, Raymond Reiter
Structural Abstraction in Model-Based Diagnosis. ECAI (1998)
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) (1997)
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)
Fangzhen Lin, Raymond Reiter
How to Progress a Database. Artif. Intell. 92 (1-2) (1997)
Raymond Reiter, Zheng Yuhua
Scheduling in the Situation Calculus: A Case Study. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Fangzhen Lin, Raymond Reiter
Rules as Actions: A Situation Calculus Semantics for Logic Programs. J. Log. Program. 31 (1-3) (1997)
Raymond Reiter
Natural Actions, Concurrency and Continuous Time in the Situation Calculus. KR (1996)
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)
Alexander Borgida, John Mylopoulos, Raymond Reiter
On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21 (10) (1995)
Javier Pinto, Raymond Reiter
Reasoning About Time in the Situation Calculus. Ann. Math. Artif. Intell. 14 (2-4) (1995)
Fangzhen Lin, Raymond Reiter
How to Progress a Database II: The STRIPS Connection. IJCAI (1995)
Raymond Reiter
On Specifying Database Updates. J. Log. Program. 25 (1) (1995)
Leopoldo E. Bertossi, Raymond Reiter
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. JELIA (1994)
Fangzhen Lin, Raymond Reiter
How to Progress a Database (and Why) I. Logical Foundations. KR (1994)
Leopoldo E. Bertossi, Raymond Reiter
Circumscription and Generic Mathematical Objects. Fundam. Informaticae 21 (1/2) (1994)
Raymond Reiter
On Specifying Database Updates (Invited Lecture). DAISD (1994)
Fangzhen Lin, Raymond Reiter
State Constraints Revisited. J. Log. Comput. 4 (5) (1994)
Javier Pinto, Raymond Reiter
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. ICLP (1993)
Raymond Reiter
Proving Properties of States in the Situation Calculus. Artif. Intell. 64 (2) (1993)
Alexander Borgida, John Mylopoulos, Raymond Reiter
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE (1993)
Raymond Reiter
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. KR (1992)
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Characterizing Diagnoses and Systems. Artif. Intell. 56 (2-3) (1992)
Gösta Grahne, Alberto O. Mendelzon, Raymond Reiter
On The Semantics of Belief Revision Systems. TARK (1992)
Raymond Reiter
On Formalizing Database Updates: Preliminary Report. EDBT (1992)
Raymond Reiter
Formalizing Database Evolution in the Situation Calculus. FGCS (1992)
Raymond Reiter
What Should a Database Know? J. Log. Program. 14 (1&2) (1992)
Raymond Reiter
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. Artificial and Mathematical Theory of Computation (1991)
Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
Introduction to the Special Volume on Knowledge Representation. Artif. Intell. 49 (1-3) (1991)
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Characterizing Diagnoses. AAAI (1990)
Raymond Reiter
What Should a Database Know? ICLP (1990)
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Characterizing Diagnoses. Expert Systems in Engineering (1990)
Raymond Reiter, Alan K. Mackworth
A Logical Framework for Depiction and Image Interpretation. Artif. Intell. 41 (2) (1989)
Raymond Reiter
On Integrity Constraints. TARK (1988)
Raymond Reiter
Integrity Constraints for Knowledge Bases. DS-3 (1988)
Raymond Reiter
What Should A Database Know? PODS (1988)
Raymond Reiter, Johan de Kleer
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI (1987)
Raymond Reiter
A Theory of Diagnosis from First Principles. Artif. Intell. 32 (1) (1987)
Raymond Reiter
A sound and sometimes complete query evaluation algorithm for relational databases with null values. J. ACM 33 (2) (1986)
Raymond Reiter
Foundations for Knowledge-Based Systems (Invited Paper). IFIP Congress (1986)
David W. Etherington, Robert E. Mercer, Raymond Reiter
On the adequacy of predicate circumscription for closed-world reasoning. Comput. Intell. 1 (1985)
David W. Etherington, Robert E. Mercer, Raymond Reiter
On the Adequacy of Predicate Circumscription for Closed-World Reasoning. NMR (1984)
Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber
A Panel on AI and Databases. IJCAI (1983)
David W. Etherington, Raymond Reiter
On Inheritance Hierarchies With Exceptions. AAAI (1983)
Raymond Reiter
Circumscription Implies Predicate Completion (Sometimes). AAAI (1982)
Raymond Reiter
Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) (1982)
Raymond Reiter, Giovanni Criscuolo
On Interacting Defaults. IJCAI (1981)
Raymond Reiter
A Logic for Default Reasoning. Artif. Intell. 13 (1-2) (1980)
Raymond Reiter
Data Bases: A Logical Perspective. Workshop on Data Abstraction, Databases and Conceptual Modelling (1980)
Raymond Reiter
Equality and Domain Closure in First-Order Databases. J. ACM 27 (2) (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)
Raymond Reiter
On the Integrity of Typed First Order Data Bases. Advances in Data Base Theory (1979)
Raymond Reiter
On Reasoning by Default. TINLAP (1978)
Raymond Reiter
On Closed World Data Bases. Logic and Data Bases (1977)
Raymond Reiter
Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s. Artif. Intell. 8 (3) (1977)
Raymond Reiter
Deductive Question-Answering on Relational Data Bases. Logic and Data Bases (1977)
Bonnie Nash-Webber, Raymond Reiter
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. IJCAI (1977)
Raymond Reiter
An approach to deductive question-answering systems. SIGART Newsl. 61 (1977)
Raymond Reiter
A Semantically Guided Deductive System for Automatic Theorem Proving. IEEE Trans. Computers 25 (4) (1976)
Raymond Reiter
Formal Reasoning and Language Understanding System. TINLAP (1975)
Raymond Reiter, Richard S. Rosenberg
The University of British Columbia. SIGART Newsl. 46 (1974)
Raymond Reiter
On self-modifying programs. Inf. Sci. 7 (1974)
Raymond Reiter, Richard S. Rosenberg
AI research at the University of British Columbia. SIGART Newsl. 45 (1974)
Raymond Reiter
A Semantically Guided Deductive System for Automatic Theorem-Proving. IJCAI (1973)
Eliana Minicozzi, Raymond Reiter
A Note on Linear Resolution Strategies in Consequence-Finding. Artif. Intell. 3 (1-3) (1972)
Raymond Reiter
Two Results on Ordering for Resolution with Merging and Linear Format. J. ACM 18 (4) (1971)
Raymond Reiter
The Predicate Elimination Strategy in Theorem Proving STOC (1970)
Raymond Reiter
On Assembly-Line Balancing Problems. Oper. Res. 17 (4) (1969)
Raymond Reiter
Scheduling Parallel Computations. J. ACM 15 (4) (1968)