| Document Type
|
:
|
BL
|
| Record Number
|
:
|
725153
|
| Doc. No
|
:
|
b544872
|
| Main Entry
|
:
|
Dov M Gabbay
|
| Title & Author
|
:
|
Handbook of Defeasible Reasoning and Uncertainty Management Systems.\ Dov M Gabbay
|
| Publication Statement
|
:
|
Dordrecht: Springer Netherlands, 2010
|
| Series Statement
|
:
|
Handbook of defeasible reasoning and uncertainty management systems.
|
| Page. NO
|
:
|
(518 pages).
|
| ISBN
|
:
|
9401717370
|
|
|
:
|
: 9789401717373
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| LC Classification
|
:
|
Q375.D686 2010
|
| Added Entry
|
:
|
Dov M Gabbay
|
|
|
:
|
Jürg Kohlas
|
|
|
:
|
Philippe Smets
|