✦ LIBER ✦

Logic program forms

✍ Scribed by Takashi Yokomori

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equivalent logic programs and symmetric

✍ Kwok Hung Chan 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 790 KB

Logic Program Synthesis as Problem Reduc

✍ Andreas Hamfelt; Jørgen Fischer Nilsson; Nikolaj Oldager 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 104 KB

Davidson's Program And Interpreted Logic

✍ Lenny Clapp 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 207 KB

Towards a fuzzy logic programming system

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

Compact normal forms in propositional lo

✍ J.M. Wilson 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 515 KB

Standard forms for rational linear arith

✍ Pascal Van Hentenryck; Thomas Graf 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 879 KB