The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymond Reiter: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Raymond Reiter
    On Closed World Data Bases. [Citation Graph (74, 0)][DBLP]
    Logic and Data Bases, 1977, pp:55-76 [Conf]
  2. Raymond Reiter
    Towards a Logical Reconstruction of Relational Database Theory. [Citation Graph (35, 0)][DBLP]
    On Conceptual Modelling (Intervale), 1982, pp:191-233 [Conf]
  3. Raymond Reiter
    A Logic for Default Reasoning. [Citation Graph (31, 0)][DBLP]
    Artif. Intell., 1980, v:13, n:1-2, pp:81-132 [Journal]
  4. Raymond Reiter
    Deductive Question-Answering on Relational Data Bases. [Citation Graph (30, 0)][DBLP]
    Logic and Data Bases, 1977, pp:149-177 [Conf]
  5. 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]
  6. 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]
  7. David W. Etherington, Raymond Reiter
    On Inheritance Hierarchies With Exceptions. [Citation Graph (7, 0)][DBLP]
    AAAI, 1983, pp:104-108 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Raymond Reiter
    Circumscription Implies Predicate Completion (Sometimes). [Citation Graph (3, 0)][DBLP]
    AAAI, 1982, pp:418-420 [Conf]
  12. Raymond Reiter
    On Formalizing Database Updates: Preliminary Report. [Citation Graph (3, 9)][DBLP]
    EDBT, 1992, pp:10-20 [Conf]
  13. 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]
  14. Raymond Reiter
    What Should a Database Know? [Citation Graph (2, 0)][DBLP]
    ICLP, 1990, pp:765- [Conf]
  15. 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]
  16. 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]
  17. Raymond Reiter
    On Specifying Database Updates (Invited Lecture). [Citation Graph (1, 0)][DBLP]
    DAISD, 1994, pp:219-253 [Conf]
  18. 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]
  19. 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]
  20. Raymond Reiter
    What Should A Database Know? [Citation Graph (1, 2)][DBLP]
    PODS, 1988, pp:302-304 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Raymond Reiter
    On Specifying Database Updates. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1995, v:25, n:1, pp:53-91 [Journal]
  27. Fangzhen Lin, Raymond Reiter
    State Constraints Revisited. [Citation Graph (1, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:655-678 [Journal]
  28. 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]
  29. 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]
  30. Johan de Kleer, Alan K. Mackworth, Raymond Reiter
    Characterizing Diagnoses. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:324-330 [Conf]
  31. 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]
  32. 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]
  33. Raymond Reiter
    Integrity Constraints for Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    DS-3, 1988, pp:3-16 [Conf]
  34. Kari Autio, Raymond Reiter
    Structural Abstraction in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:269-273 [Conf]
  35. Johan de Kleer, Alan K. Mackworth, Raymond Reiter
    Characterizing Diagnoses. [Citation Graph (0, 0)][DBLP]
    Expert Systems in Engineering, 1990, pp:1-15 [Conf]
  36. Raymond Reiter
    Formalizing Database Evolution in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:600-609 [Conf]
  37. 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]
  38. Raymond Reiter
    Foundations for Knowledge-Based Systems (Invited Paper). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:663-668 [Conf]
  39. Craig Boutilier, Raymond Reiter, Bob Price
    Symbolic Dynamic Programming for First-Order MDPs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:690-700 [Conf]
  40. Fangzhen Lin, Raymond Reiter
    How to Progress a Database II: The STRIPS Connection. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:2001-2009 [Conf]
  41. 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]
  42. Raymond Reiter
    A Semantically Guided Deductive System for Automatic Theorem-Proving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:41-46 [Conf]
  43. Raymond Reiter, Giovanni Criscuolo
    On Interacting Defaults. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:270-276 [Conf]
  44. 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]
  45. 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]
  46. 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]
  47. Raymond Reiter
    Narratives as Programs. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:99-108 [Conf]
  48. Raymond Reiter
    Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:789- [Conf]
  49. Raymond Reiter
    Natural Actions, Concurrency and Continuous Time in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:2-13 [Conf]
  50. Raymond Reiter
    Sequential, Temporal GOLOG. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:547-556 [Conf]
  51. 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]
  52. 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]
  53. Raymond Reiter
    The Predicate Elimination Strategy in Theorem Proving [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:180-183 [Conf]
  54. 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]
  55. Raymond Reiter
    On Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    TARK, 1988, pp:97-111 [Conf]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. Raymond Reiter
    On self-modifying programs. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1974, v:7, n:, pp:157-169 [Journal]
  67. 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]
  68. Raymond Reiter
    Scheduling Parallel Computations. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1968, v:15, n:4, pp:590-599 [Journal]
  69. 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]
  70. 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]
  71. 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.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002