1426 search results - page 104 / 286 » Specification of nonmonotonic reasoning |
262
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...
169
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
162
click to vote
TSE
2002
15 years 6 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
264
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...