Generic Inference : a Unifying Theory for Automated Reasoning /

"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 inc...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Pouly, Marc, 1980- (Συγγραφέας), Kohlas, Jürg, 1939- (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: Wiley InterScience (Online service)
Μορφή: Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Hoboken, N.J. : Wiley, [2011]
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04412nam a2200865 4500
001 ocn757511533
003 OCoLC
005 20170124071714.6
006 m o d
007 cr cn|||||||||
008 111018s2011 nju ob 001 0 eng d
040 |a DG1  |b eng  |e pn  |c DG1  |d EBLCP  |d N$T  |d E7B  |d CDX  |d YDXCP  |d OCLCQ  |d REDDC  |d OCLCQ  |d CUS  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d UMI  |d COO  |d OCLCO  |d OCLCA  |d OCLCQ  |d IDEBK  |d OCLCQ  |d OCLCF  |d AU@  |d DEBBG  |d OCLCQ  |d GrThAP 
019 |a 732958513  |a 741452998  |a 747426513  |a 781458781  |a 816843615  |a 826647035 
020 |a 9781118010877  |q (electronic bk.) 
020 |a 1118010876  |q (electronic bk.) 
020 |a 9781118010846  |q (electronic bk.) 
020 |a 1118010841  |q (electronic bk.) 
020 |a 1283126338 
020 |a 9781283126335 
020 |z 9780470527016 
020 |z 0470527013 
020 |z 9781118010860 
020 |z 1118010868 
029 1 |a AU@  |b 000048840154 
029 1 |a AU@  |b 000050591341 
029 1 |a AU@  |b 000052899740 
029 1 |a DEBBG  |b BV041121147 
029 1 |a DEBBG  |b BV041906530 
029 1 |a DEBSZ  |b 372801005 
029 1 |a DEBSZ  |b 396760724 
029 1 |a DEBSZ  |b 39699847X 
029 1 |a DEBSZ  |b 430994702 
029 1 |a NZ1  |b 14287078 
029 1 |a NZ1  |b 15340713 
029 1 |a DEBBG  |b BV043393586 
035 |a (OCoLC)757511533  |z (OCoLC)732958513  |z (OCoLC)741452998  |z (OCoLC)747426513  |z (OCoLC)781458781  |z (OCoLC)816843615  |z (OCoLC)826647035 
037 |a 10.1002/9781118010877  |b Wiley InterScience  |n http://www3.interscience.wiley.com 
050 4 |a QA162  |b .P65 2011eb 
072 7 |a MAT  |x 029000  |2 bisacsh 
082 0 4 |a 519.5/4  |2 22 
049 |a MAIN 
100 1 |a Pouly, Marc,  |d 1980-  |e author. 
245 1 0 |a Generic Inference :  |b a Unifying Theory for Automated Reasoning /  |c Marc Pouly, Jürg Kohlas. 
264 1 |a Hoboken, N.J. :  |b Wiley,  |c [2011] 
264 4 |c ©2011 
300 |a 1 online resource (xxxi, 452 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a Front Matter -- Local Computation. Valuation Algebras -- Inference Problems -- Computing Single Queries -- Computing Multiple Queries -- Generic Constructions. Semiring Valuation Algebras -- Valuation Algebras for Path Problems -- Language and Information -- Applications. Dynamic Programming -- Sparse Matrix Techniques -- Gaussian Information -- References -- Index. 
505 0 |a pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications. 
520 |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"--  |c Provided by publisher. 
504 |a Includes bibliographical references (pages 437-446) and index. 
588 0 |a Print version record. 
650 0 |a Valuation theory. 
650 0 |a Algorithms. 
650 0 |a Algebra, Abstract. 
650 4 |a Mathematics. 
650 4 |a Valuation theory. 
650 4 |a Algorithms. 
650 4 |a Algebra, Abstract. 
650 7 |a TECHNOLOGY & ENGINEERING  |x Electronics  |x General.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Probability & Statistics  |x General.  |2 bisacsh 
650 7 |a Algebra, Abstract.  |2 fast  |0 (OCoLC)fst00804919 
650 7 |a Algorithms.  |2 fast  |0 (OCoLC)fst00805020 
650 7 |a Valuation theory.  |2 fast  |0 (OCoLC)fst01163872 
650 7 |a Valuation theory.  |2 local 
650 7 |a Algorithms.  |2 local 
650 7 |a Algebra, Abstract.  |2 local 
655 4 |a Electronic books. 
700 1 |a Kohlas, Jürg,  |d 1939-  |e author. 
710 2 |a Wiley InterScience (Online service) 
776 0 8 |i Print version:  |a Pouly, Marc, 1980-, author.  |t Generic Inference.  |d Hoboken, New Jersey : Wiley, [2011], ©2011  |w (OCoLC)747426513 
856 4 0 |u https://doi.org/10.1002/9781118010877  |z Full Text via HEAL-Link 
994 |a 92  |b DG1