497 search results - page 50 / 100 » On combinations of local theory extensions |
129
click to vote
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...
143
click to vote
MCS
2005
Springer
15 years 7 months ago
2005
Springer
We describe an ensemble learning approach that accurately learns from data that has been partitioned according to the arbitrary spatial requirements of a large-scale simulation whe...
143
click to vote
DAARC
2009
Springer
15 years 5 months ago
2009
Springer
We discuss an unusual reflexive construction in which the Chinese reflexive ziji appears twice, once before the verb and once after. We demonstrate that this is a distinct construc...
150
click to vote
AAAI
1994
15 years 3 months ago
1994
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
DIS
2003
Springer
15 years 7 months ago
2003
Springer
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. While computing some abductiv...