✦ LIBER ✦

A New Research into Default Logic

✍ Scribed by Zhang Mingyi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embedding Modal Nonmonotonic Logics into

✍ Robert Milnikel 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 784 KB

On embedding default logic into Moore's

✍ Grigori Schwarz 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 770 KB

New proofs in default logic theory

✍ G. Antoniou; E. Langetepe; V. Sperschneider 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 903 KB

A base logic for default reasoning

✍ Beihai Zhou; Yi Mao 📂 Article 📅 2006 🏛 Higher Education Press and Springer 🌐 English ⚖ 454 KB

A Correct Logic Programming Computation

✍ Grigoris Antoniou; Elmar Langetepe 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

A logical framework for default reasonin

✍ David Poole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 943 KB