1835 search results - page 138 / 367 » Classifying Description Logics |
227
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
117
click to vote
IMPERIAL
1994
15 years 8 months ago
1994
The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...
138
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
137
click to vote
IPMU
2010
Springer
15 years 6 months ago
2010
Springer
The classification of remote sensing images performed with different classifiers usually produces different results. The aim of this paper is to investigate whether the outputs of ...
151
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...