The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings

zbMATH Open0874.03007MaRDI QIDQ1202136FDOQ1202136

Author name not available (Why is that?)

Publication date: 23 January 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

LogicProceedingsWorkshopTheory changeKonstanz (Germany)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)

Cited In (3)

• Belief revision and verisimilitude
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Controlled Revision - An algorithmic approach for belief revision

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning 👍 👎
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1202136)