Fortell venner om denne varen:
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition
Wei Li
Pris
DKK 688,80
Bestillingsvarer
Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller
Finnes også som:
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition
Wei Li
It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).
200 pages, 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 3. november 2022 |
| ISBN13 | 9789811629464 |
| Utgivere | Springer Verlag, Singapore |
| Antall sider | 200 |
| Mål | 332 g |
![Cover for Wei Li · R-Calculus, VI: Finite Injury Priority Method - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2024 edition] (2024)](https://imusic.b-cdn.net/images/item/original/296/9789819758296.jpg?wei-li-2024-r-calculus-vi-finite-injury-priority-method-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1750959910)
![Cover for Wei Li · Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures (Innbunden bok) [2025 edition] (2024)](https://imusic.b-cdn.net/images/item/original/544/9789819772544.jpg?wei-li-2024-alternating-current-field-measurement-technique-for-detection-and-measurement-of-cracks-in-structures-innbunden-bok&class=scaled&v=1750951538)
![Cover for Wei Li · R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution (Pocketbok) [2023 edition] (2024)](https://imusic.b-cdn.net/images/item/original/352/9789811986352.jpg?wei-li-2024-r-calculus-iv-propositional-logic-perspectives-in-formal-induction-revision-and-evolution-pocketbok&class=scaled&v=1719566664)
![Cover for Wei Li · R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution (Pocketbok) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/723/9789811942723.jpg?wei-li-2023-r-calculus-iii-post-three-valued-logic-perspectives-in-formal-induction-revision-and-evolution-pocketbok&class=scaled&v=1721156075)
![Cover for Wei Li · R-Calculus, II: Many-Valued Logics - Perspectives in Formal Induction, Revision and Evolution (Pocketbok) [2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/963/9789811692963.jpg?wei-li-2023-r-calculus-ii-many-valued-logics-perspectives-in-formal-induction-revision-and-evolution-pocketbok&class=scaled&v=1694584586)
![Cover for Wei Li · R-Calculus, IV: Propositional Logic - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/321/9789811986321.jpg?wei-li-2023-r-calculus-iv-propositional-logic-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1694584586)
![Cover for Wei Li · R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/693/9789811942693.jpg?wei-li-2022-r-calculus-iii-post-three-valued-logic-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1687472328)
![Cover for Wei Li · R-Calculus, II: Many-Valued Logics - Perspectives in Formal Induction, Revision and Evolution (Innbunden bok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/932/9789811692932.jpg?wei-li-2022-r-calculus-ii-many-valued-logics-perspectives-in-formal-induction-revision-and-evolution-innbunden-bok&class=scaled&v=1694584586)
![Cover for Wei Li · Crowdsourcing: Cloud-Based Software Development - Progress in IS (Innbunden bok) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/107/9783662470107.jpg?wei-li-2015-crowdsourcing-cloud-based-software-development-progress-in-is-innbunden-bok&class=scaled&v=1467576745)
![Cover for Wei Li · Mathematical Logic: Foundations for Information Science - Progress in Computer Science and Applied Logic (Innbunden bok) [2nd ed. 2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/613/9783034808613.jpg?wei-li-2014-mathematical-logic-foundations-for-information-science-progress-in-computer-science-and-applied-logic-innbunden-bok&class=scaled&v=1416051265)
![Cover for Wei Li · Stereoselective Formation of Amines - Topics in Current Chemistry (Innbunden bok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/282/9783642539282.jpg?wei-li-2014-stereoselective-formation-of-amines-topics-in-current-chemistry-innbunden-bok&class=scaled&v=1397797254)
![Cover for Wei Li · Echocardiography in Adult Congenital Heart Disease (Pocketbok) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/528/9781849966528.jpg?wei-li-2010-echocardiography-in-adult-congenital-heart-disease-pocketbok&class=scaled&v=1408606408)
![Cover for Wei Li · Echocardiography in Adult Congenital Heart Disease (Innbunden bok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/159/9781846288159.jpg?wei-li-2007-echocardiography-in-adult-congenital-heart-disease-innbunden-bok&class=scaled&v=1508189449)