Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

AMAI
2004
Springer

favoriteEmaildiscussreport

129views Artificial Intelligence» more AMAI 2004»

Using Logic Programs to Reason about Infinite Sets

13 years 8 months ago

Using Logic Programs to Reason about Infinite Sets

Download rutcor.rutgers.edu

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

Real-time Traffic

AMAI 2004 | Artificial Intelligence | Infinite Sets | Programs Assert Codes | Various Infinite Sets |

claim paper

Related Content

» Logic programming with infinite sets

» Reasoning about the Semantic Web using Answer Set Programming

» Answer Set Programming for Representing and Reasoning About Virtual Institutions

» Reasoning About Actions and Change in Answer Set Programming

» Relational analysis of algebraic datatypes

» Multimodal Separation Logic for Reasoning About Operational Semantics

» A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

» Regional Logic for Local Reasoning about Global Invariants

» Using answer set programming to model multiagent scenarios involving agents knowledge abou...

Post Info
More Details (n/a)

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)