
Conte aos seus amigos sobre este item:
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition
Wei Li
R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition
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.
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 3 de novembro de 2022 |
ISBN13 | 9789811629464 |
Editoras | Springer Verlag, Singapore |
Páginas | 200 |
Dimensões | 332 g |
Mostrar tudo
Mais por Wei Li
Ver tudo de Wei Li ( por exemplo Hardcover Book , Paperback Book , Book e CD )