✦ LIBER ✦

A description-oriented logic for building knowledge bases

✍ Scribed by Attardi, G.; Simi, M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Consistency of structured knowledge: A f

✍ Pascale Hors; Marie-Christine Rousset 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 801 KB

Building a Knowledge Base

✍ William Gartner 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 99 KB

A logical framework for knowledge base m

✍ Wei Li 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 667 KB

Knowledge acquisition mechanisms for a l

✍ Mitsuru Ishizuka; Tetsusi Matsuda 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 940 KB

Building temporal constraints into knowl

✍ S. Parthasarathy 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 507 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