✦ LIBER ✦

DISLOG: programming in logic with discontinuities

✍ Scribed by Patrick Saint-Dizier

Book ID: 110983822
Publisher: John Wiley and Sons
Year: 1990
Tongue: English
Weight: 888 KB
Volume: 6
Category: Article
ISSN: 0824-7935
DOI: 10.1111/j.1467-8640.1990.tb00291.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic programming with solution preferen

Logic programming with solution preferences

✍ Hai-Feng Guo; Bharat Jayaraman 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 335 KB

Logic programming with infinite sets

✍ Douglas Cenzer; Jeffrey B Remmel; Victor W. Marek 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 399 KB

Comments on “logic programming with equa

Comments on “logic programming with equations”

✍ Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso; Catuscia Palamidessi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 343 KB

This note discusses the results of the compilational approach of equational logic programming developed by Van Emden and Yukawa, and compares them with similar results obtained by Bosco et al. and by Fribourg. We show that Van Emden and Yukawa's completeness result contains an inaccuracy, and we sug

Logic programs with exceptions

✍ Robert A. Kowalski; Fariba Sadri 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 590 KB

Discontinuities of optimal return in dyn

Discontinuities of optimal return in dynamic programming

✍ R.E Haymond 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 290 KB

Clausal Logic and Logic Programming in A

Clausal Logic and Logic Programming in Algebraic Domains

✍ William C Rounds; Guo-Qiang Zhang 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 114 KB