On the public citation graph

On the logic of theory base change

0 signed · 66 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf00247909openalex-snapshot
Two modellings for theory change
inferredcites →https://doi.org/10.1007/bf00284973openalex-snapshot
Two methods of constructing contractions and revisions of knowledge systems
inferredcites →https://doi.org/10.1007/bf00284974openalex-snapshot
Theory contraction through base contraction
inferredcites →https://doi.org/10.1007/bf00370430openalex-snapshot
On the logic of theory change: Safe contraction
inferredcites →https://doi.org/10.1007/bf00373274openalex-snapshot
Maps between some different kinds of contraction function: The finite case
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/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/bf01049408openalex-snapshot
Foundational belief change
inferredcites →https://doi.org/10.1007/bfb0018420openalex-snapshot
A nonmonotonic conditional logic for belief revision
inferredcites →https://doi.org/10.1007/bfb0018427openalex-snapshot
Multiple contraction a further case against gärdenfors' principle of recovery
inferredcites →https://doi.org/10.1016/0004-3702(87)90003-8openalex-snapshot
Belief, awareness, and limited reasoning
inferredcites →https://doi.org/10.1016/0004-3702(94)90017-5openalex-snapshot
Nonmonotonic inference based on expectations
inferredcites →https://doi.org/10.1016/b978-0-934613-04-0.50024-7openalex-snapshot
ON EPISTEMIC LOGIC AND LOGICAL OMNISCIENCE
inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50152-4openalex-snapshot
Transmutations of Knowledge Systems
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.1111/j.1755-2567.1989.tb00725.xopenalex-snapshot
New operators for theory change
inferredcites →https://doi.org/10.22028/d291-24816openalex-snapshot
Belief revision and default reasoning : syntax-based approaches
inferredcites →https://doi.org/10.2307/2271978openalex-snapshot
Nicholas Rescher. Plausible reasoning. An introduction to the theory and practice of plausibilistic inference. Van Gorcum, Assen and Amsterdam1976, and Humanities Press, Atlantic Highlands, N.J., 1977, xiii + 124 pp.
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.1007/3-540-64413-x_26openalex-snapshot
Some approaches to reasoning with incomplete and changing information
inferred← citeshttps://doi.org/10.1007/978-1-4020-9084-4_14openalex-snapshot
Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
inferred← citeshttps://doi.org/10.1007/978-3-030-36233-1_1openalex-snapshot
Introduction
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-5054-5_8openalex-snapshot
Belief Change Rules in Ordinal and Numerical Uncertainty Theories
inferred← citeshttps://doi.org/10.1007/978-94-015-8311-4_2openalex-snapshot
Taking Belief Bases Seriously
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_18openalex-snapshot
On Structured Belief Bases
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_6openalex-snapshot
An Operational Measure of Similarity Based on Change
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_8openalex-snapshot
Assessing the Minimality of Change in Belief Revision: Capacities
inferred← citeshttps://doi.org/10.1007/bfb0035629openalex-snapshot
Entrenchment relations: A uniform approach to nonmonotonicity
inferred← citeshttps://doi.org/10.1007/bfb0055503openalex-snapshot
Applications of belief revision
inferred← citeshttps://doi.org/10.1007/s10458-009-9082-0openalex-snapshot
A grounding framework
inferred← citeshttps://doi.org/10.1007/s11225-016-9691-yopenalex-snapshot
Studies on Brutal Contraction and Severe Withdrawal
inferred← citeshttps://doi.org/10.1016/j.artint.2018.03.007openalex-snapshot
Shielded base contraction
inferred← citeshttps://doi.org/10.1016/j.fss.2011.01.001openalex-snapshot
Algorithms for possibility assessments: Coherence and extension
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100689openalex-snapshot
Belief base change as priority change: A study based on dynamic epistemic logic
inferred← citeshttps://doi.org/10.1016/s0020-0255(96)00269-1openalex-snapshot
Reasoning with incomplete and changing information: The CIN project
inferred← citeshttps://doi.org/10.1016/s0888-613x(97)00019-4openalex-snapshot
A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03008-8openalex-snapshot
Chapter 8 Belief Revision
inferred← citeshttps://doi.org/10.1017/9781316756140.028openalex-snapshot
“Just Because”: Taking Belief Bases Seriously
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:1010555305483openalex-snapshot
A Framework for Multi-Agent Belief Revision
inferred← citeshttps://doi.org/10.1023/a:1014658309853openalex-snapshot
A Practical Approach to Revising Prioritized Knowledge Bases
inferred← citeshttps://doi.org/10.1023/a:1022988014704openalex-snapshot
Basic Entrenchment
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/logcom/13.1.99openalex-snapshot
Credibility-limited Functions for Belief Bases
inferred← citeshttps://doi.org/10.1093/logcom/exm092openalex-snapshot
Three Scenarios for the Revision of Epistemic States
inferred← citeshttps://doi.org/10.1093/logcom/exm093openalex-snapshot
An Axiomatic Characterization of Ensconcement-Based Contraction
inferred← citeshttps://doi.org/10.1093/logcom/exx008openalex-snapshot
OUP accepted manuscript
inferred← citeshttps://doi.org/10.1145/3139367.3139387openalex-snapshot
Belief Revision in Answer Set Programming
inferred← citeshttps://doi.org/10.11606/t.45.2020.tde-19032020-043422openalex-snapshot
Modularity in belief change of description logic bases
inferred← citeshttps://doi.org/10.12681/eadd/46043openalex-snapshot
Relevance and knowledge dynamics for intelligent agents
inferred← citeshttps://doi.org/10.1609/aaai.v33i01.33013076openalex-snapshot
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
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.1.11838openalex-snapshot
Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision
inferred← citeshttps://doi.org/10.1613/jair.5496openalex-snapshot
Kernel Contraction and Base Dependence
inferred← citeshttps://doi.org/10.24963/ijcai.2017/107openalex-snapshot
Epistemic-entrenchment Characterization of Parikh’s Axiom
inferred← citeshttps://doi.org/10.24963/kr.2022/30openalex-snapshot
Kernel Contraction and the Order of Relevance
inferred← citeshttps://doi.org/10.24963/kr.2023/51openalex-snapshot
Weak-Ensconcement for Shielded Base Contraction
inferred← citeshttps://doi.org/10.26686/wgtn.16967488openalex-snapshot
Logic-Based Conflict Analysis and Resolution
inferred← citeshttps://doi.org/10.26686/wgtn.16967488.v1openalex-snapshot
Logic-Based Conflict Analysis and Resolution
inferred← citeshttps://doi.org/10.3389/frai.2020.00054openalex-snapshot
There Is Hope After All: Quantifying Opinion and Trustworthiness in Neural Networks
inferred← citeshttps://doi.org/10.48550/arxiv.1302.3575openalex-snapshot
Belief Revision with Uncertain Inputs in the Possibilistic Setting
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.1703.04912openalex-snapshot
Syntax-Preserving Belief Change Operators for Logic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0003059openalex-snapshot
SATEN: An Object-Oriented Web-Based Revision and Extraction Engine
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.