LEADER 03131nam  22005415  450 
001 9910143474603321
005 20200706171318.0
010   $a3-540-69793-4
024 7 $a10.1007/BFb0054963
035   $a(CKB)1000000000211001
035   $a(SSID)ssj0000321551
035   $a(PQKBManifestationID)11246814
035   $a(PQKBTitleCode)TC0000321551
035   $a(PQKBWorkID)10263448
035   $a(PQKB)11058388
035   $a(DE-He213)978-3-540-69793-0
035   $a(PPN)15523496X
035   $a(EXLCZ)991000000000211001
100   $a20121227d1997      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 14$aThe Automation of Reasoning with Incomplete Information$b[electronic resource] $eFrom Semantic Foundations to Efficient Computation /$fby Torsten Schaub
205   $a1st ed. 1997.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997.
215   $a1 online resource (XIV, 166 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v1409
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-64515-2 
327   $aThe original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives.
330   $aReasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available. A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.
410  0$aLecture Notes in Artificial Intelligence ;$v1409
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/33
700   $aSchaub$b Torsten$4aut$4http://id.loc.gov/vocabulary/relators/aut$0747212
906   $aBOOK
912   $a9910143474603321
996   $aThe Automation of Reasoning with Incomplete Information$91944995
997   $aUNINA