✦ LIBER ✦

A logical framework for default reasoning

✍ Scribed by David Poole

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 943 KB
Volume: 36
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(88)90077-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Operational characterization of extensio

Operational characterization of extensions in some logics for default reasoning

✍ Grigoris Antoniou 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 633 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

Support set selection for a bductive and

Support set selection for a bductive and default reasoning

✍ Bart Selman; Hector J. Levesque 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 987 KB

Of all the possible ways of computing abductive explanations, the ATMS procedure is one of the most popular. While this procedure is known to run in exponential time in the worst case, the proof actually depends on the existence of queries with an exponential number of answers. But how much of the d

A logical foundation for the case-based

A logical foundation for the case-based reasoning cycle

✍ Gavin Finnie; Zhaohao Sun 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 134 KB

A logical framework for large file infor

A logical framework for large file information handling

✍ G. Coray; W.S. Hatcher 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 846 KB

Logic For Reasoning About Knowledge

✍ Ewa Orlowska 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 719 KB