✦ LIBER ✦

A note on the cumulativity of justified default logic

✍ Scribed by ANTONIOU, GRIGORIS

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Symb

✍ Kruse, Rudolf; Siegel, Pierre 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 308 KB

On the complexity of extension checking

✍ Paolo Liberatore 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 71 KB

A note on the logic of elsewhere

✍ KRISTER SEGERBERG 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 183 KB

A note on the logic of design

✍ William Fawcett 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 407 KB

A NOTE ON NULL MODELS: JUSTIFYING THE ME

✍ Manly, Bryan; Sanderson, James G. 📂 Article 📅 2002 🏛 Ecological Society of America 🌐 English ⚖ 43 KB

A note on the tense logic of dominoes

✍ Yde Venema 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 427 KB