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