Reasoning in Logic about Continuous Systems

Benjamin Kuipers, Benjamin Shults. Reasoning in Logic about Continuous Systems. In KR. pages 391-402, 1994.

Abstract

Abstract is missing.