A Logic for Reasoning about Safety in Decision Support Systems

Subrata Kumar Das, John Fox. A Logic for Reasoning about Safety in Decision Support Systems. In Michael Clarke, Rudolf Kruse, SerafĂ­n Moral, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings. Volume 747 of Lecture Notes in Computer Science, pages 79-84, Springer, 1993.

Abstract

Abstract is missing.