4573 search results - page 508 / 915 » Automated Reasoning |
161
click to vote
ICCBR
1997
Springer
15 years 11 months ago
1997
Springer
Planning by analogical reasoning is a learning method that consists of the storage, retrieval, and replay of planning episodes. Planning performance improves with the accumulationa...
220
click to vote
LICS
1993
IEEE
15 years 11 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
169
click to vote
EWCBR
1993
Springer
15 years 11 months ago
1993
Springer
This paper presents a novel approach to determine structural similarity as guidance for adaptation in case-based reasoning (Cbr). We advance structural similarity assessment which ...
187
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
198
click to vote
LOPSTR
1992
Springer
15 years 11 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...