On the public citation graph
A survey of multiple contractions
0 signed · 133 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-94-009-8484-4_5openalex-snapshot
Hierarchies of Regulations and their Logic
inferredcites →https://doi.org/10.1007/bf00284974openalex-snapshot
Theory contraction through base contraction
inferredcites →https://doi.org/10.1007/bf00370186openalex-snapshot
Belief contraction without recovery
inferredcites →https://doi.org/10.1007/bf00431184openalex-snapshot
On the status of the postulate of recovery in the logic of theory change
inferredcites →https://doi.org/10.1007/bf00666230openalex-snapshot
Similarity semantics and minimal changes of belief
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.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bfb0018421openalex-snapshot
Relations between the logic of theory change and nonmonotonic logic
inferredcites →https://doi.org/10.1007/bfb0018427openalex-snapshot
Multiple contraction a further case against gärdenfors' principle of recovery
inferredcites →https://doi.org/10.1017/cbo9780511526664.004openalex-snapshot
A dyadic representation of belief
inferredcites →https://doi.org/10.1017/cbo9780511663819openalex-snapshot
The Fixation of Belief and its Undoing
inferredcites →https://doi.org/10.1111/j.1755-2567.1989.tb00725.xopenalex-snapshot
New operators for theory change
inferredcites →https://doi.org/10.2307/2108592openalex-snapshot
The Fixation of Belief and Its Undoing.
inferredcites →https://doi.org/10.2307/2274239openalex-snapshot
On the logic of theory change: Partial meet contraction and revision functions
inferredcites →https://doi.org/10.25911/5d74e78371a9bopenalex-snapshot
Relevant logics, modal logics and theory change
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-44652-4_45openalex-snapshot
On Computing Solutions to Belief Change Scenarios
inferred← citeshttps://doi.org/10.1007/3-540-48159-1_20openalex-snapshot
Analytic Modal Revision for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/3-540-48159-1_23openalex-snapshot
A New Approach to Base Revision
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-1986-9_7openalex-snapshot
Belief Revision from an Epistemological Point of View
inferred← citeshttps://doi.org/10.1007/978-1-4471-4186-0_5openalex-snapshot
AGM Contraction in Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-79038-6_1openalex-snapshot
A Topology-Inspired Approach to AGM Belief Change
inferred← citeshttps://doi.org/10.1007/978-3-031-97022-1_4openalex-snapshot
The AGM Model of Base Change
inferred← citeshttps://doi.org/10.1007/978-3-031-97022-1_5openalex-snapshot
Extensions and Alternatives of the AGM Model
inferred← citeshttps://doi.org/10.1007/978-3-319-44832-9_10openalex-snapshot
Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction
inferred← citeshttps://doi.org/10.1007/978-3-642-12842-4_15openalex-snapshot
Associations between Constructive Models for Set Contraction
inferred← citeshttps://doi.org/10.1007/978-3-642-25975-3_5openalex-snapshot
Enforcing Logically Weaker Knowledge in Classical Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-48899-7_4openalex-snapshot
On Anti-subsumptive Knowledge Enforcement
inferred← citeshttps://doi.org/10.1007/978-90-481-2593-7_8openalex-snapshot
From Belief Revision to Preference Change
inferred← citeshttps://doi.org/10.1007/978-90-481-3263-8_24openalex-snapshot
Multiple Contraction Revisited
inferred← citeshttps://doi.org/10.1007/978-90-481-9609-8_2openalex-snapshot
Changing the Scientific Corpus
inferred← citeshttps://doi.org/10.1007/978-94-007-7046-1_7openalex-snapshot
Contraction, Revision, Expansion: Representing Belief Change Operations
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_6openalex-snapshot
AGM, Ranking Theory, and the Many Ways to Cope with Examples
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-015-9817-0_10openalex-snapshot
Contraction of Epistemic States: A General Theory
inferred← citeshttps://doi.org/10.1007/bf02943527openalex-snapshot
Belief revision by sets of sentences
inferred← citeshttps://doi.org/10.1007/s10472-015-9454-xopenalex-snapshot
Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions
inferred← citeshttps://doi.org/10.1007/s10472-015-9494-2openalex-snapshot
Prioritized assertional-based removed sets revision of DL-Lite belief bases
inferred← citeshttps://doi.org/10.1007/s10506-010-9097-5openalex-snapshot
Norm-system revision: theory and application
inferred← citeshttps://doi.org/10.1007/s10670-011-9290-2openalex-snapshot
Verisimilitude and Belief Change for Conjunctive Theories
inferred← citeshttps://doi.org/10.1007/s10670-018-0006-8openalex-snapshot
On the Ramsey Test Analysis of ‘Because’
inferred← citeshttps://doi.org/10.1007/s10992-011-9196-0openalex-snapshot
Guest Editors’ Introduction
inferred← citeshttps://doi.org/10.1007/s10992-011-9197-zopenalex-snapshot
System of Spheres-based Multiple Contractions
inferred← citeshttps://doi.org/10.1007/s10992-011-9198-yopenalex-snapshot
Possible Worlds Semantics for Partial Meet Multiple Contraction
inferred← citeshttps://doi.org/10.1007/s10992-011-9199-xopenalex-snapshot
Comparative Possibility in Set Contraction
inferred← citeshttps://doi.org/10.1007/s10992-011-9200-8openalex-snapshot
Prioritized and Non-prioritized Multiple Change on Belief Bases
inferred← citeshttps://doi.org/10.1007/s10992-011-9217-zopenalex-snapshot
Stratified Belief Bases Revision with Argumentative Inference
inferred← citeshttps://doi.org/10.1007/s10992-016-9401-2openalex-snapshot
Inter-Definability of Horn Contraction and Horn Revision
inferred← citeshttps://doi.org/10.1007/s11225-005-0494-9openalex-snapshot
Belief Liberation (and Retraction)
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/s11225-021-09951-4openalex-snapshot
Bayesian Belief Revision Based on Agent’s Criteria
inferred← citeshttps://doi.org/10.1007/s11229-009-9688-4openalex-snapshot
Multiple and iterated contraction reduced to single-step single-sentence contraction
inferred← citeshttps://doi.org/10.1007/s11229-012-0165-0openalex-snapshot
Verisimilitude and belief change for nomic conjunctive theories
inferred← citeshttps://doi.org/10.1007/s11229-012-0167-yopenalex-snapshot
Maximal and perimaximal contraction
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/s13218-018-0564-6openalex-snapshot
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00127-1openalex-snapshot
A test battery for rational database updating
inferred← citeshttps://doi.org/10.1016/j.artint.2011.10.001openalex-snapshot
Parallel belief revision: Revising by sets of formulas
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.2016.01.001openalex-snapshot
Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility result
inferred← citeshttps://doi.org/10.1016/j.artint.2018.03.007openalex-snapshot
Shielded base contraction
inferred← citeshttps://doi.org/10.1016/j.artint.2023.103907openalex-snapshot
Levi and Harper identities for non-prioritized belief base change
inferred← citeshttps://doi.org/10.1016/j.ijar.2011.05.004openalex-snapshot
A framework for managing uncertain inputs: An axiomization of rewarding
inferred← citeshttps://doi.org/10.1016/j.ijar.2012.11.003openalex-snapshot
Overriding subsuming rules
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109108openalex-snapshot
Relevance, recovery and recuperation: A prelude to ring withdrawal
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00092-2openalex-snapshot
A foundationalist view of the AGM theory of belief change
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03008-8openalex-snapshot
Chapter 8 Belief Revision
inferred← citeshttps://doi.org/10.1017/s1755020313000105openalex-snapshot
EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS
inferred← citeshttps://doi.org/10.1023/a:1004344003217openalex-snapshot
Severe Withdrawal (and Recovery)
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:1008274907099openalex-snapshot
A Note on Partial Meet Package Contraction
inferred← citeshttps://doi.org/10.1023/a:1008316915066openalex-snapshot
Recovery and Epistemic Residue
inferred← citeshttps://doi.org/10.1023/a:1008374520572openalex-snapshot
A Power Algebra for Theory Change
inferred← citeshttps://doi.org/10.1023/a:1014650108036openalex-snapshot
The Rôle of Language In Belief Revision
inferred← citeshttps://doi.org/10.1023/a:1015690931863openalex-snapshot
A Paraconsistent Theory Of Belief Revision
inferred← citeshttps://doi.org/10.1080/11663081.1993.10510809openalex-snapshot
Observations on validity and conditionals in belief revision systems
inferred← citeshttps://doi.org/10.1093/jigpal/jzu014openalex-snapshot
Decomposition of multiple AGM contraction: possibility and impossibility results
inferred← citeshttps://doi.org/10.1093/logcom/exab052openalex-snapshot
Computational Errors and Suspension in a PWK Epistemic Agent
inferred← citeshttps://doi.org/10.1093/logcom/exm093openalex-snapshot
An Axiomatic Characterization of Ensconcement-Based Contraction
inferred← citeshttps://doi.org/10.1093/logcom/exu050openalex-snapshot
Evaluative multiple revision based on core beliefs
inferred← citeshttps://doi.org/10.1109/bracis.2014.72openalex-snapshot
Algorithms for Multiple Contraction and an Application to OWL Ontologies
inferred← citeshttps://doi.org/10.1109/clei64178.2024.10700127openalex-snapshot
A First Approach to Multiple Credibility Limited Belief Base Revision
inferred← citeshttps://doi.org/10.1109/ictai.2014.56openalex-snapshot
Multiple Contraction through Partial-Max-SAT
inferred← citeshttps://doi.org/10.1142/s021821301650024xopenalex-snapshot
A Computational Method for Enforcing Knowledge that Cannot be Subsumed
inferred← citeshttps://doi.org/10.1145/2362355.2362358openalex-snapshot
Maps in Multiple Belief Change
inferred← citeshttps://doi.org/10.1145/3190783openalex-snapshot
Syntax-Preserving Belief Change Operators for Logic Programs
inferred← citeshttps://doi.org/10.1145/846241.846263openalex-snapshot
Belief liberation (and retraction)
inferred← citeshttps://doi.org/10.1145/846261.846263openalex-snapshot
Belief liberation (and retraction)
inferred← citeshttps://doi.org/10.11606/d.45.2017.tde-24022017-124108openalex-snapshot
Revisão de crenças em lógicas de descrição - um plug-in para o Protégé
inferred← citeshttps://doi.org/10.11606/t.45.2010.tde-16112010-155644openalex-snapshot
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas
inferred← citeshttps://doi.org/10.12681/eadd/13798openalex-snapshot
On belief change and ontology evolution
inferred← citeshttps://doi.org/10.1305/ndjfl/1039182250openalex-snapshot
Semi-Contraction: Axioms and Construction
inferred← citeshttps://doi.org/10.1305/ndjfl/1040308830openalex-snapshot
Levi Contractions and AGM Contractions: A Comparison
inferred← citeshttps://doi.org/10.1609/aaai.v29i1.9413openalex-snapshot
Instance-Driven Ontology Evolution in DL-Lite
inferred← citeshttps://doi.org/10.1609/aaai.v29i1.9751openalex-snapshot
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts
inferred← citeshttps://doi.org/10.1613/jair.1.11337openalex-snapshot
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic
inferred← citeshttps://doi.org/10.1613/jair.4430openalex-snapshot
Entrenchment-Based Horn Contraction
inferred← citeshttps://doi.org/10.21146/2074-1472-2010-16-0-134-155openalex-snapshot
Критерии рациональности изменения убеждений: непротиворечивость
inferred← citeshttps://doi.org/10.2307/2586557openalex-snapshot
Belief contraction as nonmonotonic inference
inferred← citeshttps://doi.org/10.3166/jancl.11.35-58openalex-snapshot
The lexicographic closure as a revision process
inferred← citeshttps://doi.org/10.31812/0564/1732openalex-snapshot
Логіка перегляду переконань: пізнавальні дії як модальні оператори
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.1504.05381openalex-snapshot
How do you revise your belief set with %$;@*?
inferred← citeshttps://doi.org/10.48550/arxiv.1703.04912openalex-snapshot
Syntax-Preserving Belief Change Operators for Logic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1805.01325openalex-snapshot
Choice revision on belief bases
inferred← citeshttps://doi.org/10.5007/1808-1711.2024.e96706openalex-snapshot
Belief Revision in a Nutshell
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-145openalex-snapshot
Revising by an inconsistent set of formulas
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.