307 search results - page 4 / 62 » On Hierarchical Reasoning in Combinations of Theories |
283
click to vote
FSKD
2011
Springer
14 years 1 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
136
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
90
Voted
LPAR
2010
Springer
15 years 6 days ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
93
Voted
AAAI
1998
15 years 3 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
115
Voted
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...