3573 search results - page 132 / 715 » Reasoning about Codata |
124
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
120
click to vote
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
117
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
124
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
127
Voted
IJCAI
2003
15 years 4 months ago
2003
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...