단행본 상세

서지주요정보
R-CALCULUS: A Logic of Belief Revision
서명 / 저자 R-CALCULUS: A Logic of Belief Revision [electronic resource] / by Wei Li, Yuefei Sui.
저자명 Li, Wei. author. aut http://id.loc.gov/vocabulary/relators/aut
Sui, Yuefei. author. aut http://id.loc.gov/vocabulary/relators/aut
단체명 SpringerLink (Online service)
판사항 1st ed. 2021.
발행사항 Singapore : Springer Nature Singapore : Imprint: Springer, 2021.
총서명 Perspectives in Formal Induction, Revision and Evolution, 2731-3697
Online Access https://doi.org/10.1007/978-98... URL

서지기타정보

서지기타정보
ISBN 9789811629440
기타 표준번호 10.1007/978-981-16-2944-0
청구기호 QA76.63
형태사항 XII, 200 p. 4 illus., 1 illus. in color. online resource.
언어 English
내용 Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic -- Nonmonotonicity of R-calculus -- Approximate R-calculus -- An application to Default Logic -- An application to Semantic Networks.
주제 Logic programming.
Machine theory.
Mathematical logic.
Mathematical models.
Big data.
Logic in AI.
Formal Languages and Automata Theory.
Mathematical Logic and Foundations.
Mathematical Modeling and Industrial Mathematics.
Big Data.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9789811629433 Printed edition: 9789811629457 Printed edition: 9789811629464
QR CODE