LEADER 01251nam--2200385---450- 001 990001083810203316 005 20090818145204.0 010 $a88-14-09376-8 035 $a000108381 035 $aUSA01000108381 035 $a(ALEPH)000108381USA01 035 $a000108381 100 $a20020605d2002----km-y0enga50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $a<> diritto degli enti locali$eaggiornato con la Legge costituzionale 18 ottobre 2001, n. 3$eproblemi e casi pratici$fEnrico Maggiora 210 $aMilano$cGiuffrè$d2002 215 $aXXVIII, 659 p.$d24 cm 225 2 $aCosa & come. Enti locali$v100 410 1$12001$aCosa & come. Enti locali 606 0 $aEnti locali$xLegislazione 676 $a342.4509 700 1$aMAGGIORA,$bEnrico$0133029 801 0$aIT$bSalbc$cISBD 912 $a990001083810203316 951 $aXXIV.3.F 108 (IG IV 1435)$b33412 G.$cXXIV.3.F 108 (IG IV)$d00082259 959 $aBK 969 $aGIU 979 $aSTELLA$b10$c20020605$lUSA01$h1326 979 $aCHIARA$b90$c20020715$lUSA01$h1657 979 $aPATRY$b90$c20040406$lUSA01$h1715 979 $aRSIAV5$b90$c20090818$lUSA01$h1452 996 $aDiritto degli enti locali$964091 997 $aUNISA LEADER 03155nam 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 $aLogic, Symbolic and mathematical 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$aLogic, Symbolic and mathematical. 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