On the public citation graph
On the logic of theory change: Safe contraction
0 signed · 194 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4899-0548-2_16openalex-snapshot
Epistemic Importance and the Logic of Theory Change
inferredcites →https://doi.org/10.1007/978-94-009-8484-4_5openalex-snapshot
Hierarchies of Regulations and their Logic
inferredcites →https://doi.org/10.1007/bf00869410openalex-snapshot
How to give it up: A survey of some formal aspects of the logic of theory change
inferredcites →https://doi.org/10.1080/00048408412341331openalex-snapshot
Epistemic importance and minimal changes of belief
inferredcites →https://doi.org/10.1111/j.1755-2567.1982.tb00480.xopenalex-snapshot
On the logic of theory change: Contraction functions and their associated revision functions
inferredcites →https://doi.org/10.2307/2274239openalex-snapshot
On the logic of theory change: Partial meet contraction and revision functions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781444314847.ch34openalex-snapshot
Formal Epistemology and Logic
inferred← citeshttps://doi.org/10.1007/3-540-48159-1_23openalex-snapshot
A New Approach to Base Revision
inferred← citeshttps://doi.org/10.1007/3-540-50701-9_16openalex-snapshot
General theory of cumulative inference
inferred← citeshttps://doi.org/10.1007/3-540-61732-9_50openalex-snapshot
Compromised updates in labelled databases
inferred← citeshttps://doi.org/10.1007/978-0-387-98197-0_17openalex-snapshot
Belief Revision and Argumentation Theory
inferred← citeshttps://doi.org/10.1007/978-1-4020-2808-3_16openalex-snapshot
Belief Contraction, Anti-Formulae and Resource Overdraft:Part II Deletion In Resource Unbounded Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-03098-8_20openalex-snapshot
Abstract Argumentation / Persuasion / Dynamics
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_14openalex-snapshot
Main Issues in Belief Revision, Belief Merging and Information Fusion
inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot
Knowledge Representation and Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-031-97022-1_3openalex-snapshot
The AGM Model of Theory Change
inferred← citeshttps://doi.org/10.1007/978-3-319-06025-5_8openalex-snapshot
Belief Revision and Dynamic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-67582-4_24openalex-snapshot
A Semantic Characterization for ASP Base Revision
inferred← citeshttps://doi.org/10.1007/978-3-540-30200-1_11openalex-snapshot
(Dis)Belief Change Based on Messages Processing
inferred← citeshttps://doi.org/10.1007/978-3-540-39869-1_11openalex-snapshot
Handling Sequences of Belief Change in a Multi-agent Context
inferred← citeshttps://doi.org/10.1007/978-3-642-14159-1openalex-snapshot
Revision, Acceptability and Context : Theoretical and Algorithmic Aspects
inferred← citeshttps://doi.org/10.1007/978-3-642-14159-1_2openalex-snapshot
Introducing Revision Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-28717-6_16openalex-snapshot
Duality between Merging Operators and Social Contraction Operators
inferred← citeshttps://doi.org/10.1007/978-3-642-34459-6_2openalex-snapshot
A Framework for Empirical Evaluation of Belief Change Operators
inferred← citeshttps://doi.org/10.1007/978-90-481-9609-8openalex-snapshot
Belief Revision meets Philosophy of Science
inferred← citeshttps://doi.org/10.1007/978-90-481-9609-8_1openalex-snapshot
AGM Theory and Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/978-90-481-9609-8_8openalex-snapshot
Social Norms, Rational Choice and Belief Change
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_2openalex-snapshot
David Makinson and the Extension of Classical Logic
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_4openalex-snapshot
Safe Contraction Revisited
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_5openalex-snapshot
A Panorama of Iterated Revision
inferred← citeshttps://doi.org/10.1007/978-94-009-0553-5_9openalex-snapshot
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test
inferred← citeshttps://doi.org/10.1007/978-94-011-5054-5_2openalex-snapshot
Revision of Belief Sets and Belief Bases
inferred← citeshttps://doi.org/10.1007/978-94-011-5054-5_3openalex-snapshot
How Hard is it to Revise a Belief Base?
inferred← citeshttps://doi.org/10.1007/978-94-011-5524-3_6openalex-snapshot
Closure-Invariant Rationality Postulates
inferred← citeshttps://doi.org/10.1007/978-94-015-8531-6_4openalex-snapshot
Defeasibility in Legal Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_19openalex-snapshot
Iterated Syntax-Based Revision in a Nonmonotonic Setting
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_5openalex-snapshot
A Compromise Revision Model for Reconciling Updates
inferred← citeshttps://doi.org/10.1007/978-94-017-1652-9_25openalex-snapshot
An Overview of Inconsistency-Tolerant Inferences in Prioritized Knowledge Bases
inferred← citeshttps://doi.org/10.1007/bf00114921openalex-snapshot
Normative conflicts in legal reasoning
inferred← citeshttps://doi.org/10.1007/bf00203386openalex-snapshot
Preferential belief change using generalized epistemic entrenchment
inferred← citeshttps://doi.org/10.1007/bf00248151openalex-snapshot
Iterated revision and minimal change of conditional beliefs
inferred← citeshttps://doi.org/10.1007/bf00284974openalex-snapshot
Theory contraction through base contraction
inferred← citeshttps://doi.org/10.1007/bf00370117openalex-snapshot
Revision algebra semantics for conditional logic
inferred← citeshttps://doi.org/10.1007/bf00370186openalex-snapshot
Belief contraction without recovery
inferred← citeshttps://doi.org/10.1007/bf00373274openalex-snapshot
Maps between some different kinds of contraction function: The finite case
inferred← citeshttps://doi.org/10.1007/bf00413766openalex-snapshot
Belief change as change in epistemic entrenchment
inferred← citeshttps://doi.org/10.1007/bf00431184openalex-snapshot
On the status of the postulate of recovery in the logic of theory change
inferred← citeshttps://doi.org/10.1007/bf01130759openalex-snapshot
Iterated belief change based on epistemic entrenchment
inferred← citeshttps://doi.org/10.1007/bfb0018420openalex-snapshot
A nonmonotonic conditional logic for belief revision
inferred← citeshttps://doi.org/10.1007/bfb0018421openalex-snapshot
Relations between the logic of theory change and nonmonotonic logic
inferred← citeshttps://doi.org/10.1007/bfb0021965openalex-snapshot
Belief dynamics, abduction, and databases
inferred← citeshttps://doi.org/10.1007/bfb0021966openalex-snapshot
On the logic of theory base change
inferred← citeshttps://doi.org/10.1007/bfb0023426openalex-snapshot
Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report)
inferred← citeshttps://doi.org/10.1007/bfb0052109openalex-snapshot
SPOCK: A feasibility study on the completeness of parts lists
inferred← citeshttps://doi.org/10.1007/s10115-016-0964-6openalex-snapshot
Sharing beliefs among agents with different degrees of credibility
inferred← citeshttps://doi.org/10.1007/s10472-007-9044-7openalex-snapshot
On a rule-based interpretation of default conditionals
inferred← citeshttps://doi.org/10.1007/s10472-010-9220-zopenalex-snapshot
Detecting and repairing anomalous evolutions in noisy environments
inferred← citeshttps://doi.org/10.1007/s10472-013-9340-3openalex-snapshot
Confluence operators and their relationships with revision, update and merging
inferred← citeshttps://doi.org/10.1007/s10506-005-5081-xopenalex-snapshot
Deontic logics for prioritized imperatives
inferred← citeshttps://doi.org/10.1007/s10506-019-09241-4openalex-snapshot
An axiomatic characterization of temporalised belief revision in the law
inferred← citeshttps://doi.org/10.1007/s10506-022-09329-4openalex-snapshot
Thirty years of Artificial Intelligence and Law: the first decade
inferred← citeshttps://doi.org/10.1007/s10506-023-09363-wopenalex-snapshot
An approach to temporalised legal revision through addition of literals
inferred← citeshttps://doi.org/10.1007/s10670-013-9548-yopenalex-snapshot
Two Concepts of Plausibility in Default Reasoning
inferred← citeshttps://doi.org/10.1007/s10992-011-9217-zopenalex-snapshot
Stratified Belief Bases Revision with Argumentative Inference
inferred← citeshttps://doi.org/10.1007/s11225-005-8475-6openalex-snapshot
Contracting Intuitionistic Theories
inferred← citeshttps://doi.org/10.1007/s11225-016-9691-yopenalex-snapshot
Studies on Brutal Contraction and Severe Withdrawal
inferred← citeshttps://doi.org/10.1007/s11225-018-9807-7openalex-snapshot
Back to Basics: Belief Revision Through Direct Selection
inferred← citeshttps://doi.org/10.1007/s11229-008-9364-0openalex-snapshot
Preference-based belief revision for rule-based agents
inferred← citeshttps://doi.org/10.1007/s11229-015-0802-5openalex-snapshot
Rational evaluation in belief revision
inferred← citeshttps://doi.org/10.1007/s11229-016-1042-zopenalex-snapshot
Rational metabolic revision based on core beliefs
inferred← citeshttps://doi.org/10.1007/s11229-018-01958-0openalex-snapshot
JuDAS: a theory of rational belief revision
inferred← citeshttps://doi.org/10.1007/s11229-019-02305-7openalex-snapshot
A theory of change for prioritised resilient and evolvable software systems
inferred← citeshttps://doi.org/10.1007/s11432-012-4631-6openalex-snapshot
Maximal contractions in Boolean algebras
inferred← citeshttps://doi.org/10.1016/b978-0-444-51726-5.50016-9openalex-snapshot
INFORMATION STRUCTURES IN BELIEF REVISION
inferred← citeshttps://doi.org/10.1016/b978-1-55860-932-7.x5083-3openalex-snapshot
Knowledge representation and reasoning
inferred← citeshttps://doi.org/10.1016/j.artint.2006.11.002openalex-snapshot
Iterated belief revision, revised
inferred← citeshttps://doi.org/10.1016/j.artint.2013.06.001openalex-snapshot
Minimal change: Relevance and recovery revisited
inferred← citeshttps://doi.org/10.1016/j.artint.2014.03.006openalex-snapshot
On the revision of informant credibility orders
inferred← citeshttps://doi.org/10.1016/j.artint.2014.08.001openalex-snapshot
Relations of epistemic proximity for belief change
inferred← citeshttps://doi.org/10.1016/j.artint.2018.03.007openalex-snapshot
Shielded base contraction
inferred← citeshttps://doi.org/10.1016/j.artint.2019.05.002openalex-snapshot
Belief base contraction by belief accrual
inferred← citeshttps://doi.org/10.1016/j.ijar.2018.08.006openalex-snapshot
Partial meet pseudo-contractions
inferred← citeshttps://doi.org/10.1016/j.ijar.2019.04.008openalex-snapshot
Multi-source multiple change on belief bases
inferred← citeshttps://doi.org/10.1016/j.procs.2015.05.091openalex-snapshot
Software Theory Change for Resilient Near-Complete Specifications
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00038-0openalex-snapshot
On the logic of iterated belief revision
inferred← citeshttps://doi.org/10.1016/s0165-4896(98)00008-0openalex-snapshot
Belief revision in the service of scientific discovery
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03008-8openalex-snapshot
Chapter 8 Belief Revision
inferred← citeshttps://doi.org/10.1017/cbo9780511526664.001openalex-snapshot
Belief revision: An introduction
inferred← citeshttps://doi.org/10.1017/cbo9780511526664.005openalex-snapshot
On the logic of theory change: More maps between different kinds of contraction functions
inferred← citeshttps://doi.org/10.1017/cbo9781139032711openalex-snapshot
Deontic Logic and Legal Systems
inferred← citeshttps://doi.org/10.1017/s0269888910000391openalex-snapshot
On the evolving relation between Belief Revision and Argumentation
inferred← citeshttps://doi.org/10.1017/s0269888912000021openalex-snapshot
Modeling knowledge dynamics in multi-agent systems based on informants
inferred← citeshttps://doi.org/10.1017/s0269888915000132openalex-snapshot
Resolving conflicts in knowledge for ambient intelligence
inferred← citeshttps://doi.org/10.1017/s1755020313000105openalex-snapshot
EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
inferred← citeshttps://doi.org/10.1017/s175502032200034xopenalex-snapshot
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS
inferred← citeshttps://doi.org/10.1023/a:1005220010407openalex-snapshot
Belief Revision And Epistemology
inferred← citeshttps://doi.org/10.1023/a:1005290330684openalex-snapshot
Problems With Formal Models Of Epistemic Entrenchment As Applied To Scientific Theories
inferred← citeshttps://doi.org/10.1023/a:1005495400861openalex-snapshot
Beyond Recovery? a Reply to Tennant
inferred← citeshttps://doi.org/10.1023/a:1005509518324openalex-snapshot
Coherence and Conservatism in the Dynamics of Belief
inferred← citeshttps://doi.org/10.1023/a:1008241816078openalex-snapshot
On the Logic of Theory Change: Contraction without Recovery
inferred← citeshttps://doi.org/10.1023/a:1008296216319openalex-snapshot
Resolving Conflicting Information
inferred← citeshttps://doi.org/10.1051/itmconf/20160706001openalex-snapshot
The Extension of Hypothesis in Propositional Logic
inferred← citeshttps://doi.org/10.1080/11663081.1995.10510843openalex-snapshot
Knowledge base dynamics, abduction, and database updates
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510907openalex-snapshot
On having bad contractions, or: no room for recovery
inferred← citeshttps://doi.org/10.1080/11663081.2023.2248775openalex-snapshot
Merging operators on stratified belief bases equipped with argumentative inference
inferred← citeshttps://doi.org/10.1080/11663081.2025.2611670openalex-snapshot
Non-prioritised kernel contraction
inferred← citeshttps://doi.org/10.1086/341856openalex-snapshot
Scientific Discovery from the Perspective of Hypothesis Acceptance
inferred← citeshttps://doi.org/10.1093/bjps/45.3.865openalex-snapshot
Changing the Theory of Theory Change: Towards a Computational Approach
inferred← citeshttps://doi.org/10.1093/bjps/46.3.361openalex-snapshot
How Not to Change the Theory of Theory Change: A Reply to Tennant
inferred← citeshttps://doi.org/10.1093/jigpal/10.6.601openalex-snapshot
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzq057openalex-snapshot
An approximate approach to belief revision
inferred← citeshttps://doi.org/10.1093/logcom/10.4.603openalex-snapshot
Measuring similarity in belief revision
inferred← citeshttps://doi.org/10.1093/logcom/exac020openalex-snapshot
A logic for biassed information diffusion by paranoid agents in social networks
inferred← citeshttps://doi.org/10.1093/logcom/exm093openalex-snapshot
An Axiomatic Characterization of Ensconcement-Based Contraction
inferred← citeshttps://doi.org/10.1093/logcom/exn045openalex-snapshot
Trust-based Revision for Expressive Web Syndication
inferred← citeshttps://doi.org/10.1093/logcom/exn048openalex-snapshot
Base Revision for Ontology Debugging
inferred← citeshttps://doi.org/10.1093/logcom/exu050openalex-snapshot
Evaluative multiple revision based on core beliefs
inferred← citeshttps://doi.org/10.1109/aamas.2004.17openalex-snapshot
A Logical Approach for Describing (Dis)Belief Change and Message Processing
inferred← citeshttps://doi.org/10.1109/fskd.2015.7382011openalex-snapshot
An algorithm for extension of clausal beliefs
inferred← citeshttps://doi.org/10.1109/tai.1993.633942openalex-snapshot
An interactive consistency maintenance system and its logical framework
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1989.tb00725.xopenalex-snapshot
New operators for theory change
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1992.tb01154.xopenalex-snapshot
Modellings for belief change: Prioritization and entrenchment*
inferred← citeshttps://doi.org/10.1142/s0218488505003631openalex-snapshot
(DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG
inferred← citeshttps://doi.org/10.1145/1297658.1297665openalex-snapshot
Outlier detection by logic programming
inferred← citeshttps://doi.org/10.11606/d.45.2007.tde-06032014-080953openalex-snapshot
Revisão de modelos formais de sistemas de estados finitos
inferred← citeshttps://doi.org/10.11606/d.45.2013.tde-23052013-104316openalex-snapshot
Análise empírica de algoritmos de revisão sobre bases de crenças
inferred← citeshttps://doi.org/10.11606/d.45.2016.tde-08062016-105125openalex-snapshot
Pseudo-contractions in belief revision
inferred← citeshttps://doi.org/10.11606/t.45.2016.tde-20230727-113451openalex-snapshot
Revisão de crenças temporais
inferred← citeshttps://doi.org/10.1177/30504554261426170openalex-snapshot
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
inferred← citeshttps://doi.org/10.12681/eadd/13798openalex-snapshot
On belief change and ontology evolution
inferred← citeshttps://doi.org/10.12681/eadd/46043openalex-snapshot
Relevance and knowledge dynamics for intelligent agents
inferred← citeshttps://doi.org/10.1305/ndjfl/1040308833openalex-snapshot
On the Revision of Probabilistic Belief States
inferred← citeshttps://doi.org/10.1609/aaai.v35i7.16807openalex-snapshot
On Exploiting Hitting Sets for Model Reconciliation
inferred← citeshttps://doi.org/10.1609/aaai.v36i5.20532openalex-snapshot
On Paraconsistent Belief Revision in LP
inferred← citeshttps://doi.org/10.1609/aaai.v37i5.25801openalex-snapshot
Editing Boolean Classifiers: A Belief Change Perspective
inferred← citeshttps://doi.org/10.1613/jair.1.11451openalex-snapshot
A Semantic Characterization ASP Base Revision
inferred← citeshttps://doi.org/10.1613/jair.1.12298openalex-snapshot
Credibility-limited Base Revision: New Classes and Their Characterizations
inferred← citeshttps://doi.org/10.1613/jair.1.13431openalex-snapshot
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems
inferred← citeshttps://doi.org/10.21203/rs.3.rs-3014467/v1openalex-snapshot
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
inferred← citeshttps://doi.org/10.22201/iifs.18704905e.1996.1031openalex-snapshot
Carlos E. Alchourrón. Breve biografía intelectual
inferred← citeshttps://doi.org/10.2307/2275647openalex-snapshot
Scientific discovery based on belief revision
inferred← citeshttps://doi.org/10.24963/ijcai.2018/252openalex-snapshot
Possibilistic ASP Base Revision by Certain Input
inferred← citeshttps://doi.org/10.24963/kr.2020/70openalex-snapshot
Choosing What to Believe - New Results in Selective Revision
inferred← citeshttps://doi.org/10.24963/kr.2021/50openalex-snapshot
Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability
inferred← citeshttps://doi.org/10.24963/kr.2022/30openalex-snapshot
Kernel Contraction and the Order of Relevance
inferred← citeshttps://doi.org/10.24963/kr.2022/32openalex-snapshot
On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision
inferred← citeshttps://doi.org/10.31812/0564/1732openalex-snapshot
Логіка перегляду переконань: пізнавальні дії як модальні оператори
inferred← citeshttps://doi.org/10.3724/sp.j.1001.2010.03463openalex-snapshot
Belief Revision Based on Incomplete Valuations
inferred← citeshttps://doi.org/10.3724/sp.j.1087.2010.01892openalex-snapshot
Belief revision in intelligent Agent action reasoning
inferred← citeshttps://doi.org/10.4114/ia.v12i40.979openalex-snapshot
A Preliminary Reification of Argument Theory Change
inferred← citeshttps://doi.org/10.4114/ia.v5i13.693openalex-snapshot
Una Generalización del Modelo AGM de Cambio de Creencias
inferred← citeshttps://doi.org/10.4204/eptcs.379.23openalex-snapshot
System of Spheres-based Two Level Credibility-limited Revisions
inferred← citeshttps://doi.org/10.4230/oasics.kivs.2011.73openalex-snapshot
IT Management Using a Heavyweight CIM Ontology
inferred← citeshttps://doi.org/10.48550/arxiv.1401.3902openalex-snapshot
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1603.09286openalex-snapshot
Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report
inferred← citeshttps://doi.org/10.48550/arxiv.1705.10044openalex-snapshot
Abstract Argumentation / Persuasion / Dynamics
inferred← citeshttps://doi.org/10.48550/arxiv.1812.08313openalex-snapshot
Iterated Belief Revision Under Resource Constraints: Logic as Geometry
inferred← citeshttps://doi.org/10.48550/arxiv.2011.09006openalex-snapshot
On the Relationship Between KR Approaches for Explainable Planning
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0003059openalex-snapshot
SATEN: An Object-Oriented Web-Based Revision and Extraction Engine
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0204032openalex-snapshot
Belief Revision and Rational Inference
inferred← citeshttps://doi.org/10.70675/9700f79bzfd1ez4750za24cz6ef2ea76cd21openalex-snapshot
Changement de croyances dans des fragments de la logique propositionnelle
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.