|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910830767103321 |
|
|
Autore |
Pouly Marc <1980-> |
|
|
Titolo |
Generic inference [[electronic resource] ] : a unifying theory for automated reasoning / / Marc Pouly, Jürg Kohlas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, New Jersey, : Wiley, 2011 |
|
|
|
|
|
|
|
ISBN |
|
1-283-12633-8 |
9786613126337 |
1-118-01086-8 |
1-118-01087-6 |
1-118-01084-1 |
|
|
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (486 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Valuation theory |
Algorithms |
Algebra, Abstract |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. 1. Logical computation -- pt. 2. Generic constructions -- pt. 3. Applications. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
"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"-- |
"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 |
|
|
|
|