𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical considerations on default semantics

✍ Scribed by William C. Rounds; Guo‐Qiang Zhang

Book ID
110379711
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
355 KB
Volume
20
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On cumulative default logics
On cumulative default logics
✍ Laura Giordano; Alberto Martelli 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 941 KB

Giordano, L. and A. Martelli, On cumulative default logics, Artificial Intelligence 66 (1994) 161-179. Recently cumulative variants of Reiter's default logic have been proposed. All of them happen to be semimonotonic and to commit to assumptions, i.e. to require consistency of justifications. In th

Temporal logics in AI: Semantical and on
Temporal logics in AI: Semantical and ontological considerations
✍ Yoav Shoham 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 808 KB

One way to represent temporal m]ormatton m a logtcal Jormahsm ts by assocgatmg "'proposttton types" wtth ttme pomts or ttme mtervals The way this ts usually done m A1 zs by "retrying" propostttons, so that what otherwise would have been formulas actually appear as arguments to some "predwate," say T