000 | 02782nam a22005415i 4500 | ||
---|---|---|---|
001 | 978-3-540-49736-3 | ||
003 | DE-He213 | ||
005 | 20240423132556.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s1997 gw | s |||| 0|eng d | ||
020 |
_a9783540497363 _9978-3-540-49736-3 |
||
024 | 7 |
_a10.1007/BFb0021104 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTA347.A78 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
072 | 7 |
_aUYQ _2thema |
|
082 | 0 | 4 |
_a006.3 _223 |
100 | 1 |
_aSchlechta, Karl. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut |
|
245 | 1 | 0 |
_aNonmonotonic Logics _h[electronic resource] : _bBasic Concepts, Results, and Techniques / _cby Karl Schlechta. |
250 | _a1st ed. 1997. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1997. |
|
300 |
_aIX, 246 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v1187 |
|
505 | 0 | _aPreferential structures and related logics -- Defaults as generalized quantifiers -- Logic and analysis -- Theory revision and probability -- Structured reasoning. | |
520 | _aNonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability. This book emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo. | ||
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aMachine theory. | |
650 | 1 | 4 | _aArtificial Intelligence. |
650 | 2 | 4 | _aFormal Languages and Automata Theory. |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783540624820 |
776 | 0 | 8 |
_iPrinted edition: _z9783662207635 |
830 | 0 |
_aLecture Notes in Artificial Intelligence, _x2945-9141 ; _v1187 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/BFb0021104 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
912 | _aZDB-2-BAE | ||
942 | _cSPRINGER | ||
999 |
_c189291 _d189291 |