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

MaRDI QIDQ1202136zbMATH OpenFDO

Authors

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)

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

Cited in

(5)

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

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)