4617 search results - page 398 / 924 » Automation of Diagrammatic Reasoning |
172
click to vote
ICCBR
2005
Springer
16 years 8 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...
152
click to vote
LPNMR
2005
Springer
16 years 7 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...
162
click to vote
KR
2004
Springer
16 years 3 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...
142
Voted
KR
2004
Springer
16 years 3 days ago
2004
Springer
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
223
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...