✦ LIBER ✦

Default logic generalized and simplified

✍ Scribed by Alexander Bochman

Book ID: 106343087
Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 515 KB
Volume: 53
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-009-9109-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General default logic

✍ Yi Zhou; Fangzhen Lin; Yan Zhang 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 580 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

Stratification for default logic variant

Stratification for default logic variants

✍ Grigoris Antoniou 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, ''local'' way. Up to now this idea was only followed for Reiter's default

Default Reasoning and Generics

✍ Ariel Cohen 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 179 KB

Ordering default theories and nonmonoton

Ordering default theories and nonmonotonic logic programs

✍ Chiaki Sakama 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 338 KB

A base logic for default reasoning

✍ Beihai Zhou; Yi Mao 📂 Article 📅 2006 🏛 Higher Education Press and Springer 🌐 English ⚖ 454 KB