3573 search results - page 125 / 715 » Reasoning about Codata |
130
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
104
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
110
click to vote
CL
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
111
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
124
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...