Media type: E-Book; Thesis Title: Belief change in reasoning agents : axiomatizations, semantics and computations Contributor: Jin, Yi [Author] Extent: Online-Ressource Language: English Identifier: RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Künstliche Intelligenz ; Wissensrepräsentation ; Agent <Künstliche Intelligenz> ; Wissensrevision ; Axiomatische Semantik ; Hochschulschrift Origination: University thesis: Dresden, Techn. Univ., Diss., 2007 Footnote: Access State: Open Access