✦ LIBER ✦

Locally Determined Logic Programs and Recursive Stable Models

✍ Scribed by Douglas Cenzer; Jeffrey B. Remmel; Amy Vanderbilt

Book ID: 111570622
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 281 KB
Volume: 40
Category: Article
ISSN: 1012-2443
DOI: 10.1023/b:amai.0000012868.41613.e7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Temporal logics for concurrent recursive

Temporal logics for concurrent recursive programs: Satisfiability and model checking

✍ Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Generalized metrics and uniquely determi

Generalized metrics and uniquely determined logic programs

✍ Pascal Hitzler; Anthony Karel Seda 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 445 KB

Stable models and difference logic

✍ Ilkka Niemelä 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 393 KB

Inductive synthesis of recursive logic p

Inductive synthesis of recursive logic programs: achievements and prospects

✍ Pierre Flener; Serap Yıilmaz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 377 KB

The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging sub®eld both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal speci®cations. We ®rst overview past and present achieve

Logic programs with stable model semanti

Logic programs with stable model semantics as a constraint programming paradigm

✍ Ilkka Niemelä 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 195 KB

A note on the stable model semantics for

A note on the stable model semantics for logic programs

✍ Michael Kaminski 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 900 KB

The stable model semantics for logic programs is extended from ground literals onto open literals by augmenting the program language with an infinite set of new constants. This, in turn, leads to a natural translation of logic programs into open default theories. @