LEADER 03139nam  2200661 a 450 
001 9910877561503321
005 20200520144314.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(OCoLC)826647035
035   $a(OCoLC)ocn826647035 
035   $a(EXLCZ)992670000000083621
100   $a20101008d2011      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aGeneric inference $ea unifying theory for automated reasoning /$fMarc Pouly, Jurg 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   $a519.5/4
686   $aTEC008000$2bisacsh
700   $aPouly$b Marc$f1980-$01757611
701   $aKohlas$b Jurg$f1939-$057982
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910877561503321
996   $aGeneric inference$94195514
997   $aUNINA