✦ LIBER ✦

A LOGICAL REASON FOR THE TECHNOLOGICAL SIMPLIFICATION

Book ID: 109335456
Publisher: John Wiley and Sons
Year: 2010
Tongue: English
Weight: 941 KB
Volume: 81
Category: Article
ISSN: 0065-101X
DOI: 10.1111/j.1600-0390.2010.00368.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic For Inductive Probabilistic Reas

A Logic For Inductive Probabilistic Reasoning

✍ Manfred Jaeger 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 434 KB

A logical framework for default reasonin

A logical framework for default reasoning

✍ David Poole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 943 KB

A base logic for default reasoning

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

A reasoning method for a paraconsistent

A reasoning method for a paraconsistent logic

✍ Arthur Buchsbaum; Tarcisio Pequeno 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 524 KB

A modal logic for subjective default rea

A modal logic for subjective default reasoning

✍ Shai Ben-David; Rachel Ben-Eliyahu-Zohary 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 168 KB

In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If α, then normally β". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We prese

A Logic for Reasoning about Relative Sim

A Logic for Reasoning about Relative Similarity

✍ Beata Konikowska 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 489 KB