Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
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.
  • 2-3 uger.
  • 18. Oktober 2024
På lager

Normalpris

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.