R-CALCULUS: A Logic of Belief Revision
af Wei Li, m.fl.
Bog, Hardback, Engelsk, 2021
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).
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO1.034,95 kr.Gratis fragtUkendtKøb for 1.034,95 kr.Køb
- Bogreolen1.492,95 kr.0,00 kr.2-4 ugerKøb for 1.492,95 kr.Køb
- Tales1.493,95 kr.34,95 kr.2-4 ugerKøb for 1.493,95 kr.Køb
- Pling BØGER1.493,95 kr.34,95 kr.2-4 ugerKøb for 1.493,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9789811629433
- Udgivet2/11/2021
- Udgivet afSpringer Verlag, Singapore
- Længde200 sider
- ForfattereWei Li, Yuefei Sui
- GenreBusiness og læring