The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

André Fuhrmann, Michael Morreau, editors, The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Volume 465 of Lecture Notes in Computer Science, Springer, 1991.

Conference: ltc1991

Abstract is missing.

Inquiry, argumentation and knowledgeRisto Hilpinen. 3-18

Rational control of reasoning in Artificial IntelligenceJon Doyle. 19-48

Computational issues in belief revisionJoão P. Martins. 51-71

Some results on theory revisionKarl Schlechta. 72-92

Epistemic entrenchment with incomparabilities and relational belief revisionSten Lindström, Wlodzimierz Rabinowicz. 93-126

The negative Ramsey test: another triviality resultPeter Gärdenfors, Sten Lindström, Michael Morreau, Wlodzimierz Rabinowicz. 129-134

A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionalsHans Rott. 135-181

Relations between the logic of theory change and nonmonotonic logicDavid Makinson, Peter Gärdenfors. 185-205

Belief revision in a framework for default reasoningGerhard Brewka. 206-222

Preferential cumulative reasoning and nonmonotonic semantic netsKlaus U. Schulz. 223-240

Propositional logic based on the dynamics of disbeliefDavid Pearce, Wolfgang Rautenberg. 243-258

On the modal logic of theory changeAndré Fuhrmann. 259-281

Discourse representation theory and belief dynamicsNicholas Asher. 282-321

Multiple contraction. A further case against Gärdenfors principle of recoveryReinhard Niederée. 322-334

runs on WebDSL