✦ LIBER ✦

An Overview of Tableau Algorithms for Description Logics

✍ Scribed by Franz Baader; Ulrike Sattler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inconsistency-tolerant description logic

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

An analytic tableau calculus for a tempo

✍ Ji Ma; Mehmet A. Orgun; Kamel Adi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 246 KB

Dialogue Games for Many-Valued Logics —

✍ C. G. Fermüller 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 336 KB

Coalgebraic semantics of modal logics: A

✍ Clemens Kupke; Dirk Pattinson 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 423 KB

Algorithms for hierarchical clustering:

✍ Fionn Murtagh; Pedro Contreras 📂 Article 📅 2011 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 260 KB

Description logics for an autonomic IDS

✍ W. Yan; E. Hou; N. Ansari 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 462 KB