Sciweavers

Share
AMAI
2004
Springer

Using Logic Programs to Reason about Infinite Sets

9 years 11 months ago
Using Logic Programs to Reason about 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. Those programs assert 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, V. Wiktor Marek, Jeffrey B. Rem
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where AMAI
Authors Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel
Comments (0)
books