On the public citation graph
The Logic of Theory Change
0 signed · 121 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/bf00370643openalex-snapshot
Variations on the Ramsey test: More triviality results
inferredcites →https://doi.org/10.2307/2185133openalex-snapshot
Belief Revisions and the Ramsey Test for Conditionals
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1099-1360(199901)8:1<26::aid-mcda219>3.0.co;2-gopenalex-snapshot
Comment by Alexis Tsoukiàs
inferred← citeshttps://doi.org/10.1007/1-4020-3835-6_20openalex-snapshot
Stability, Strength and Sensitivity: Converting Belief into Knowledge
inferred← citeshttps://doi.org/10.1007/1-4020-4631-6_6openalex-snapshot
A Simple Modal Logic for Belief Revision
inferred← citeshttps://doi.org/10.1007/3-540-44404-1_30openalex-snapshot
A Kripkean Semantics for Dynamic Logic Programming
inferred← citeshttps://doi.org/10.1007/3-540-45365-2_42openalex-snapshot
Belief Revision by Lamarckian Evolution
inferred← citeshttps://doi.org/10.1007/3-540-45493-4_24openalex-snapshot
Representing and Learning Conditional Information in Possibility Theory
inferred← citeshttps://doi.org/10.1007/3-540-54659-6_65openalex-snapshot
A brief overview of possibilistic logic
inferred← citeshttps://doi.org/10.1007/3-540-56282-6_1openalex-snapshot
Belief revision: A vade-mecum
inferred← citeshttps://doi.org/10.1007/3-540-58409-9_5openalex-snapshot
Possibility theory, belief revision and nonmonotonic logic
inferred← citeshttps://doi.org/10.1007/3-540-61314-5_24openalex-snapshot
Plans and the revision of intentions
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-1986-9_7openalex-snapshot
Belief Revision from an Epistemological Point of View
inferred← citeshttps://doi.org/10.1007/978-1-4020-2196-1_16openalex-snapshot
Supplying Planks For Neurath’s Boat: Can Economists Meet The Demands of The Dynamics of Scientific Theories?
inferred← citeshttps://doi.org/10.1007/978-1-4020-2808-3_12openalex-snapshot
Normic Laws, Non-Monotonic Reasoning, and the Unity of Science
inferred← citeshttps://doi.org/10.1007/978-1-4020-2808-3_23openalex-snapshot
Logics For Qualitative Reasoning
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-1-4020-9198-8_12openalex-snapshot
Degrees All the Way Down: Beliefs, Non-Beliefs and Disbeliefs
inferred← citeshttps://doi.org/10.1007/978-1-4020-9198-8_7openalex-snapshot
Accepted Beliefs, Revision and Bipolarity in the Possibilistic Framework
inferred← citeshttps://doi.org/10.1007/978-1-4471-1488-8_2openalex-snapshot
Towards a Computational Treatment of Deontic Defeasibility
inferred← citeshttps://doi.org/10.1007/978-3-319-06901-2_3openalex-snapshot
Morals: Restrictions, Metapreferences: Adjusting an Economics of Morality
inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_14openalex-snapshot
Theory Contraction and Base Contraction Unified
inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_31openalex-snapshot
Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us?
inferred← citeshttps://doi.org/10.1007/978-3-540-27778-1_16openalex-snapshot
A New Proposal for Fuzzy Rough Approximations and Gradual Decision Rule Representation
inferred← citeshttps://doi.org/10.1007/978-3-642-16952-6_13openalex-snapshot
From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening
inferred← citeshttps://doi.org/10.1007/978-3-642-29326-9_5openalex-snapshot
Strategies for Belief Revision
inferred← citeshttps://doi.org/10.1007/978-3-642-37756-3_7openalex-snapshot
Norms as Objectives: Revisiting Compliance Management in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-48647-0_7openalex-snapshot
What Can We Learn From Internal Observers?
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_10openalex-snapshot
Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming’s Algorithmic Foundations
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_10openalex-snapshot
The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas
inferred← citeshttps://doi.org/10.1007/978-90-481-9609-8_2openalex-snapshot
Changing the Scientific Corpus
inferred← citeshttps://doi.org/10.1007/978-90-481-9609-8_5openalex-snapshot
A Structuralist Framework for the Logic of Theory Change
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-90-481-9609-8_9openalex-snapshot
Rational Belief Changes for Collective Agents
inferred← citeshttps://doi.org/10.1007/978-94-007-0080-2_12openalex-snapshot
In memory of Jasu Magan Bhana Panchia (1963–1991): Iterated Belief Revision in Dynamic Doxastic Logic
inferred← citeshttps://doi.org/10.1007/978-94-007-2030-5_17openalex-snapshot
Fiction, Counterfactuals: The Challenge for Logic
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_14openalex-snapshot
Reasoning About Permission and Obligation
inferred← citeshttps://doi.org/10.1007/978-94-010-0013-0_9openalex-snapshot
Lehrer Meets Ranking Theory
inferred← citeshttps://doi.org/10.1007/978-94-011-5054-5_1openalex-snapshot
Introduction: Revising, Updating and Combining Knowledge
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-5054-5_4openalex-snapshot
Conditionals and the Ramsey Test
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-011-5524-3_8openalex-snapshot
Drawing Inferences from Conditionals
inferred← citeshttps://doi.org/10.1007/978-94-011-5638-7_1openalex-snapshot
Recent Issues in Logic, Language and Computation
inferred← citeshttps://doi.org/10.1007/978-94-015-8208-7_9openalex-snapshot
A Glance at Non-Standard Models and Logics of Uncertainty and Vagueness
inferred← citeshttps://doi.org/10.1007/978-94-015-9817-0_16openalex-snapshot
Revision and Update Based on Stratified Forward Chaining
inferred← citeshttps://doi.org/10.1007/bf02943526openalex-snapshot
An operational approach to belief revision
inferred← citeshttps://doi.org/10.1007/bfb0013580openalex-snapshot
Belief revision through the belief-function formalism in a multi-agent environment
inferred← citeshttps://doi.org/10.1007/bfb0023327openalex-snapshot
Is it impossible to keep up to date?
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/bfb0095265openalex-snapshot
Frugality in reasoning and the role of summary
inferred← citeshttps://doi.org/10.1007/s001990100194openalex-snapshot
Minimal belief change, Pareto-optimality and logical consequence
inferred← citeshttps://doi.org/10.1007/s10992-005-9006-7openalex-snapshot
What Might be the Case after a Change in View
inferred← citeshttps://doi.org/10.1007/s10992-011-9174-6openalex-snapshot
Notes on the History of Ideas Behind AGM
inferred← citeshttps://doi.org/10.1007/s10992-011-9177-3openalex-snapshot
Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM
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-9206-2openalex-snapshot
Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision
inferred← citeshttps://doi.org/10.1007/s10992-011-9217-zopenalex-snapshot
Stratified Belief Bases Revision with Argumentative Inference
inferred← citeshttps://doi.org/10.1007/s11016-011-9581-xopenalex-snapshot
“Merely a logician’s toy?” Belief revision confronting scientific theory change
inferred← citeshttps://doi.org/10.1007/s11023-008-9126-2openalex-snapshot
Decision Theory, Intelligent Planning and Counterfactuals
inferred← citeshttps://doi.org/10.1007/s11098-005-4060-0openalex-snapshot
Where’s the Bridge? Epistemology and Epistemic Logic
inferred← citeshttps://doi.org/10.1007/s11098-005-4068-5openalex-snapshot
Introduction: 8 Bridges between Mainstream and Formal Epistemology
inferred← citeshttps://doi.org/10.1007/s11229-008-9361-3openalex-snapshot
Artificial explanations: the epistemological interpretation of explanation in AI
inferred← citeshttps://doi.org/10.1007/s11229-009-9639-0openalex-snapshot
The game of inquiry: the interrogative approach to inquiry and belief revision theory
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00005-4openalex-snapshot
Knowledge-level analysis of belief base operations
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/0921-8890(93)90012-2openalex-snapshot
Perception planning for an unmanned ground vehicle
inferred← citeshttps://doi.org/10.1016/b978-044451541-4/50025-7openalex-snapshot
Logically Possible Worlds and Counterpart Semantics for Modal Logic
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50152-4openalex-snapshot
Transmutations of Knowledge Systems
inferred← citeshttps://doi.org/10.1016/j.artint.2009.05.001openalex-snapshot
Rational choice and AGM belief revision
inferred← citeshttps://doi.org/10.1016/j.artint.2017.12.002openalex-snapshot
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
inferred← citeshttps://doi.org/10.1016/j.ijar.2018.08.006openalex-snapshot
Partial meet pseudo-contractions
inferred← citeshttps://doi.org/10.1016/j.jal.2009.04.001openalex-snapshot
Blueprint for a dynamic deontic logic
inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00032-xopenalex-snapshot
Abductive consequence relations
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/s0168-0072(98)00028-1openalex-snapshot
Belief revision conditionals: basic iterated systems
inferred← citeshttps://doi.org/10.1016/s0303-2647(99)00072-6openalex-snapshot
Towards a closed description of observation processes
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00035-xopenalex-snapshot
A representation theorem for recovering contraction relations satisfying wci
inferred← citeshttps://doi.org/10.1016/s1389-0417(01)00014-6openalex-snapshot
Socio-cognitive mechanisms of belief change
inferred← citeshttps://doi.org/10.1017/9781316756140.028openalex-snapshot
“Just Because”: Taking Belief Bases Seriously
inferred← citeshttps://doi.org/10.1017/cbo9780511814273.030openalex-snapshot
Belief Change as Propositional Update
inferred← citeshttps://doi.org/10.1017/s0269888913000349openalex-snapshot
Ontology evolution: a process-centric survey
inferred← citeshttps://doi.org/10.1017/s1755020309990384openalex-snapshot
SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION
inferred← citeshttps://doi.org/10.1023/a:1004344003217openalex-snapshot
Severe Withdrawal (and Recovery)
inferred← citeshttps://doi.org/10.1023/a:1005534223776openalex-snapshot
A Survey of non-Prioritized Belief Revision
inferred← citeshttps://doi.org/10.1023/a:1005565603303openalex-snapshot
Resource Bounded Belief Revision
inferred← citeshttps://doi.org/10.1023/a:1005577906029openalex-snapshot
Ddl Unlimited: Dynamic Doxastic Logic for Introspective Agents
inferred← citeshttps://doi.org/10.1023/a:1008374520572openalex-snapshot
A Power Algebra for Theory Change
inferred← citeshttps://doi.org/10.1023/a:1010050603219openalex-snapshot
A Logic for Characterizing Multiple Bounded Agents
inferred← citeshttps://doi.org/10.1080/08839510802379584openalex-snapshot
A REPLANNING ALGORITHM FOR DECISION THEORETIC HIERARCHICAL PLANNING: PRINCIPLES AND EMPIRICAL EVALUATION
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510899openalex-snapshot
Sources of, and exploiting, inconsistency: preliminary report
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.1093/bjps/45.3.865openalex-snapshot
Changing the Theory of Theory Change: Towards a Computational Approach
inferred← citeshttps://doi.org/10.1093/logcom/13.1.37openalex-snapshot
Ten Philosophical Problems in Belief Revision
inferred← citeshttps://doi.org/10.1093/logcom/exm092openalex-snapshot
Three Scenarios for the Revision of Epistemic States
inferred← citeshttps://doi.org/10.1093/logcom/exn048openalex-snapshot
Base Revision for Ontology Debugging
inferred← citeshttps://doi.org/10.1093/logcom/exu034openalex-snapshot
Epistemic extensions of modal distributive substructural logics
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/tai.1993.633942openalex-snapshot
An interactive consistency maintenance system and its logical framework
inferred← citeshttps://doi.org/10.1111/j.1755-2567.2011.01119.xopenalex-snapshot
Everything is Knowable – How to Get to KnowWhethera Proposition is True
inferred← citeshttps://doi.org/10.1142/s0218001407005673openalex-snapshot
SEQUENTIAL PATTERN MINING AND NONMONOTONIC REASONING FOR INTELLIGENT INFORMATION AGENTS
inferred← citeshttps://doi.org/10.1145/3306618.3314261openalex-snapshot
Rightful Machines and Dilemmas
inferred← citeshttps://doi.org/10.11606/d.45.2016.tde-08062016-105125openalex-snapshot
Pseudo-contractions in belief revision
inferred← citeshttps://doi.org/10.1207/s15516709cog2104_2openalex-snapshot
Belief Change as Propositional Update
inferred← citeshttps://doi.org/10.1305/ndjfl/1039182247openalex-snapshot
Irrevocable Belief Revision in Dynamic Doxastic Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1040308826openalex-snapshot
Belief Revision and Verisimilitude
inferred← citeshttps://doi.org/10.2307/2275152openalex-snapshot
Belief contraction in the context of the general theory of rational choice
inferred← citeshttps://doi.org/10.24963/kr.2020/70openalex-snapshot
Choosing What to Believe - New Results in Selective Revision
inferred← citeshttps://doi.org/10.4230/dagsemproc.07351.3openalex-snapshot
A blueprint for deontic logic in three (not necessarily easy) steps
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-145openalex-snapshot
Revising by an inconsistent set of formulas
inferred← citeshttps://doi.org/10.7892/boris.26458openalex-snapshot
Merging rule-based belief databases
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.