✦ LIBER ✦

Multi-valued autoepistemic logic

✍ Scribed by Robert F. Stärk

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Autoepistemic logic revisited

✍ Robert C. Moore 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 214 KB

On embedding default logic into Moore's

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

Multi-valued logic and Gröner bases with

✍ J. Chazarain; A. Riscos; J.A. Alonso; E. Briales 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 785 KB

CWA formalizations in multi-valued logic

✍ Jinzhao Wu 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 465 KB

Autoepistemic logic of first order and i

✍ Li-Yan Yuan 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1008 KB

Multi-valued circuits in fault detection

✍ Zvonko G. Vranesic 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 315 KB