✦ LIBER ✦

A Logic-based Formalism for Reasoning about Visual Representations

✍ Scribed by VOLKER HAARSLEV

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Paraconsistent logics as a formalism for

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

Formally Verified Tableau-Based Reasoner

✍ Hidalgo-Doblado, M. J.; Alonso-JimÃ©nez, J. A.; Borrego-DÃaz, J.; MartÃn-Mateo 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 739 KB

A logic for reasoning about ambiguity

✍ Halpern, Joseph Y.; Kets, Willemien 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 272 KB

A Logic for Reasoning about Relative Sim

✍ Beata Konikowska 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 489 KB

A formal fuzzy reasoning system and reas

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

A simple logic for reasoning about incom

✍ Banerjee, Mohua; Dubois, Didier 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 336 KB