✦ LIBER ✦

Clausal Logic and Logic Programming in Algebraic Domains

✍ Scribed by William C Rounds; Guo-Qiang Zhang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards a fuzzy logic programming system

✍ P.C. Rhodes; S. Merad-Menani 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 883 KB

Inductive equivalence in clausal logic a

✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 826 KB

Computer algebra and logic programming

✍ Bruce Char 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Vague Domains, S-Unification and Logic P

✍ Harry E. Virtanen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 248 KB

Finitary Algebraic Logic

✍ Roger D. Maddux 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 713 KB

Logic programming and Σ-programming

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