✦ LIBER ✦

Consistency properties and set based logic programming

✍ Scribed by Anil Nerode; Jeffrey B. Remmel

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-based abduction with extende

✍ Kewen Wang; Huowang Chen; Quanyuan Wu 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 508 KB

Integrating answer set programming and c

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

Consistency Property of Finite FC-Normal

✍ Yi-Song Wang; Ming-Yi Zhang; Yu-Ping Shen 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 856 KB

Completed logic programs and their consi

✍ Taisuke Sato 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 826 KB

Translations and similarity-based logic

✍ M. I. Sessa 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 174 KB