✦ LIBER ✦

Logic programming and Σ-programming

✍ Scribed by A. A. Voronkov

Publisher: Springer US
Year: 1989
Tongue: English
Weight: 780 KB
Volume: 25
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01074888

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Logic applied to integer programming and

Logic applied to integer programming and integer programming applied to logic

✍ H.P. Williams 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 776 KB

Integrating answer set programming and c

Integrating answer set programming and constraint logic programming

✍ Veena S. Mellarkod; Michael Gelfond; Yuanlin Zhang 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 659 KB

Database logic programming

✍ MosheY. Vardi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 108 KB

Fuzzy logic programming

✍ Rafee Ebrahim 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 151 KB

We develop Fuzzy Logic Programming with the goal to provide a theoretical background for fuzzy expert systems. With the system of fuzzy logic programming that we present the researcher and the practitioner have the theoretical results that the system produces only correct answers and all the possibl

From logic to logic programming

✍ Charles Ashbacher 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 66 KB