MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Stable Model Semantics for Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

86 documents found, showing 1 through 10. Next 10 →

ATOM

The Stable Model Semantics For Logic Programming
by Michael Gelfond, Vladimir Lifschitz — 1988
…THE STABLE MODEL SEMANTICS FOR LOGIC PROGRAMMING Michael Gelfond University of Texas at El Paso El…
Cited by 1122 (42 self) – Add To MetaCart

Contributions to the Stable Model Semantics of Logic Programs with Negation
by Stefania Costantini — Theoretical Computer Science
…Contributions to the Stable Model Semantics of Logic Programs with Negation Stefania Costantini…
Cited by 7 (5 self) – Add To MetaCart

Efficient Implementation of the Stable Model Semantics for Normal Logic Programs
by Patrik Simons, Patrik Simons — 1995
…--22--2752--5 EFFICIENT IMPLEMENTATION OF THE STABLE MODEL SEMANTICS FOR NORMAL LOGIC PROGRAMS Patrik Simons Digital…
Cited by 10 (1 self) – Add To MetaCart

Partial Stable Models for Logic Programs with Aggregates
by Nikolay Pelov, Marc Denecker, Maurice Bruynooghe — 2004 — In: LPNMR-7. LNCS 2923
…: (i) it extends the partial stable semantics for normal logic programs and (ii) total stable models…
Cited by 11 (0 self) – Add To MetaCart

A Pertinence Logic Characterization of Stable Models
by Ramón P. Otero — 2001 — Proc. of AAAI Spring Symposium 2001 on Answer Set Programming (ASP2001
… on Pertinence Logic for the Stable Models semantics of Logic Programs proposed by M. Gelfond and V. Lifschitz…
Cited by 1 (0 self) – Add To MetaCart

Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
by Dick De Jongh, Lex Hendriks — 2001 — in Intermediate Logics. Theory and Practice of Logic Programming
… with the stable model semantics for logic programs gives rise to a relationship of strong equivalence between…
Cited by 18 (0 self) – Add To MetaCart

Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics
by Patrik Simons, Patrik Simons — 1997
… LOGIC PROGRAMS AND THE STABLE MODEL SEMANTICS Patrik Simons Digital Systems Laboratory Department…
Cited by 25 (1 self) – Add To MetaCart

Weight Constraints as Nested Expressions
by Paolo Ferraris, Vladimir Lifschitz — 2000 — In
… compare two recent extensions of the answer set (stable model) semantics of logic programs. One of them…
Cited by 5 (1 self) – Add To MetaCart

Testing the Equivalence of Logic Programs under Stable Model Semantics
by Tomi Janhunen, Emilia Oikarinen — 2002 — In Proc. of the 8th European Conference on Logics in Artificial Intelligence, volume 2424 of LNAI
…Testing the Equivalence of Logic Programs under Stable Model Semantics ? Tomi Janhunen and Emilia…
Cited by 10 (4 self) – Add To MetaCart

Gödel Logics: Foundations and Applications to Computer Science
by Richard Zach
… of the stable model semantics in logic programming; and they have been put forward as candidates for a logical…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB