R-CALCULUS: A Logic of Belief Revision /

R-CALCULUS: A Logic of Belief Revision /

Show other versions (1)

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

Full description

Bibliographic Details
Main Authors: Li, Wei (Author, http://id.loc.gov/vocabulary/relators/aut), Sui, Yuefei (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Book
Language:English
Published: Singapore : Springer Nature Singapore : Imprint: Springer, 2021
Edition:1st ed. 2021
Series:Computer Science (SpringerNature-11645)
Perspectives in Formal Induction, Revision and Evolution,
Subjects:
Big data
Logic programming
Logic, Symbolic and mathematical
Machine theory
Mathematical models
Logic in AI
Big Data
Formal Languages and Automata Theory
Mathematical Logic and Foundations
Mathematical Modeling and Industrial Mathematics

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items