4573 search results - page 389 / 915 » Automated Reasoning |
149
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Categorization with a very high missing data rate is seldom studied, especially from a non-probabilistic point of view. This paper proposes a new algorithm called default clusterin...
179
click to vote
ICCBR
2005
Springer
16 years 10 days ago
2005
Springer
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
173
click to vote
ICCBR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper summarises our work in textual Case-Based Reasoning within jCOLIBRI. We use Information Extraction techniques to annotate web pages to facilitate semantic retr...
153
click to vote
LPNMR
2005
Springer
16 years 10 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
164
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...