國立高雄大學圖資館 |

Language: English

Back

Generic Inference :A Unifying Theory...

Kohlas, Jürg, (1939- ,)

Generic Inference :A Unifying Theory for Automated Reasoning /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Generic Inference :Marc Pouly, Jürg Kohlas.
Reminder of title:	A Unifying Theory for Automated Reasoning /
Author:	Pouly, Marc,
other author:	Kohlas, Jürg,
Published:	Hoboken, New Jersey :Wiley,c2011.
Description:	xxxi, 452p. :ill. ;25cm
Subject:	Valuation theory.
ISBN:	9780470527016 (hardback)

Generic Inference :A Unifying Theory for Automated Reasoning /
Pouly, Marc,1980- ,

Generic Inference :A Unifying Theory for Automated Reasoning /Marc Pouly, Jürg Kohlas. - Hoboken, New Jersey :Wiley,c2011. - xxxi, 452p. :ill. ;25cm

Includes bibliographical references and index.

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

ISBN: 9780470527016 (hardback)

LCCN: 2010042336Subjects--Topical Terms:

296766
Valuation theory.

LC Class. No.: QA162 / .P65 2011

Dewey Class. No.: 519.5/4

Generic Inference :A Unifying Theory for Automated Reasoning /
LDR:02048cam 22002778i 4500 001 288033
005 20110619011240.0
008 110624t20112011nju b 001 0 eng
010 $a 2010042336
020 $a 9780470527016 (hardback)
035 $a (DLC)16495447
035 $a (DLC)2010042336
035 $a 16495447
040 $a DLC $b eng $c DLC $e rda $d DLC
042 $a pcc
050 0 0 $a QA162 $b .P65 2011
082 0 0 $a 519.5/4 $2 22
084 $a TEC008000 $2 bisacsh
100 1 $a Pouly, Marc, $d 1980- , $e author. $3 501705
245 1 0 $a Generic Inference : $b A Unifying Theory for Automated Reasoning / $c Marc Pouly, Jürg Kohlas.
260 $a Hoboken, New Jersey : $b Wiley, $c c2011.
300 $a xxxi, 452p. : $b ill. ; $c 25cm
336 $a text $2 rdacontent
337 $a unmediated $2 rdamedia
338 $a volume $2 rdacarrier
504 $a Includes bibliographical references and index.
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.
520 $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)"-- $c Provided by publisher.
650 0 $a Valuation theory. $3 296766
650 0 $a Algorithms. $3 184661
650 0 $a Algebra, Abstract. $3 185961
650 7 $a TECHNOLOGY & ENGINEERING / Electronics / General $2 bisacsh. $3 501707
700 1 $a Kohlas, Jürg, $d 1939- , $e author. $3 501708