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

zbMATH Open0874.03007MaRDI QIDQ1202136FDOQ1202136

Authors:

Publication date: 23 January 1993

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

Recommendations

• scientific article; zbMATH DE number 108002
• scientific article; zbMATH DE number 140382
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
• scientific article; zbMATH DE number 1628513

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 (5)

• Belief revision and verisimilitude
• A Simple Nonmonotonic Logic as a Model of Belief Change
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Controlled Revision - An algorithmic approach for belief revision
• Parallel Theories and Routine Revision in First-Order Logic

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)