✦ LIBER ✦

A Correct Logic Programming Computation of Default Logic Extensions

✍ Scribed by Grigoris Antoniou; Elmar Langetepe

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Stable and extension class theory for lo

✍ Chitta R. Baral; V. S. Subrahmanian 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 1018 KB

Modal extension of logic programming sys

✍ A. V. Pozharskii 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 295 KB

Complete extension of general logic prog

✍ Bernhard Gil 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 891 KB

On the complexity of extension checking

✍ Paolo Liberatore 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 71 KB

Operational characterization of extensio

✍ Grigoris Antoniou 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 633 KB

A Critical Reexamination of Default Logi

✍ Joseph Y. Halpern 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 191 KB