Billede af bogens forside - R-CALCULUS: A Logic of Belief Revision

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

Bogdetaljer

  • SprogEngelsk
  • IndbindingHardback
  • ISBN9789811629433
  • Udgivet2/11/2021
  • Udgivet afSpringer Verlag, Singapore
  • Længde200 sider
  • ForfattereWei Li, Yuefei Sui
  • GenreBusiness og læring