De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

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.
  • 9. Oktober 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: