✦ LIBER ✦

Formally Verified Tableau-Based Reasoners for a Description Logic

✍ Scribed by Hidalgo-Doblado, M. J.; Alonso-JimÃ©nez, J. A.; Borrego-DÃaz, J.; MartÃn-Mateos, F. J.; Ruiz-Reina, J. L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic-based Formalism for Reasoning ab

✍ VOLKER HAARSLEV 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 273 KB

Paraconsistent logics as a formalism for

✍ Newton C.A. da Costa; V.S. Subrahmanian 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 858 KB

Inconsistency-tolerant description logic

✍ S.P. Odintsov; H. Wansing 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 249 KB

A formal fuzzy reasoning system and reas

✍ Zaiyue Zhang; Yuefei Sui; Cungen Cao; Guohua Wu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 213 KB

A description logics formalization for t

✍ Manel Kolli; Zizette Boufaida 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 212 KB

A base logic for default reasoning

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