𝔖 Bobbio Scriptorium
✦   LIBER   ✦

'Classical' Negation in Nonmonotonic Reasoning and Logic Programming

✍ Scribed by José Júlio Alferes; Luís Moniz Pereira; Teodor C. Przymusinski

Book ID
110230288
Publisher
Springer Netherlands
Year
1998
Tongue
English
Weight
589 KB
Volume
20
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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