Sciweavers

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

7

ICLP
1992
Springer

favoriteEmaildiscussreport

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

13 years 8 months ago

The Stable Models of a Predicate Logic Program

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Real-time Traffic

Automated Reasoning | ICLP 1992 |

claim paper

Related Content

» Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm

» Ordered Completion for FirstOrder Logic Programs on Finite Structures

» Induction of Stable Models

» Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs

» Computing Stable Models by Using the ATMS

» Stable models and difference logic

» Circumscription and Projection as Primitives of Logic Programming

» Stable models and an alternative logic programming paradigm

» Compactness Properties for Stable Semantics of Logic Programs

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ICLP
Authors	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Comments (0)