LEADER 02869nam  22005415  450 
001 996465985403316
005 20200704191212.0
010   $a3-540-49736-6
024 7 $a10.1007/BFb0021104
035   $a(CKB)1000000000234585
035   $a(SSID)ssj0000325256
035   $a(PQKBManifestationID)11258845
035   $a(PQKBTitleCode)TC0000325256
035   $a(PQKBWorkID)10322506
035   $a(PQKB)11325301
035   $a(DE-He213)978-3-540-49736-3
035   $a(PPN)155216309
035   $a(EXLCZ)991000000000234585
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNonmonotonic Logics$b[electronic resource] $eBasic Concepts, Results, and Techniques /$fby Karl Schlechta
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (IX, 246 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1187
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-62482-1 
327   $aPreferential structures and related logics -- Defaults as generalized quantifiers -- Logic and analysis -- Theory revision and probability -- Structured reasoning.
330   $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.
410  0$aLecture Notes in Artificial Intelligence ;$v1187
606   $aArtificial intelligence
606   $aMathematical logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615 14$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
676   $a006.3
700   $aSchlechta$b Karl$4aut$4http://id.loc.gov/vocabulary/relators/aut$0132711
906   $aBOOK
912   $a996465985403316
996   $aNonmonotonic logics$9970620
997   $aUNISA