LEADER 00859nam0-2200265 --450 001 9910439660203321 005 20210312124602.0 010 $a978-88-96227-36-7 100 $a20210312d2013----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $aa 001yy 200 1 $a<>macchine agricole Laverda$ela storia, le macchine e i protagonisti di 140 anni di meccanizzazione agricola$fPiergiorgio Laverda 210 $aDueville$cAgorà Factory$d2013 215 $a287 p.$cill.$d29 cm 610 0 $aGiubilari$aLaverda macchine agricole$a1873-2013 676 $a631.37$v23$zita 700 1$aLaverda,$bPiergiorgio$0761716 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910439660203321 952 $a60 631.37 LAVP 2013$b112/2021$fFAGBC 959 $aFAGBC 996 $aMacchine agricole Laverda$91768505 997 $aUNINA LEADER 03240nam 2200481 450 001 9910260610103321 005 20221206093336.0 035 $a(CKB)2670000000263676 035 $a(CaBNVSL)mat06267507 035 $a(IDAMS)0b000064818b4529 035 $a(IEEE)6267507 035 $a(EXLCZ)992670000000263676 100 $a20151223d1992 uy 101 0 $aeng 135 $aur|n||||||||| 181 $2rdacontent 182 $2isbdmedia 183 $2rdacarrier 200 00$aKnowledge representation /$fedited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter 205 $a1st MIT Press ed. 210 1$aCambridge, Massachusetts :$cMIT Press,$d1992. 210 2$a[Piscataqay, New Jersey] :$cIEEE Xplore,$d[1992] 215 $a1 PDF (408 pages) $cillustrations 225 1 $aSpecial issues of Artificial intelligence, an international journal 300 $a"A Bradford book." 300 $a"Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--T.p. verso. 311 $a0-262-29105-3 320 $aIncludes bibliographical references and indexes. 330 $aGrowing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. 410 0$aSpecial issues of Artificial intelligence, an international journal 606 $aKnowledge representation (Information theory) 615 0$aKnowledge representation (Information theory) 676 $a003/.54 701 $aBrachman$b Ronald J.$f1949-$051202 701 $aLevesque$b Hector J.$f1951-$051203 701 $aReiter$b Ray$01207751 801 0$bCaBNVSL 801 1$bCaBNVSL 801 2$bCaBNVSL 906 $aBOOK 912 $a9910260610103321 996 $aKnowledge representation$92786346 997 $aUNINA