✦ LIBER ✦

Reasoning Processes in Propositional Logic

✍ Scribed by Claes Strannegård; Simon Ulfsbäcker; David Hedqvist; Tommy Gärling

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 554 KB
Volume: 19
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-009-9102-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning with propositional knowledge b

Reasoning with propositional knowledge based on fuzzy neural logic

✍ Wangming Wu; Hoon-Heng Teh; Bo Yuan 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 760 KB

In this article, a new kind of reasoning for propositional knowledge, which is based on the fuzzy neural logic initialed by Teh, is introduced. A fundamental theorem is presented showing that any fuzzy neural logic network can be represented by operations: bounded sum, complement, and scalar product

A new modal logic for reasoning about sp

A new modal logic for reasoning about space: spatial propositional neighborhood logic

✍ Antonio Morales; Isabel Navarrete; Guido Sciavicco 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 663 KB

Reasoning About Propositional Commitment

Reasoning About Propositional Commitments in Dialogue

✍ Rodger Kibble 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 162 KB

Cut formulas in propositional logic

✍ Wenhui Zhang 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 803 KB

Counting proofs in propositional logic

✍ René David; Marek Zaionc 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 196 KB

Dempster-shafer approach in propositiona

Dempster-shafer approach in propositional logic

✍ Qing Zhu; E. S. Lee 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 357 KB

A general framework of uncertainty reasoning based on Dempster-Shafer's theory is proposed in the context of logic calculus. Under this framework, any inference can be conducted without much computational complexity. Furthermore, it avoids the problems of considering conflicting information and comm