Richard B. Scherl (scherl)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Frisch, Alan M. and Scherl, Richard B. 1991. “A General Framework for Modal Deduction.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 196–207. 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., Lin, Fangzhen and Scherl, Richard B. 2000. “Ability and Knowing How in the Situation Calculus.” Studia Logica: An International Journal for Symbolic Logic 66(1): 165–186.
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).
Scherl, Richard B. 1992. “A Constraint Logic Approach to Automated Modal Deduction.” PhD dissertation, Urbana, Illinois: Computer Science, University of Illinois.
Scherl, Richard B. 1997. “Language, Action, and Indexicality.” in AAAI-97. Working Notes: AAAI Fall Symposium on Communicative Action in Humans and Machines, edited by David R. Traum, pp. 132–133. Menlo Park, California: The AAAI Press.
Scherl, Richard B. and Levesque, Hector J. 1993. “The Frame Problem and Knowledge-Producing Actions.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 698–695. Menlo Park, California: The AAAI Press.