R-CALCULUS: A Logic of Belief Revision (Bog, Paperback / softback, Engelsk) af Wei Li
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk modellering
  6. Kunstig intelligens
  7. Matematikkens fundament
  8. Matematik for ingeniører
  9. R-CALCULUS: A Logic of Belief Revision

R-CALCULUS: A Logic of Belief Revision

(Bog, Paperback / softback, Engelsk)
Forfattere: Wei Li, Yuefei Sui
R-CALCULUS: A Logic of Belief Revision
Forlag: Springer Verlag, Singapore

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Verlag, Singapore
Forfattere Wei Li, Yuefei Sui
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2021 ed.
Udgivelsesdato 03-11-2022
Første udgivelsesår 2022
Serie Perspectives in Formal Induction, Revision and Evolution
Illustrationer 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus. in color.
Originalsprog Singapore
Sideantal 200
Indbinding Paperback / softback
Forlag Springer Verlag, Singapore
Sideoplysninger 200 pages, 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9789811629464