The Logic of Theory Change: Workshop, Konstanz, Frg, October 13-15, 1989, Proceedings
André Fuhrmann, Michael Morreau · Medical Entomology and Zoology · 1991
Inquiry, argumentation and knowledge.- Rational control of reasoning in artificial intelligence.- Computational issues in belief revision.- Some results on theory revision.- Epistemic entrenchment with incomparabilities and relational belief revision.- The negative Ramsey test: Another triviality result.- A nonmonotonic conditional logic for belief revision.- Relations between the logic of theory change and nonmonotonic logic.- Belief revision in a framework for default reasoning.- Preferential cumulative reasoning and nonmonotonic semantic nets.- Propositional logic based on the dynamics of disbelief.- On the modal logic of theory change.- Discourse representation theory and belief dynamics.- Multiple contraction a further case against gardenfors' principle of recovery.