4573 search results - page 507 / 915 » Automated Reasoning |
135
Voted
TIME
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
132
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
121
Voted
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
127
click to vote
KR
1998
Springer
15 years 9 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
126
Voted
ICCBR
1997
Springer
15 years 9 months ago
1997
Springer
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...