1581 search results - page 56 / 317 » Mechanizing Inductive Reasoning |
117
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
119
Voted
SAS
1993
Springer
15 years 6 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
107
click to vote
AAAI
1994
15 years 4 months ago
1994
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
125
Voted
KES
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose inductive distance-based methods for instance classification and retrieval in ontologies. Casting retrieval as a classification problem with the goal of assess...
126
Voted
LOGCOM
2007
15 years 2 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...