7075 search results - page 190 / 1415 » Models and heterogeneous reasoning |
137
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
145
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a novel shape analysis algorithm with local reasoning that is designed to analyze heap structures with structural invariants, such y-linked lists. The...
145
click to vote
PPSWR
2005
Springer
15 years 9 months ago
2005
Springer
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
157
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
122
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...