The Logic of Theory Change

Workshop, Konstanz, FRG, October 13–15, 1989 Proceedings

Editors:

ISBN: 978-3-540-53567-6 (Print) 978-3-540-46817-2 (Online)

Table of contents (14 chapters)

  1. No Access

    Book Chapter

    Pages 1-18

    Inquiry, argumentation and knowledge

  2. No Access

    Book Chapter

    Pages 19-48

    Rational control of reasoning in artificial intelligence

  3. No Access

    Book Chapter

    Pages 49-71

    Computational issues in belief revision

  4. No Access

    Book Chapter

    Pages 72-92

    Some results on theory revision

  5. No Access

    Book Chapter

    Pages 93-126

    Epistemic entrenchment with incomparabilities and relational belief revision

  6. No Access

    Book Chapter

    Pages 127-134

    The negative Ramsey test: Another triviality result

  7. No Access

    Book Chapter

    Pages 135-181

    A nonmonotonic conditional logic for belief revision

  8. No Access

    Book Chapter

    Pages 183-205

    Relations between the logic of theory change and nonmonotonic logic

  9. No Access

    Book Chapter

    Pages 206-222

    Belief revision in a framework for default reasoning

  10. No Access

    Book Chapter

    Pages 223-240

    Preferential cumulative reasoning and nonmonotonic semantic nets

  11. No Access

    Book Chapter

    Pages 241-258

    Propositional logic based on the dynamics of disbelief

  12. No Access

    Book Chapter

    Pages 259-281

    On the modal logic of theory change

  13. No Access

    Book Chapter

    Pages 282-321

    Discourse representation theory and belief dynamics

  14. No Access

    Book Chapter

    Pages 322-334

    Multiple contraction a further case against gärdenfors' principle of recovery