𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Place of Logic in Reasoning

✍ Scribed by Daniel Kayser

Book ID
107509027
Publisher
SP Birkhäuser Verlag Basel
Year
2010
Tongue
English
Weight
158 KB
Volume
4
Category
Article
ISSN
1661-8297

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning Processes in Propositional Log
Reasoning Processes in Propositional Logic
✍ Claes Strannegård; Simon Ulfsbäcker; David Hedqvist; Tommy Gärling 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 554 KB
Conditional reasoning in logic programmi
Conditional reasoning in logic programming
✍ D. Gabbay; L. Giordano; A. Martelli; N. Olivetti; M.L. Sapino 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 286 KB

We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge