𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Comment on “Logical representation of integer programming models”

✍ Scribed by Rudolf Vetschera

Book ID
114155105
Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
48 KB
Volume
22
Category
Article
ISSN
0167-9236

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Comments on “general failure of logic pr
Comments on “general failure of logic programs”
✍ Joxan Jaffar; Jean-Louis Lassez; Michael J. Maher 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 258 KB

The paper [1] purports to present a classification of the general failure sets of logic programs and a simple proof of the theorem on the soundness and completeness of the negation-as-failure rule. In this note we clarify some conflicting terminology between [1] and the papers [2, 3] to which it pre