The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings (Q1202136)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings
scientific article

    Statements

    The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings (English)
    0 references
    23 January 1993
    0 references
    [The articles of this volume will be reviewed individually within the Lecture Notes in Computer Science Database.] Indexed articles: \textit{Schlechta, Karl}, Some results on theory revision, 72-92 [Zbl 0925.03132] \textit{Lindström, Sten; Rabinowicz, Włodzimierz}, Epistemic entrenchment with incomparabilities and relational belief revision, 93-126 [Zbl 0925.03128] \textit{Gärdenfors, Peter; Lindström, Sten; Morreau, Michael; Rabinowicz, Włodzimierz}, The negative Ramsey test: Another triviality result, 129-134 [Zbl 0925.03133] \textit{Rott, Hans}, A nonmonotonic conditional logic for belief revision. I: Semantics and logic of simple conditionals, 135-181 [Zbl 0925.03134] \textit{Makinson, David; Gärdenfors, Peter}, Relations between the logic of theory change and nonmonotonic logic, 185-205 [Zbl 0925.03130] \textit{Brewka, Gerhard}, Belief revision in a framework for default reasoning, 206-222 [Zbl 0925.03126] \textit{Schulz, Klaus}, Preferential cumulative reasoning and nonmonotonic semantic nets, 223-240 [Zbl 0925.03129] \textit{Pearce, David; Rautenberg, Wolfgang}, Propositional logic based on the dynamics of disbelief, 243-258 [Zbl 0925.03109] \textit{Fuhrmann, André}, On the modal logic of theory change, 259-281 [Zbl 0925.03108] \textit{Asher, Nicholas}, Discourse representation theory and belief dynamics, 282-321 [Zbl 0925.03127] \textit{Niederée, Reinhard}, Multiple contraction. A further case against Gärdenfors' principle of recovery, 322-334 [Zbl 0925.03105]
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Konstanz (Germany)
    0 references
    Logic
    0 references
    Theory change
    0 references
    Workshop
    0 references
    Proceedings
    0 references