On the logic of theory change: safe contraction
From MaRDI portal
Publication:1084094
DOI10.1007/BF00370430zbMATH Open0605.03002OpenAlexW2060533443MaRDI QIDQ1084094FDOQ1084094
Carlos E. Alchourrón, David Makinson
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370430
Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)
Cites Work
Cited In (57)
- A Plea for Accuracy
- EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
- Two concepts of plausibility in default reasoning
- Relations of epistemic proximity for belief change
- Confluence operators and their relationships with revision, update and merging
- Five faces of minimality
- Scientific discovery based on belief revision
- Partial meet pseudo-contractions
- Belief change as change in epistemic entrenchment
- Choice revision
- Belief contraction without recovery
- Back to basics: belief revision through direct selection
- Multi-source multiple change on belief bases
- Maps between some different kinds of contraction function: the finite case
- A temporal revision model for reasoning about world change
- On the logic of theory change: Contraction without recovery
- Stratified belief bases revision with argumentative inference
- Foundational belief change
- Preference-based belief revision for rule-based agents
- Credibility-limited Base Revision: New Classes and Their Characterizations
- Shielded base contraction
- A Panorama of Iterated Revision
- On the status of the postulate of recovery in the logic of theory change
- Belief revision in the service of scientific discovery
- Merging operators on stratified belief bases equipped with argumentative inference
- AGM 25 years. Twenty-five years of research in belief change
- On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
- On having bad contractions, or: no room for recovery
- Iterated belief revision, revised
- On the revision of probabilistic belief states
- On the revision of informant credibility orders
- On the logic of iterated belief revision
- Deductive belief change
- Minimal change: relevance and recovery revisited
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Residual contraction
- Maximal contractions in Boolean algebras
- Knowledge base dynamics, abduction, and database updates
- Systematic withdrawal
- JuDAS: a theory of rational belief revision
- Local Diagnosis
- Revision algebra semantics for conditional logic
- Selective base revisions
- Bootstrap contraction
- Belief base contraction by belief accrual
- Title not available (Why is that?)
- Rational metabolic revision based on core beliefs
- Rational evaluation in belief revision
- Contracting intuitionistic theories
- On a rule-based interpretation of default conditionals
- Studies on brutal contraction and severe withdrawal
- Generalized partial meet and kernel contractions
- Compromised updates in labelled databases
- Main issues in belief revision, belief merging and information fusion
- A theory of change for prioritised resilient and evolvable software systems
- (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG
- System of Spheres-based Two Level Credibility-limited Revisions
This page was built for publication: On the logic of theory change: safe contraction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1084094)
