عنوان
پدید آورنده
موضوع
رده
Q375 .D686 2010
Q375
.
D686
2010
کتابخانه
محل استقرار
9401717370
9789401717373
b544872
Handbook of Defeasible Reasoning and Uncertainty Management Systems.
[Book]
Dov M Gabbay
Dordrecht
Springer Netherlands
2010
(518 pages).
Handbook of defeasible reasoning and uncertainty management systems.
INTRODUCTION; COMPUTATION IN VALUATION ALGEBRAS; CONSEQUENCE FINDING ALGORITHMS; COMPUTING SPECIFICITY IN DEFAULT REASONING; POSSIBILISTIC LOGIC: COMPLEXITY AND ALGORITHMS; PROBABILISTIC ARGUMENTATION SYSTEMS; PROBABILISTIC NETWORKS; PROBABILISTIC SATISFIABILITY; ALGORITHMS FOR IMPRECISE PROBABILITIES; ALGORITHMS FOR DEMPSTER-SHAFER THEORY; NETWORK-BASED DECISION ALGORITHMS; INDEX.
Logic, Symbolic and mathematical.
Q375
.
D686
2010
Dov M Gabbay
Dov M Gabbay
Jürg Kohlas
Philippe Smets
مطالعه متن کتاب [Book]
Y
