✦ LIBER ✦

General default logic

✍ Scribed by Yi Zhou; Fangzhen Lin; Yan Zhang

Book ID: 106343131
Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 580 KB
Volume: 57
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-009-9161-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Default logic generalized and simplified

✍ Alexander Bochman 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 515 KB

Default Logic as Dynamic Doxastic Logic

✍ Krister Segerberg 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 124 KB

Computing with default logic

✍ Pawel̵ Cholewiński; Victor W. Marek; Mirosl̵aw Truszczyński; Artur Mikitiuk 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 508 KB

Default logic was proposed by Reiter as a knowledge representation tool. In this paper, we present our work on the Default Reasoning System, DeReS, the first comprehensive and optimized implementation of default logic. While knowledge representation remains the main application area for default logi

Temporalizing Epistemic Default Logic

✍ Wiebe van der Hoek; John-Jules Meyer; Jan Treur 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

Stable generated models, partial tempora

Stable generated models, partial temporal logic and disjunctive defaults

✍ Joeri Engelfriet; Heinrich Herre 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 220 KB

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