Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

AUSAI
2004
Springer

favoriteEmaildiscussreport

108views Artificial Intelligence» more AUSAI 2004»

A Formal Method Toward Reasoning About Continuous Change

13 years 10 months ago

A Formal Method Toward Reasoning About Continuous Change

Download dm.thss.tsinghua.edu.cn

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

Real-time Traffic

Artificial Intelligence | AUSAI 2004 | Continuous Change | Formal Method | Situation Calculus |

claim paper

Related Content

» Formal Reasoning about Expectation Properties for Continuous Random Variables

» Reasoning About Programs in ContinuationPassing Style

» CTNOR Representing and Reasoning About Events in Continuous Time

» Reasoning about Topological and Positional Information in Dynamic Settings

» Computing with Continuous Change

» Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

» Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic

» The connection between two ways of reasoning about partial functions

» Towards a unified formal model for supporting mechanisms of dynamic component update

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	AUSAI
Authors	Chunping Li

Comments (0)