✦ LIBER ✦

Computational complexity of terminological reasoning in BACK

✍ Scribed by Bernhard Nebel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computational models of uncertainty reas

✍ J.F. Baldwin 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 809 KB

A survey of techniques in applied comput

✍ Robert Meersman 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 751 KB

Important for the Definition of Terminol

✍ Markus Reiher 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB 👁 2 views

DEFINABILITY OF RECURSIVELY ENUMERABLE S

✍ Robert E. Byerly 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 330 KB

Some comparisons of complexity in dictio

✍ Giorgio Gnecco; Věra Kůrková; Marcello Sanguineti 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 364 KB

On the computational complexity of relia

✍ Maw-Sheng Chern 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 322 KB