✦ LIBER ✦

Special issue: synthesis, transformation and analysis of logic programs

✍ Scribed by Annalisa Bossi; Yves Deville

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 157 KB
Volume: 39
Category: Article
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(98)10031-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guest editors' introduction Special Issu

Guest editors' introduction Special Issue: synthesis, transformation and analysis of logic programs 2

✍ Annalisa Bossi; Yves Deville 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 36 KB

Synthesis and transformation of logic pr

Synthesis and transformation of logic programs using unfold/fold proofs

✍ Alberto Pettorossi; Maurizio Proietti 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 408 KB

We present a method for proving properties of de®nite logic programs. This method is called unfold/fold proof method because it is based on the unfold/fold transformation rules. Given a program and two goals (that is, conjunctions of atoms) p Y and q Y , where , , and are pairwise disjoint vectors o

Guest editor's introduction Special Issu

Guest editor's introduction Special Issue: Applications of Logic Programming

✍ L Sterling 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 125 KB

Guest editors' introduction to special i

Guest editors' introduction to special issue on natural language and logic programming

✍ Michael C. McCord; Veronica Dahl; Harvey Abramson 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 111 KB

Introduction: 10th birthday special issu

Introduction: 10th birthday special issue of the journal of logic programming

✍ J.A. Robinson 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Inductive Logic Programming: Issues, res

Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic

✍ Stephen Muggleton 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 134 KB