Raymond Reiter Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Kari Autio [64]
2Leopoldo E. Bertossi [46] [48]
3Alexander Borgida [43] [51]
4Craig Boutilier [68] [70]
5Ronald J. Brachman (Ron Brachman) [35]
6Jaime G. Carbonell [15]
7Giovanni Criscuolo [17]
8L. Peter Deutsch [15]
9David W. Etherington [21] [22] [23]
10Alberto Finzi [67]
11Hervé Gallaire [20]
12Giuseppe De Giacomo [63]
13Gösta Grahne [38]
14Patrick J. Hayes [15]
15Michael R. M. Jenkin (Michael Jenkin) [60]
16Jonathan J. King [20]
17Iluju Kiringa [71]
18Johan de Kleer [27] [33] [34] [37]
19Yves Lespérance [54] [56] [60]
20Hector J. Levesque [35] [54] [56] [60] [61]
21Fangzhen Lin [45] [47] [53] [54] [56] [57] [58] [60]
22J. Lloyd [60]
23Alan K. Mackworth [31] [33] [34] [37]
24Daniel Marcu [54] [60]
25Alberto O. Mendelzon [38]
26Robert E. Mercer [22] [23]
27Eliana Minicozzi [4]
28John Mylopoulos [20] [43] [51]
29B. Nash-Webber [11]
30Javier Pinto [44] [52]
31Fiora Pirri [61] [65] [67]
32Bob Price [70]
33Charles Rich [15]
34Richard B. Scherl [54] [56]
35Mikhail Soutchanski [63] [68]
36Kenneth Tam [60]
37Sebastian Thrun [68]
38Bonnie L. Webber [20]
39Hartmut Wedekind [15]
40Zheng Yuhua [59]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)