✦ LIBER ✦

A new method for reasoning about action

✍ Scribed by Jie Yang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about Action Systems using the

✍ M. Waldén; K. Sere 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 414 KB

A preferential semantics for causal reas

✍ Mikhail Prokopenko 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 784 KB

A commonsense language for reasoning abo

✍ Charles L. Ortiz Jr. 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 404 KB

A Family of Dynamic Description Logics f

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

A logic for reasoning about ambiguity

✍ Halpern, Joseph Y.; Kets, Willemien 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 272 KB

A Logic for Reasoning about Relative Sim

✍ Beata Konikowska 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 489 KB