|
|||||
|
|
Undecidable goals for completed acyclic programs |
|
| Authors: | Marc Bezem Jan Keuzenkamp |
| Affiliation: | 1. Department of Philosophy, Utrecht University, Heidelberglaan 8, Postbus 80126, 3508 TC, Utrecht, The Netherlands 2. Projectorganization, AI & AA, Willemsplantsoen 6, Postbus 2850, 3500 GW, Utrecht, The Netherlands |
| Abstract: | We prove for a well-known acyclic logic programP that it is undecidable whether or not a given goal is a logical consequence of the completion ofP. This complements recent decidability results for acyclic programs and bounded goals. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |