LEADER 03128nam  2200649 a 450 
001 9910830767103321
005 20170810175319.0
010   $a1-283-12633-8
010   $a9786613126337
010   $a1-118-01086-8
010   $a1-118-01087-6
010   $a1-118-01084-1
035   $a(CKB)2670000000083621
035   $a(EBL)698878
035   $a(SSID)ssj0000522846
035   $a(PQKBManifestationID)11366830
035   $a(PQKBTitleCode)TC0000522846
035   $a(PQKBWorkID)10538584
035   $a(PQKB)11787010
035   $a(MiAaPQ)EBC698878
035   $a(CaSebORM)9781118010860
035   $a(OCoLC)757511533
035   $a(EXLCZ)992670000000083621
100   $a20101008d2011      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aGeneric inference$b[electronic resource] $ea unifying theory for automated reasoning /$fMarc Pouly, Ju?rg Kohlas
205   $a1st edition
210   $aHoboken, New Jersey $cWiley$d2011
215   $a1 online resource (486 p.)
300   $aDescription based upon print version of record.
311   $a0-470-52701-3 
320   $aIncludes bibliographical references and index.
327   $apt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications.
330   $a"This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work"--$cProvided by publisher.
330   $a"The book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area and shows that all these tasks can be performed by a single generic inference algorithm. It will include an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications)"--$cProvided by publisher.
606   $aValuation theory
606   $aAlgorithms
606   $aAlgebra, Abstract
615  0$aValuation theory.
615  0$aAlgorithms.
615  0$aAlgebra, Abstract.
676   $a006.3015181
676   $a519.5/4
686   $aTEC008000$2bisacsh
700   $aPouly$b Marc$f1980-$01607758
701   $aKohlas$b Ju?rg$f1939-$057982
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910830767103321
996   $aGeneric inference$93934165
997   $aUNINA