R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Libros - Springer Verlag, Singapore - 9789811629433 - 2 de noviembre de 2021
En caso de que portada y título no coincidan, el título será el correcto

R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Wei Li
Añadir a tu lista de deseos de iMusic

Aún no valorado

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


200 pages, 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 2 de noviembre de 2021
ISBN13 9789811629433
Editores Springer Verlag, Singapore
Páginas 200
Dimensiones 150 × 220 × 20 mm   ·   476 g

Mas por Wei Li

Mostrar todo

Más del mismo editor