R-CALCULUS: A Logic of Belief Revision
Inbunden, Engelska, 2021
1 919 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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).
Produktinformation
- Utgivningsdatum2021-11-02
- Mått155 x 235 x undefined mm
- FormatInbunden
- SpråkEngelska
- SeriePerspectives in Formal Induction, Revision and Evolution
- Antal sidor200
- FörlagSpringer Verlag, Singapore
- ISBN9789811629433