✦ LIBER ✦

Translations and similarity-based logic programming

✍ Scribed by M. I. Sessa

Publisher: Springer
Year: 2001
Tongue: English
Weight: 174 KB
Volume: 5
Category: Article
ISSN: 1432-7643
DOI: 10.1007/pl00009891

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Set based logic programming

✍ H. A. Blair; V. W. Marek; J. B. Remmel 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

Consistency properties and set based log

Consistency properties and set based logic programming

✍ Anil Nerode; Jeffrey B. Remmel 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 455 KB

Logic programming and Σ-programming

✍ A. A. Voronkov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 780 KB

Translating a Linear Logic Programming L

Translating a Linear Logic Programming Language into Java

✍ Mutsunori Banbara; Naoyuki Tamura 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 210 KB

Argumentation-based abduction in disjunc

Argumentation-based abduction in disjunctive logic programming

✍ Kewen Wang 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 274 KB

In this paper, we propose an argumentation-based semantic framework, called DAS, for disjunctive logic programming. The basic idea is to translate a disjunctive logic program into an argumentation-theoretic framework. One unique feature of our proposed framework is to consider the disjunctions of ne

Abductive logic programming and disjunct

Abductive logic programming and disjunctive logic programming: their relationship and transferability

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 207 KB