Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. R-CALCULUS: A Logic of Belief Revision

R-CALCULUS: A Logic of Belief Revision

av Wei Li, Yuefei Sui

del av Perspectives in Formal Induction, Revision and Evolution-serien

R-CALCULUS: A Logic of Belief Revision av Wei Li
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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9789811629433
  • Bindende:
  • Hardback
  • Sider:
  • 200
  • Utgitt:
  • 2 november 2021
  • Utgave:
  • 12021
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 489 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 24 oktober 2024

Om Wei Li

Se alle bøkene av Wei Li

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

Brukervurderinger av R-CALCULUS: A Logic of Belief Revision



Andre har også kjøpt..
Finn lignende bøker
Boken R-CALCULUS: A Logic of Belief Revision finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.