The Logic of Theory Change 1989: Konstanz, Germany

André Fuhrmann, Michael Morreau (Eds.): The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Lecture Notes in Computer Science 465 Springer 1991, ISBN 3-540-53567-5 BibTeX

@proceedings{DBLP:conf/ltc/1989,
  editor    = {Andr{\'e} Fuhrmann and
               Michael Morreau},
  title     = {The Logic of Theory Change, Workshop, Konstanz, FRG, October
               13-15, 1989, Proceedings},
  booktitle = {The Logic of Theory Change},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {465},
  year      = {1991},
  isbn      = {3-540-53567-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Foundations

Risto Hilpinen: Inquiry, argumentation and knowledge. 3-18 BibTeX
Jon Doyle: Rational control of reasoning in Artificial Intelligence. 19-48 BibTeX

Models of Theory Change

João P. Martins: Computational issues in belief revision. 51-71 BibTeX
Karl Schlechta: Some results on theory revision. 72-92 BibTeX
Sten Lindström, Wlodzimierz Rabinowicz: Epistemic entrenchment with incomparabilities and relational belief revision. 93-126 BibTeX

The Ramsey Test for Conditionals

Peter Gärdenfors, Sten Lindström, Michael Morreau, Wlodzimierz Rabinowicz: The negative Ramsey test: another triviality result. 129-134 BibTeX
Hans Rott: A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals. 135-181 BibTeX

Theory Change and Nonmonotonic Reasoning

David Makinson, Peter Gärdenfors: Relations between the logic of theory change and nonmonotonic logic. 185-205 BibTeX
Gerhard Brewka: Belief revision in a framework for default reasoning. 206-222 BibTeX
Klaus U. Schulz: Preferential cumulative reasoning and nonmonotonic semantic nets. 223-240 BibTeX

Reformulations and Extensions

David Pearce, Wolfgang Rautenberg: Propositional logic based on the dynamics of disbelief. 243-258 BibTeX
André Fuhrmann: On the modal logic of theory change. 259-281 BibTeX
Nicholas Asher: Discourse representation theory and belief dynamics. 282-321 BibTeX
Reinhard Niederée: Multiple contraction. A further case against Gärdenfors' principle of recovery. 322-334 BibTeX