Raymond Reiter (reiter-r)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bertossi, Leopolo E. and Reiter, Raymond. 1994. “On the Concept of a Generic Object: A Nonmonotonic Reasoning Approach and Examples.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 346–363. Lecture Notes in Computer Science. Berlin: Springer.
Brachman, Ronald J., Levesque, Hector J. and Reiter, Raymond, eds. 1989. KR’89: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Brachman, Ronald J., Levesque, Hector J. and Reiter, Raymond. 1991. “Introduction to the Special Volume on Knowledge Representation.” Artificial Intelligence 49(3): 1–3.
Brachman, Ronald J., Levesque, Hector J. and Reiter, Raymond, eds. 1992. Knowledge Representation. Cambridge, Massachusetts: The MIT Press.
Etherington, David W., Mercer, Robert E. and Reiter, Raymond. 1985. “On the Adequacy or Predicate Circumscription for Closed-World Reasoning.” Computational Intelligence 1(1): 11–15. Reprinted in Ginsberg (1987, 174–178).
Etherington, David W. and Reiter, Raymond. 1983. “On Inheritance Hierarchies with Exceptions.” in AAAI-83. Proceedings of the Third National Conference on Artificial Intelligence, edited by Michael R. Genesereth, pp. 104–108. Menlo Park, California: The AAAI Press. Reprinted in Ginsberg (1987, 101–105) and in Brachman and Levesque (1995, 329–334).
de Giacomo, Giuseppe, Reiter, Raymond and Soutchanski, Mikhail. 1998. “Execution Monitoring of High-Level Robot Plans.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 453–464. San Francisco, California: Morgan Kaufmann Publishers.
Grahne, Gösta, Mendelzon, Alberto O. and Reiter, Raymond. 1992. “On the Semantics of Belief Revision Systems.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 132–142. San Francisco, California: Morgan Kaufmann Publishers.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Marcu, Daniel, Reiter, Raymond and Scherl, Richard B. 1994. “A Logical Approach to High-Level Robot Programming – A Progress Report.” in AAAI-94. Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium, edited by Benjamin J. Kuipers, pp. 79–85. Menlo Park, California: The AAAI Press.
Lespérance, Yves, Levesque, Hector J., Lin, Fangzhen, Marcu, Daniel, Reiter, Raymond and Scherl, Richard B. 1996. “Foundations of a Logical Approach to Agent Programming.” in ATAL-95. Intelligent Agents Volume II – Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages, edited by Michael J. Wooldridge, Jörg Paul Müller, and Miland Tambe, pp. 331–346. Lecture Notes in Computer Science. Berlin: Springer.
Lespérance, Yves, Levesque, Hector J. and Reiter, Raymond. 1999. “A Situation Calculus Approach to Modeling and Programming Agents.” in Foundations of Rational Agency, edited by Michael J. Wooldridge and Anand S. Rao, pp. 275–299. Dordrecht: Kluwer Academic Publishers.
Lespérance, Yves, Reiter, Raymond, Lin, Fangzhen and Scherl, Richard B. 1997. “GOLOG: A Logic Programming Language for Dynamic Domains.” Journal of Logic Programming 31(1–3): 59–84.
Levesque, Hector J., Reiter, Raymond, Lespérance, Yves, Lin, Fangzhen and Scherl, Richard B. 1997. “golog: a Logic Programming Language for Dynamic Domains.” Journal of Logic Programming 31(1–3).
Lin, Fangzhen and Reiter, Raymond. 1994a. “State Constraints Revisited.” Journal of Logic and Computation 4: 655–678.
Lin, Fangzhen and Reiter, Raymond. 1994b. “Forget It!” in AAAI-94. Working Notes, AAAI Fall Symposium on Relevance, edited by Russell Greiner and Devika Subramanian, pp. 154–159. Menlo Park, California: The AAAI Press.
Lin, Fangzhen and Reiter, Raymond. 1994c. “How to Progress a Database (and Why) I: Logical Foundations.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 425–436. San Francisco, California: Morgan Kaufmann Publishers.
Lin, Fangzhen and Reiter, Raymond. 1995. “How to Progress a Database II: The strips Connection.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 2001–2007. San Francisco, California: Morgan Kaufmann Publishers.
Lin, Fangzhen and Reiter, Raymond. 1997. “How to Progress a Database.” Artificial Intelligence 92(1–2): 131–167.
Lin, Fangzhen and Reiter, Raymond. 2001. “A New Semantics for Logic Programs.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 217–248. Dordrecht: Kluwer Academic Publishers.
Mercer, Robert E. and Reiter, Raymond. 1982. “The Representation of Presuppositions Using Defaults.”
Minicozzi, Eliana and Reiter, Raymond. 1972. “A Note on Linear Resolution Strategies in Consequence-Finding.” Artificial Intelligence 3(1–3): 175–180.
Mylopoulos, John and Reiter, Raymond, eds. 1991. IJCAI-91. Proceedings of the 12th International Joint Conference on Artificial Intelligence. Lecture Notes in Artificial Intelligence n. 814. San Francisco, California: Morgan Kaufmann Publishers.
Pirri, Fiora and Reiter, Raymond. 2000. “Planning with Natural Actions in the Situation Calculus.” in Logic-Based Artificial Intelligence, edited by Jack Minker, pp. 213–231. Dordrecht: Kluwer Academic Publishers.
Reiter, Raymond. 1978. “On Closed World Data Bases.” in Logic and Data Bases, edited by Hervé Gallaire and Jack Minker, pp. 55–76. New York: Plenum Press. Reprinted in Webber and Nilsson (1981, 119–140) and in Ginsberg (1987, 300–310).
Reiter, Raymond. 1980a. “Equality and Domain Closure in First-Order Databases.” Journal of the Association for Computing Machinery 27(2): 235–249.
Reiter, Raymond. 1980b. “A Logic for Default Reasoning.” Artificial Intelligence 13(1–2): 81–132. Reprinted in Ginsberg (1987, 68–93).
Reiter, Raymond. 1983a. “A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values.” 83–11. Vancouver, British Columbia: Department of Computer Science, University of British Columbia.
Reiter, Raymond. 1983b. “On Reasoning by Default.” in TINLA’2, Theoretical Issues in Natural Language Processing 2, pp. 210–218. Somerset, New Jersey: Association for Computational Linguistics. reprinted in Brachman and Levesque (1995, 401–410).
Reiter, Raymond. 1984. “Towards a Logical Reconstruction of Relational Database Theory.” in On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, edited by Michael L. Brodie, John Mylopoulos, and Joachim W. Schmidt, pp. 191–233. Berlin: Springer.
Reiter, Raymond. 1987a. “Must Logicists Become Programmers?” Computational Intelligence 3(3): 206–207.
Reiter, Raymond. 1987b. “A Theory of Diagnosis from First Principles.” Artificial Intelligence 32(1): 57–95. Reprinted in Ginsberg (1987, 352–371).
Reiter, Raymond. 1988a. “Nonmonotonic Reasoning.” in Exploring Artificial Intelligence, edited by Howard E. Shrobe, pp. 439–482. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 1988b. “On Integrity Constraints.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 97–111. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 1991. “The Frame Problem in the Situation Calculus: a Simple Solution (Sometimes) and a Completeness Result for Goal Regression.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 418–420. New York: Academic Press.
Reiter, Raymond. 1992. “Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef?” in KR’92: Principles of Knowledge Representation and Reasoning, edited by Bernhard Nebel, Charles Rich, and William R. Swartout, pp. 789. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 1993. “Proving Properties of States in the Situation Calculus.” Artificial Intelligence 64(2): 337–351.
Reiter, Raymond. 1995. “On Specifying Database Updates.” Journal of Logic Programming 25: 53–91.
Reiter, Raymond. 1996a. “Time in the Situation Calculus.” in, pp. 176–185.
Reiter, Raymond. 1996b. “Natural Actions, Concurrency and Continuous Time in the Situation Calculus.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 2–13. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 1997. “Circumscription Implies Predicate Completion (Sometimes).” in IJCAI-97. Proceedings of the 15th International Joint Conference on Artificial Intelligence, edited by Michael P. Georgeff and Martha E. Pollack. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 1998. “Sequential, Temporal GOLOG.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 547–556. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 2000. “Narratives as Programs.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 99–108. San Francisco, California: Morgan Kaufmann Publishers.
Reiter, Raymond. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, Massachusetts: The MIT Press.
Reiter, Raymond and Criscuolo, Giovanni. 1981. “On Interacting Defaults.” in IJCAI-81. Proceedings of the 7th International Joint Conference on Artificial Intelligence, edited by Patrick J. Hayes, pp. 270–276. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Ginsberg (1987, 94–100).
Reiter, Raymond and Criscuolo, Giovanni. 1983. “Some Representational Issues in Default Reasoning.” Computers and Mathematics with Applications 9(1): 15–27.
Reiter, Raymond and de Kleer, Johan. 1987. “Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.” in AAAI-87. Proceedings of the Sixth National Conference on Artificial Intelligence, edited by Kenneth D. Forbus and Howard E. Shrobe, pp. 183–188. Menlo Park, California: The AAAI Press.