2519 search results - page 199 / 504 » Reasoning with Textual Cases |
194
click to vote
IDT
2010
15 years 5 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
375
click to vote
DLOG
2011
14 years 10 months ago
2011
In this paper we present a formal framework and tool supporting the user in the task of formulating a precise query – which best captures their information needs – even in the ...
203
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
151
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
142
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
This paper argues that a significant part of today’s Semantic Web research is still dominated by ideas from centralized databases. Furthermore, the main thread of reasoning rese...