Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2024
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. R-CALCULUS: A Logic of Belief Revision

R-CALCULUS: A Logic of Belief Revision - Wei Li - Bog

af Wei Li, Yuefei Sui

indgår i Perspectives in Formal Induction, Revision and Evolution serien

R-CALCULUS: A Logic of Belief Revision af Wei Li
Bag om R-CALCULUS: A Logic of Belief Revision

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).

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789811629433
  • Indbinding:
  • Hardback
  • Sideantal:
  • 200
  • Udgivet:
  • 2. november 2021
  • Udgave:
  • 12021
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 489 g.
  • 8-11 hverdage.
  • 20. november 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Wei Li

Vis alle bøger af Wei Li

Beskrivelse af R-CALCULUS: A Logic of Belief Revision

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).

Brugerbedømmelser af R-CALCULUS: A Logic of Belief Revision



Andre købte også..
Find lignende bøger
Bogen R-CALCULUS: A Logic of Belief Revision findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.