Sciweavers

AUSAI
2004
Springer

A Formal Method Toward Reasoning About Continuous Change

14 years 4 months ago
A Formal Method Toward Reasoning About Continuous Change
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can be integrated with the situation calculus. Our aim is to overcome some limitations of the earlier works and to realize the automated reasoning about continuous change.
Chunping Li
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where AUSAI
Authors Chunping Li
Comments (0)