745001572     

9745001570                        

---

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning / edited by Jürg Kohlas, Serafín Moral

Dordrecht : Springer, 2000

Online-Ressource (V, 517 p) : digital

Englisch

Erscheint auch als: (Druck-Ausgabe)

Erscheint auch als: (Druck-Ausgabe)

Erscheint auch als: (Druck-Ausgabe)

978-94-017-1737-3

978-90-481-5603-0 (ISBN der Printausgabe)

Springer eBook Collection

Elektronische Ressource: Zugang über Resolving-System (Lizenzangabe: Lizenzpflichtig)

Elektronische Ressource: Zugang über Resolving-System (Lizenzangabe: Lizenzpflichtig)

Digital Object Identifier (DOI): 10.1007/978-94-017-1737-3

BC1-199

160 ; 511.3     Ähnliche Literatur

bicssc: PBC ; bisacsh: MAT018000 ; bicssc: PBCD

LOC-SH: Philosophy (General) ; Logic, Symbolic and mathematical ; Computers. ; Programming languages (Electronic computers). ; Logic ; Artificial intelligence ; Mathematical logic. ; Computer science. ; Compilers (Computer programs).

The Handbook of Defeasible Reasoning and Uncertainty Management Systems is unique in its masterly survey of the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and Volume 5 now turns to the algorithmic aspect. Topics covered include: Computation in valuation algebras; consequence finding algorithms; possibilistic logic; probabilistic argumentation systems, networks and satisfiability; algorithms for imprecise probabilities, for Dempster-Shafer, and network based decisions