Recomienda este artículo a tus amigos:
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution Wei Li 2021 edition
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution
Wei Li
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 todoMere med samme udgiver
Ver todo de Wei Li ( Ej. Hardcover Book , Paperback Book , Book y CD )