Probability Logics
Ognjanovic, Zoran, Raškovic, Miodrag, Markovic, Zoran
Produktnummer:
1841f929a8b1d448e0b73f7de1a7168e8d
Autor: | Markovic, Zoran Ognjanovic, Zoran Raškovic, Miodrag |
---|---|
Themengebiete: | Default Reasoning First-Order Logic Knowledge Inconsistency Probability Functions Probability Logic Real-World Reasoning Satisfiability Checking Spatiotemporal Reasoning Uncertain Reasoning |
Veröffentlichungsdatum: | 29.06.2018 |
EAN: | 9783319836379 |
Sprache: | Englisch |
Seitenzahl: | 215 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer International Publishing |
Untertitel: | Probability-Based Formalization of Uncertain Reasoning |
Produktinformationen "Probability Logics"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen