✦ LIBER ✦

The least fixpoint transformation for disjunctive logic programs

✍ Scribed by Kewen Wang; Huowang Chen; Quanyuan Wu

Book ID: 105664510
Publisher: Springer
Year: 1998
Tongue: English
Weight: 589 KB
Volume: 13
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02943187

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unfold/fold transformations for disjunct

Unfold/fold transformations for disjunctive logic programs

✍ Manolis Gergatsoulis 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V.

A game semantics for disjunctive logic p

A game semantics for disjunctive logic programming

✍ Tsouanas, Thanos 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 514 KB

Expressiveness of stable model semantics

Expressiveness of stable model semantics for disjunctive logic programs with functions

✍ Thomas Eiter; Georg Gottlob 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 706 KB

Completeness of hyper-resolution via the

Completeness of hyper-resolution via the semantics of disjunctive logic programs

✍ Linh Anh Nguyen; Rajeev Goré 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 106 KB

On the Relations between Disjunctive and

On the Relations between Disjunctive and Linear Logic Programming

✍ Marco Bozzano; Giorgio Delzanno; Maurizio Martelli 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Disjunctive logic programming with types

Disjunctive logic programming with types and objects: The DLV+ system

✍ Francesco Ricca; Nicola Leone 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up