✦ LIBER ✦

A Family of Dynamic Description Logics for Representing and Reasoning About Actions

✍ Scribed by Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A generic complete dynamic logic for rea

✍ Till Mossakowski; Lutz Schröder; Sergey Goncharov 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 507 KB

A description logic approach for represe

✍ Fu Zhang; Z.M. Ma; Li Yan; Yu Wang 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 722 KB

Development of an Evaluation Plan for Su

✍ J. Carson; J. Hedl; H. Cattlett 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 140 KB

A new family of semidynamic and dynamic

✍ Klass, F.; Amir, C.; Das, A.; Aingaran, K.; Truong, C.; Wang, R.; Mehta, A.; Hea 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 101 KB

The generalized domain structure paramet

✍ A. I. Kadochnikov; G. S. Korzunin 📂 Article 📅 2000 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 116 KB