Michael Thielscher (thielscher)

Contributions to Philosophie.ch

Bibliography

Herrman, Christoph and Thielscher, Michael. 1996. “Reasoning about Continuous Processes.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 639–644. Menlo Park, California: The AAAI Press.
Kahramanogullari, Ozan and Thielscher, Michael. 2003. “A Formal Assessment Result for Fluent Calculus.” in AAAI-03. Working Papers of the 2003 AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning, edited by Patrick Doherty, John McCarthy, and Mary-Anne Williams, pp. 90–97. Menlo Park, California: The AAAI Press.
Nossum, Rolf T. and Thielscher, Michael. 1999. “Counterfactual Reasoning by Means of a Calculus of Narrative Context.” in CONTEXT’99. Modeling and Using Contexts: Proceedings of the Second International and Interdisciplinary Conference, edited by Paolo Bouquet, Luigi Serfini, Patrick Brézillon, Massimo Benerecetti, and Francesca Castellani, pp. 495–501. Lecture Notes in Computer Science. Berlin: Springer.
Thielscher, Michael. 1993. “On Prediction in Theorist.” Artificial Intelligence 60(2): 283–292.
Thielscher, Michael. 1995a. “Computing Ramifications by Postprocessing.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1994–2000. San Francisco, California: Morgan Kaufmann Publishers.
Thielscher, Michael. 1995b. “The Logic of Dynamic Systems.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1956–1962. San Francisco, California: Morgan Kaufmann Publishers.
Thielscher, Michael. 1996. “Causality and the Qualification Problem.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 51–62. San Francisco, California: Morgan Kaufmann Publishers.
Thielscher, Michael. 1997. “Ramification and Causality.” Artificial Intelligence 89(1–2): 317–364.
Thielscher, Michael. 1998a. “Towards a Logic for Causal Reasoning.” in AAAI-98. Working Notes of the AAAI Spring Symposium on Prospects for a Commonsense Theory of Causation, edited by Charles L. Ortiz Jr., pp. 101–106. Menlo Park, California: The AAAI Press.
Thielscher, Michael. 1998b. “How (Not) to Minimize Events.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 60–71. San Francisco, California: Morgan Kaufmann Publishers.
Thielscher, Michael. 1998c. “Reasoning about Actions: Steady Versus Stabilizing State Constraints.” Artificial Intelligence 104(1–2): 339–355.
Thielscher, Michael, ed. 1999a. IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Thielscher, Michael. 1999b. “From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem.” Artificial Intelligence 111(1–2): 277–299.
Thielscher, Michael. 2000a. “Representing the Knowledge of a Robot.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 109–120. San Francisco, California: Morgan Kaufmann Publishers.
Thielscher, Michael. 2000b. Challenges for Action Theories. Berlin: Springer.
Thielscher, Michael. 2001a. “The Qualification Problem: A Solution to the Problem of Anomalous Models.” Artificial Intelligence 131(1–2): 1–37.
Thielscher, Michael. 2001b. “The Concurrent, Continuous Fluent Calculus.” Studia Logica: An International Journal for Symbolic Logic 67(3): 315–331.
Thielscher, Michael. 2002. “Programming of Reasoning and Planning Agents with FLUX.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 435–448. San Francisco, California: Morgan Kaufmann Publishers.
Thielscher, Michael. 2004. “Logic-Based Agents and the Frame Problem: A Case for Progression.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 323–336. Logische Philosophie n. 12. Berlin: Logos Verlag.