119,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.
An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.
Presents applications of probability logics to real-world reasoning, including default reasoning, spatiotemporal reasoning, and measuring inconsistency
Includes extensive bibliographies pointing to related work
Useful reference for researchers using probability logic, and textbook for graduate courses in logic
Includes supplementary material: [...]
Introduction, Historical Background.- Syntax and Semantics of Probability Logics.- Completeness.- Decidability.- Heuristic Procedure for Satisfiability Checking.- Qualitative Probabilities.- Probability Functions.- Intuitionistic, Temporal, First-Order Logic.- Conditional Probabilities.- Probabilistic Approach to Default Reasoning.- Reasoning About Evidence.- Measuring Knowledge Inconsistency.
Erscheinungsjahr: | 2018 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
xi
215 S. 5 s/w Illustr. 215 p. 5 illus. |
ISBN-13: | 9783319836379 |
ISBN-10: | 3319836374 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Ognjanovi¿, Zoran
Markovi¿, Zoran Ra¿kovi¿, Miodrag |
Auflage: | Softcover reprint of the original 1st ed. 2016 |
Hersteller: |
Springer International Publishing
Springer International Publishing AG |
Maße: | 235 x 155 x 13 mm |
Von/Mit: | Zoran Ognjanovi¿ (u. a.) |
Erscheinungsdatum: | 29.06.2018 |
Gewicht: | 0,359 kg |
Presents applications of probability logics to real-world reasoning, including default reasoning, spatiotemporal reasoning, and measuring inconsistency
Includes extensive bibliographies pointing to related work
Useful reference for researchers using probability logic, and textbook for graduate courses in logic
Includes supplementary material: [...]
Introduction, Historical Background.- Syntax and Semantics of Probability Logics.- Completeness.- Decidability.- Heuristic Procedure for Satisfiability Checking.- Qualitative Probabilities.- Probability Functions.- Intuitionistic, Temporal, First-Order Logic.- Conditional Probabilities.- Probabilistic Approach to Default Reasoning.- Reasoning About Evidence.- Measuring Knowledge Inconsistency.
Erscheinungsjahr: | 2018 |
---|---|
Genre: | Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Inhalt: |
xi
215 S. 5 s/w Illustr. 215 p. 5 illus. |
ISBN-13: | 9783319836379 |
ISBN-10: | 3319836374 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Ognjanovi¿, Zoran
Markovi¿, Zoran Ra¿kovi¿, Miodrag |
Auflage: | Softcover reprint of the original 1st ed. 2016 |
Hersteller: |
Springer International Publishing
Springer International Publishing AG |
Maße: | 235 x 155 x 13 mm |
Von/Mit: | Zoran Ognjanovi¿ (u. a.) |
Erscheinungsdatum: | 29.06.2018 |
Gewicht: | 0,359 kg |