307 search results - page 29 / 62 » On Hierarchical Reasoning in Combinations of Theories |
121
click to vote
DLOG
2011
14 years 5 months ago
2011
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
101
click to vote
ICTAI
1994
IEEE
15 years 6 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
109
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
In pattern recognition, data integration is a processing method to combine multiple sources so that the combined result can be more accurate than a single source. Evidence theory ...
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
101
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...