Loading...
Please wait, while we are loading the content...
Similar Documents
Towards AKL with Intelligent Pruning ( extended abstract ) ∗
| Content Provider | Semantic Scholar |
|---|---|
| Author | Abreu, Salvador Pereira, Luı́s Moniz |
| Copyright Year | 2010 |
| Abstract | It may therefore be questionable whether it is worth adding more overhead to the runtime execution of these systems in order to obtain a shorter proof (in terms of number of inference steps). We argue that it is, because both search-space narrowing techniques built into the AKL model rely exclusively on forward execution, not on any knowledge of whatever occurred during backward execution, especially the information contained in the occurrence of failures. Our previous work in this direction (see [?]) shows that there is a non-negligible gain to be obtained from the failure information, even with “simple-minded” techniques. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://centria.di.fct.unl.pt/~lmp/publications/online-papers/akl.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
