Handbook of Defeasible Reasoning and Uncertainty Management Systems

Reasoning under uncertainty is always based on a specified language or for­ malism, including its particular syntax and semantics, but also on its associated inference mechanism. In the present volume of the handbook the last aspect, the algorithmic aspects of uncertainty calculi are presented. Theory has suffi­ ciently advanced to unfold some generally applicable fundamental structures and method...