Sciweavers

AMAI
2005
Springer

Logic programming with infinite sets

13 years 3 months ago
Logic programming with infinite sets
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.
Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Ma
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2005
Where AMAI
Authors Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
Comments (0)