000			02758nam a22004095i 4500
001			86372
003			ES-MaUEC
005			20230207040555.0
007			cr nn 008mamaa
008			161024s2016 gw a s 001 0 eng d
020			_a9783319470122
024	7		_a10.1007/978-3-319-47012-2 _2doi
040			_aES-MaUEC
050		4	_aQA273 _b.O36 2016 EB
082	0	4	_a005.131
100	1		_aOgnjanovic, Zoran _9100045 _0Local
245	1	0	_aProbability Logics : _bProbability-Based Formalization of Uncertain Reasoning _cby Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
264		1	_aCham _bSpringer International Publishing _c2016
300			_a1 recurso en línea (XI, 215 p.) _b5 ilustraciones
336			_aTexto (visual) _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
505	0		_aIntroduction, 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			_aThe 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.
710	2		_aSpringerLink (Online service) _0Local _9106996
942			_2lcc _cLE
988			_aEBOOK, EBSPRINGER
650		7	_aProbabilidades _0comprobar BNE19900966269 _2embne _9405075
650		7	_aLógica algebraica _9146449 _0comprobar BNE19923476763 _2embne
700	1		_aRaskovic, Miodrag _9100046 _0Local
700	1		_aMarkovic, Zoran _9100047 _0Local
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-47012-2 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9783319470122
907			_a.b12956508 _b10-10-17 _c21-11-16
998			_am _a_alco _a_vill _b20-09-17 _cm _dz _ei _feng _ggw _h0
945			_aQA273 .O36 2016 EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11598360 _z06-04-17
999			_c86372 _d86372 _x1