Creator |
|
Language |
|
Publisher |
|
|
Date |
|
|
Source Title |
|
Vol |
|
Issue |
|
First Page |
|
Last Page |
|
Publication Type |
|
Access Rights |
|
Crossref DOI |
|
Related DOI |
|
Related DOI |
|
|
|
Related URI |
|
|
|
Relation |
|
|
|
|
Abstract |
In this paper, we study the completeness of the depth-bounded resolution, which is an SLD-resolution that prunes infinite derivations using the depth-bound. We introduce a class of definite programs w...ith local variables, called linearly covering programs, and prove the completeness of the depth-bounded resolution for the class with respect to the CWA of Reiter.show more
|