Generic inference : a unifying theory for automated reasoning /
Pouly, Marc,1980-
Kohlas, Jürg,1939-
Hoboken, N.J. : John Wiley,
c2011.
Includes bibliographical references and index.
Artificial intelligence
Algorithms.
Valuation theory.
Algebra, Abstract.