Probability Logics (Record no. 56706)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02810nam a22005175i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-47012-2 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200421112042.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 161024s2016 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319470122 |
| -- | 978-3-319-47012-2 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.131 |
| 100 1# - AUTHOR NAME | |
| Author | Ognjanović, Zoran. |
| 245 10 - TITLE STATEMENT | |
| Title | Probability Logics |
| Sub Title | Probability-Based Formalization of Uncertain Reasoning / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XI, 215 p. 5 illus. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature. 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. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Rašković, Miodrag. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Marković, Zoran. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-47012-2 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2016. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logic. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial Intelligence (incl. Robotics). |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logic. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical Logic and Foundations. |
| 912 ## - | |
| -- | ZDB-2-SCS |
No items available.