✦ LIBER ✦

Representing and reasoning about concurrent actions with abductive logic programs

✍ Scribed by Renwei Li; Luís Moniz Pereira

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction: Logic programming, non-mon

✍ Chitta Baral; Vladik Kreinovich; Vladimir Lifschitz 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 32 KB

A Family of Dynamic Description Logics f

✍ Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 986 KB