A Theory of First-Order Counterfactual Reasoning

Michael Thielscher. A Theory of First-Order Counterfactual Reasoning. In Wolfram Burgard, Thomas Christaller, Armin B. Cremers, editors, KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings. Volume 1701 of Lecture Notes in Computer Science, pages 137-148, Springer, 1999. [doi]

Abstract

Abstract is missing.