7075 search results - page 314 / 1415 » Models and heterogeneous reasoning |
151
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
178
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
166
Voted
UAI
1989
15 years 7 months ago
1989
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
173
click to vote
INEX
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents an approach for extending the vector space model (VSM) to perform XML retrieval. The model is extended to support important aspects of XML structural and semant...
237
click to vote
EUROMICRO
2003
IEEE
16 years 14 hour ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...