✦ LIBER ✦

On the autoepistemic reconstruction of logic programming

✍ Scribed by Y. J. Jiang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic program semantics and circumscript

✍ Li Yan Yuan 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 523 KB

On the logic of programs

✍ R. A. Plyushkyavichyus; A. Yu. Plyushkyavichene; Yu. V. Sakalauskaite; S. P. Yuk 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 875 KB

A Model-Theoretic Reconstruction of the

✍ M. Falaschi; G. Levi; M. Martelli; C. Palamidessi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 925 KB

Report on the Logic Programming Conferen

✍ Katsumi Nitta 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 100 KB

Applications of logic programming in lan

✍ M.R.A. Eltantawi; P. Maresca 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 857 KB

On the relation between default and auto

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 28 KB