| 2003 |
|---|
| 71 | EE | Iluju Kiringa,
Raymond Reiter:
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions.
DBPL 2003: 110-129 |
| 2001 |
|---|
| 70 | | Craig Boutilier,
Raymond Reiter,
Bob Price:
Symbolic Dynamic Programming for First-Order MDPs.
IJCAI 2001: 690-700 |
| 69 | EE | Raymond Reiter:
On knowledge-based programming with sensing in the situation calculus.
ACM Trans. Comput. Log. 2(4): 433-457 (2001) |
| 2000 |
|---|
| 68 | | Craig Boutilier,
Raymond Reiter,
Mikhail Soutchanski,
Sebastian Thrun:
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus.
AAAI/IAAI 2000: 355-362 |
| 67 | | Alberto Finzi,
Fiora Pirri,
Raymond Reiter:
Open World Planning in the Situation Calculus.
AAAI/IAAI 2000: 754-760 |
| 66 | | Raymond Reiter:
Narratives as Programs.
KR 2000: 99-108 |
| 1999 |
|---|
| 65 | EE | Fiora Pirri,
Raymond Reiter:
Some Contributions to the Metatheory of the Situation Calculus.
J. ACM 46(3): 325-361 (1999) |
| 1998 |
|---|
| 64 | | Kari Autio,
Raymond Reiter:
Structural Abstraction in Model-Based Diagnosis.
ECAI 1998: 269-273 |
| 63 | | Giuseppe De Giacomo,
Raymond Reiter,
Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs.
KR 1998: 453-465 |
| 62 | | Raymond Reiter:
Sequential, Temporal GOLOG.
KR 1998: 547-556 |
| 61 | EE | Hector J. Levesque,
Fiora Pirri,
Raymond Reiter:
Foundations for the Situation Calculus.
Electron. Trans. Artif. Intell. 2: 159-178 (1998) |
| 1997 |
|---|
| 60 | | 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 |
| 59 | | Raymond Reiter,
Zheng Yuhua:
Scheduling in the Situation Calculus: A Case Study.
Ann. Math. Artif. Intell. 21(2-4): 397-421 (1997) |
| 58 | EE | Fangzhen Lin,
Raymond Reiter:
How to Progress a Database.
Artif. Intell. 92(1-2): 131-167 (1997) |
| 57 | | Fangzhen Lin,
Raymond Reiter:
Rules as Actions: A Situation Calculus Semantics for Logic Programs.
J. Log. Program. 31(1-3): 299-330 (1997) |
| 56 | | 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) |
| 1996 |
|---|
| 55 | | Raymond Reiter:
Natural Actions, Concurrency and Continuous Time in the Situation Calculus.
KR 1996: 2-13 |
| 1995 |
|---|
| 54 | | 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 |
| 53 | | Fangzhen Lin,
Raymond Reiter:
How to Progress a Database II: The STRIPS Connection.
IJCAI 1995: 2001-2009 |
| 52 | | Javier Pinto,
Raymond Reiter:
Reasoning About Time in the Situation Calculus.
Ann. Math. Artif. Intell. 14(2-4): 251-268 (1995) |
| 51 | EE | Alexander Borgida,
John Mylopoulos,
Raymond Reiter:
On the Frame Problem in Procedure Specifications.
IEEE Trans. Software Eng. 21(10): 785-798 (1995) |
| 50 | | Raymond Reiter:
On Specifying Database Updates.
J. Log. Program. 25(1): 53-91 (1995) |
| 1994 |
|---|
| 49 | | Raymond Reiter:
On Specifying Database Updates (Invited Lecture).
DAISD 1994: 219-253 |
| 48 | | Leopoldo E. Bertossi,
Raymond Reiter:
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples.
JELIA 1994: 347-363 |
| 47 | | Fangzhen Lin,
Raymond Reiter:
How to Progress a Database (and Why) I. Logical Foundations.
KR 1994: 425-436 |
| 46 | | Leopoldo E. Bertossi,
Raymond Reiter:
Circumscription and Generic Mathematical Objects.
Fundam. Inform. 21(1/2): 113-123 (1994) |
| 45 | | Fangzhen Lin,
Raymond Reiter:
State Constraints Revisited.
J. Log. Comput. 4(5): 655-678 (1994) |
| 1993 |
|---|
| 44 | | Javier Pinto,
Raymond Reiter:
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus.
ICLP 1993: 203-221 |
| 43 | EE | Alexander Borgida,
John Mylopoulos,
Raymond Reiter:
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.
ICSE 1993: 303-314 |
| 42 | | Raymond Reiter:
Proving Properties of States in the Situation Calculus.
Artif. Intell. 64(2): 337-351 (1993) |
| 1992 |
|---|
| 41 | EE | Raymond Reiter:
On Formalizing Database Updates: Preliminary Report.
EDBT 1992: 10-20 |
| 40 | | Raymond Reiter:
Formalizing Database Evolution in the Situation Calculus.
FGCS 1992: 600-609 |
| 39 | | Raymond Reiter:
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef.
KR 1992: 789 |
| 38 | | Gösta Grahne,
Alberto O. Mendelzon,
Raymond Reiter:
On The Semantics of Belief Revision Systems.
TARK 1992: 132-142 |
| 37 | | Johan de Kleer,
Alan K. Mackworth,
Raymond Reiter:
Characterizing Diagnoses and Systems.
Artif. Intell. 56(2-3): 197-222 (1992) |
| 36 | | Raymond Reiter:
What Should a Database Know?
J. Log. Program. 14(1&2): 127-153 (1992) |
| 1991 |
|---|
| 35 | | Ronald J. Brachman,
Hector J. Levesque,
Raymond Reiter:
Introduction to the Special Volume on Knowledge Representation.
Artif. Intell. 49(1-3): 1-3 (1991) |
| 1990 |
|---|
| 34 | | Johan de Kleer,
Alan K. Mackworth,
Raymond Reiter:
Characterizing Diagnoses.
AAAI 1990: 324-330 |
| 33 | | Johan de Kleer,
Alan K. Mackworth,
Raymond Reiter:
Characterizing Diagnoses.
Expert Systems in Engineering 1990: 1-15 |
| 32 | | Raymond Reiter:
What Should a Database Know?
ICLP 1990: 765 |
| 1989 |
|---|
| 31 | | Raymond Reiter,
Alan K. Mackworth:
A Logical Framework for Depiction and Image Interpretation.
Artif. Intell. 41(2): 125-155 (1989) |
| 1988 |
|---|
| 30 | | Raymond Reiter:
Integrity Constraints for Knowledge Bases.
DS-3 1988: 3-16 |
| 29 | EE | Raymond Reiter:
What Should A Database Know?
PODS 1988: 302-304 |
| 28 | | Raymond Reiter:
On Integrity Constraints.
TARK 1988: 97-111 |
| 1987 |
|---|
| 27 | | Raymond Reiter,
Johan de Kleer:
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.
AAAI 1987: 183-189 |
| 26 | | Raymond Reiter:
A Theory of Diagnosis from First Principles.
Artif. Intell. 32(1): 57-95 (1987) |
| 1986 |
|---|
| 25 | | Raymond Reiter:
Foundations for Knowledge-Based Systems (Invited Paper).
IFIP Congress 1986: 663-668 |
| 24 | EE | Raymond Reiter:
A sound and sometimes complete query evaluation algorithm for relational databases with null values.
J. ACM 33(2): 349-370 (1986) |
| 1985 |
|---|
| 23 | | David W. Etherington,
Robert E. Mercer,
Raymond Reiter:
On the adequacy of predicate circumscription for closed-world reasoning.
Computational Intelligence 1: 11-15 (1985) |
| 1984 |
|---|
| 22 | | David W. Etherington,
Robert E. Mercer,
Raymond Reiter:
On the Adequacy of Predicate Circumscription for Closed-World Reasoning.
NMR 1984: 70-81 |
| 1983 |
|---|
| 21 | | David W. Etherington,
Raymond Reiter:
On Inheritance Hierarchies With Exceptions.
AAAI 1983: 104-108 |
| 20 | | Raymond Reiter,
Hervé Gallaire,
Jonathan J. King,
John Mylopoulos,
Bonnie L. Webber:
A Panel on AI and Databases.
IJCAI 1983: 1199 |
| 1982 |
|---|
| 19 | | Raymond Reiter:
Circumscription Implies Predicate Completion (Sometimes).
AAAI 1982: 418-420 |
| 18 | | Raymond Reiter:
Towards a Logical Reconstruction of Relational Database Theory.
On Conceptual Modelling (Intervale) 1982: 191-233 |
| 1981 |
|---|
| 17 | | Raymond Reiter,
Giovanni Criscuolo:
On Interacting Defaults.
IJCAI 1981: 270-276 |
| 1980 |
|---|
| 16 | EE | Raymond Reiter:
Data Bases: A Logical Perspective.
Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 174-176 |
| 15 | EE | 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 |
| 14 | | Raymond Reiter:
A Logic for Default Reasoning.
Artif. Intell. 13(1-2): 81-132 (1980) |
| 13 | EE | Raymond Reiter:
Equality and Domain Closure in First-Order Databases.
J. ACM 27(2): 235-249 (1980) |
| 1979 |
|---|
| 12 | | Raymond Reiter:
On the Integrity of Typed First Order Data Bases.
Advances in Data Base Theory 1979: 137-157 |
| 1977 |
|---|
| 11 | | B. Nash-Webber,
Raymond Reiter:
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language.
IJCAI 1977: 121-131 |
| 10 | | Raymond Reiter:
Deductive Question-Answering on Relational Data Bases.
Logic and Data Bases 1977: 149-177 |
| 9 | | Raymond Reiter:
On Closed World Data Bases.
Logic and Data Bases 1977: 55-76 |
| 8 | | Raymond Reiter:
Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s.
Artif. Intell. 8(3): 365-372 (1977) |
| 1976 |
|---|
| 7 | | Raymond Reiter:
A Semantically Guided Deductive System for Automatic Theorem Proving.
IEEE Trans. Computers 25(4): 328-334 (1976) |
| 1974 |
|---|
| 6 | EE | Raymond Reiter:
On self-modifying programs.
Inf. Sci. 7: 157-169 (1974) |
| 1973 |
|---|
| 5 | | Raymond Reiter:
A Semantically Guided Deductive System for Automatic Theorem-Proving.
IJCAI 1973: 41-46 |
| 1972 |
|---|
| 4 | | Eliana Minicozzi,
Raymond Reiter:
A Note on Linear Resolution Strategies in Consequence-Finding.
Artif. Intell. 3(1-3): 175-180 (1972) |
| 1971 |
|---|
| 3 | EE | Raymond Reiter:
Two Results on Ordering for Resolution with Merging and Linear Format.
J. ACM 18(4): 630-646 (1971) |
| 1970 |
|---|
| 2 | | Raymond Reiter:
The Predicate Elimination Strategy in Theorem Proving
STOC 1970: 180-183 |
| 1968 |
|---|
| 1 | EE | Raymond Reiter:
Scheduling Parallel Computations.
J. ACM 15(4): 590-599 (1968) |
