Sciweavers

2519 search results - page 285 / 504
» Reasoning with Textual Cases
Sort
View
200
Voted
AIM
2010
15 years 4 months ago
An Analysis of Current Trends in CBR Research Using Multi-View Clustering
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
Derek Greene, Jill Freyne, Barry Smyth, Pád...
IGPL
2010
126views more  IGPL 2010»
15 years 3 months ago
The role of goals in belief selection
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...
Guido Boella, Célia da Costa Pereira, Gabri...
SYNTHESE
2011
79views more  SYNTHESE 2011»
15 years 1 months ago
Underdetermination, realism and empirical equivalence
Are theories ‘underdetermined by the evidence’ in any way that should worry the scientific realist? I argue that no convincing reason has been given for thinking so. A crucial ...
John Worrall
SIGMOD
2011
ACM
152views Database» more  SIGMOD 2011»
14 years 9 months ago
Tracing data errors with view-conditioned causality
A surprising query result is often an indication of errors in the query or the underlying data. Recent work suggests using causal reasoning to find explanations for the surprisin...
Alexandra Meliou, Wolfgang Gatterbauer, Suman Nath...
CADE
2012
Springer
13 years 9 months ago
Playing Hybrid Games with KeYmaera
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
Jan-David Quesel, André Platzer