6 résultat(s)
Télécharger le livre : R-Calculus, VI: Finite Injury Priority Method
Wei Li , Yuefei Sui
R-Calculus, VI: Finite Injury Priority Method
This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority...
Editeur : Springer
Parution : 2024-10-28

Format(s) : PDF, ePub
149,79 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, V: Description Logics
Wei Li , Yuefei Sui
R-Calculus, V: Description Logics
This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and...
Editeur : Springer
Parution : 2024-01-05
Collection : Perspectives in Formal Induction, Revision and Evolution
Format(s) : PDF, ePub
198,89 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, IV: Propositional Logic
Wei Li , Yuefei Sui
R-Calculus, IV: Propositional Logic
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming,...
Editeur : Springer
Parution : 2023-03-27
Collection : Perspectives in Formal Induction, Revision and Evolution
Format(s) : PDF, ePub
198,89 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, III: Post Three-Valued Logic
Wei Li , Yuefei Sui
R-Calculus, III: Post Three-Valued Logic
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as...
Editeur : Springer
Parution : 2022-11-19
Collection : Perspectives in Formal Induction, Revision and Evolution
Format(s) : PDF, ePub
187,19 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-Calculus, II: Many-Valued Logics
Wei Li , Yuefei Sui
R-Calculus, II: Many-Valued Logics
This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved...
Editeur : Springer
Parution : 2022-04-12
Collection : Perspectives in Formal Induction, Revision and Evolution
Format(s) : PDF, ePub
163,79 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : R-CALCULUS: A Logic of Belief Revision
Wei Li , Yuefei Sui
R-CALCULUS: A Logic of Belief Revision
This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal...
Editeur : Springer
Parution : 2021-11-01
Collection : Perspectives in Formal Induction, Revision and Evolution
Format(s) : PDF, ePub
105,29 €
Téléchargement immédiat
Dès validation de votre commande