|
|||||
|
|
Logic programming with infinite sets |
|
| Authors: | |
| Affiliation: | (1) University of Florida, USA;(2) University of California at San Diego, USA;(3) University of Kentucky, USA |
| Abstract: | Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about the codes for various infinite sets. Depending on the form of atoms allowed in the bodies of clauses we obtain a variety of completeness results for various classes of arithmetic sets of integers.AMS subject classification 68T27, 03B70 |
| Keywords: | nonmonotonic logic logic programming |
| 本文献已被 SpringerLink 等数据库收录！ | |