✦ LIBER ✦

Teaching computer science through a logic programming approach

✍ Scribed by Rosa Maria Bottino; Paola Forcheri; Maria Teresa Molfino

Publisher: Elsevier Science
Year: 1988
Weight: 777 KB
Volume: 4
Category: Article
ISSN: 0167-9287
DOI: 10.1016/s0167-9287(88)90535-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computer language for teaching introdu

A computer language for teaching introductory logic

✍ R. M. Cater; H. W. Johnstone 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 283 KB

Computer algebra and logic programming

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

Hypothetical reasoning in logic programm

Hypothetical reasoning in logic programming: a semantic approach

✍ Antonio Brogi; Evelina Lamma; Paula Mello 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 517 KB

Multi-media instructional approach to te

Multi-media instructional approach to teaching linear programming

✍ A. Ravindran 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 529 KB

Expert tutoring system for teaching comp

Expert tutoring system for teaching computer programming languages

✍ M.M El-Khouly; B.H Far; Z Koono 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 344 KB

An abductive approach to disjunctive log

An abductive approach to disjunctive logic programming

✍ Jia-Huai You; Li Yan Yuan; Randy Goebel 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 282 KB

Nonmonotonic reasoning has been explored as a form of abductive reasoning where default assumptions are treated as abductive hypotheses. While the semantics and proof theories under this approach have been studied extensively, the question of how disjunctive programs may be used to reason abductivel