LEADER 03044nam 22005895 450 001 996466159403316 005 20200702095804.0 010 $a3-540-49422-7 024 7 $a10.1007/3-540-60058-2 035 $a(CKB)1000000000234297 035 $a(SSID)ssj0000327352 035 $a(PQKBManifestationID)11273406 035 $a(PQKBTitleCode)TC0000327352 035 $a(PQKBWorkID)10316466 035 $a(PQKB)10372612 035 $a(DE-He213)978-3-540-49422-5 035 $a(PPN)155221817 035 $a(EXLCZ)991000000000234297 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTractable Reasoning in Aritificial Intelligence$b[electronic resource] /$fby Marco Cadoli 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (X, 286 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v941 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-60058-2 327 $aLanguage restriction: Complexity of minimal reasoning -- Approximation of a logical theory -- Using complexity results for evaluating approximation techniques -- Conclusion. 330 $aLogic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for. 410 0$aLecture Notes in Artificial Intelligence ;$v941 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputers 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 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputers. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputation by Abstract Devices. 676 $a006.3/3 700 $aCadoli$b Marco$4aut$4http://id.loc.gov/vocabulary/relators/aut$0116850 906 $aBOOK 912 $a996466159403316 996 $aTractable Reasoning in Aritificial Intelligence$92830419 997 $aUNISA LEADER 01939nam2 22004093i 450 001 LO10358843 005 20231121125518.0 100 $a20040427d1963 ||||0itac50 ba 101 | $aita$cfre 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜1: œGargantua$aPantagruel$aIl terzo libro$fFrançois Rabelais$gintroduzione, traduzione e note a cura di Gianni Nicoletti 210 $aTorino$cUTET$dstampa 1963 215 $aLX, 644 p., [1] carte di tav.$critr.$d19 cm 314 $aintroduzione, traduzione e note a cura di$9CFIV048083 461 1$1001LO10358842$12001 $aOpere$fFrancois Rabelais$v1 500 10$aPantagruel roy des Dispodes$3LO10358863$9CFIV000608$93608181 500 10$a˜La œvie très horrificque du grand Gargantua père de Pantagruel.$3LO10358864$9CFIV000608$93608182 500 10$xFRE$a˜Le œtiers livre$3LO10359054$9CFIV000608$9308947 700 1$aRabelais$b, François$3CFIV000608$4070$0386476 702 1$aNicoletti$b, Gianni$3CFIV048083 790 1$aRable$b, Fransua$3BVEV191461$zRabelais, François 790 1$aNasier$b, Alcofrybas$3CFIV203397$zRabelais, François 790 1$aRabelais$b, Francesco$3SBNV049768$zRabelais, François 801 3$aIT$bIT-01$c20040427 850 $aIT-RM028 $aIT-FR0084 $aIT-FR0017 899 $aBiblioteca Universitaria Alessandrina$bRM028 899 $aBiblioteca Del Monumento Nazionale Di Montecassino$bFR0084 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 912 $aLO10358843 950 2$aBiblioteca umanistica Giorgio Aprea$d 52MAG 5 COLL M 264$e 52MAG0000061175 VMB RS $fA $h20130204$i20130204 977 $a 01$a 25$a 52 996 $aTiers livre$9308947 996 $aVie très horrificque du grand Gargantua père de Pantagruel$93608182 996 $aPantagruel roy des Dispodes$93608181 997 $aUNICAS LEADER 01013nam0 22002531i 450 001 UON00493773 005 20231205105343.829 100 $a20190403d1962 |0itac50 ba 101 $alat 102 $aIT 105 $a|||| ||||| 200 1 $aLatinitas perennis. 6.: Lexicon linguisticae et philologiae$fAemilius Springhetti 210 $aRomae$capud Pontificiam Universitatem Gregorianam$d1962 215 $aIX, 687 p.$d23 cm. 316 $avalore stimato$5IT-UONSI Ling16/0017 620 $aIT$dRoma$3UONL000004 700 1$aSPRINGHETTI$bAemilius$3UONV241416$0219437 712 $aapud Pontificiam Universitatem Gregorianam$3UONV283409$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00493773 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI Ling 16 0017 $eSI GL 491 7 0017 valore stimato 996 $aLatinitas perennis$9573225 997 $aUNIOR