Raymond Reiter

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