dblp.uni-trier.dewww.uni-trier.de

Raymond Reiter Vis

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

*2003
71EEIluju 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
69EERaymond 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
65EEFiora 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
61EEHector J. Levesque, Fiora Pirri, Raymond Reiter: Foundations for the Situation Calculus. Electron. Trans. Artif. Intell. 2: 159-178 (1998)
1997
60EEKenneth 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)
58EEFangzhen 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)
51EEAlexander 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
48EELeopoldo 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
43EEAlexander 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
41EERaymond 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
33EEJohan 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
29EERaymond 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
24EERaymond 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
16EERaymond Reiter: Data Bases: A Logical Perspective. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 174-176
15EEL. 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)
13EERaymond 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
6EERaymond 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
3EERaymond 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
1EERaymond 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)