Udvidet returret til d. 31. januar 2025

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

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.
  • 10. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK WEEK

Medlemspris

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

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



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.