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
Konstanz (Germany)
0 references
Logic
0 references
Theory change
0 references
Workshop
0 references
Proceedings
0 references