307 search results - page 38 / 62 » On Hierarchical Reasoning in Combinations of Theories |
126
click to vote
ISIPTA
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...
139
click to vote
WOODPECKER
2001
15 years 3 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
128
Voted
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
133
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
119
Voted
TPHOL
1995
IEEE
15 years 5 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...