LIBROS DEL AUTOR: yuefei sui

4 resultados para LIBROS DEL AUTOR: yuefei sui

yuefei sui Eliminar filtro Quitar filtros
  • R-Calculus, II
    Wei Li / Yuefei Sui
    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 to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of ta...
    Disponible

    197,74 €

  • R-Calculus, IV
    Wei Li / Yuefei Sui
    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, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are al...
    Disponible

    47,95 €

  • R-Calculus, III
    Wei Li / Yuefei Sui
    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 Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to r...
    Disponible

    47,86 €

  • R-CALCULUS
    Wei Li / Yuefei Sui
    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 change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (t...
    Disponible

    134,28 €