On the logic of theory change: Partial meet contraction and revision functions

Recommendations

On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
On the logic of theory change: safe contraction
Two methods of constructing contractions and revisions of knowledge systems
scientific article; zbMATH DE number 4114599
On the status of the postulate of recovery in the logic of theory change

Cites work

scientific article; zbMATH DE number 193626 (Why is no real title available?)
scientific article; zbMATH DE number 612169 (Why is no real title available?)
scientific article; zbMATH DE number 754675 (Why is no real title available?)
scientific article; zbMATH DE number 755666 (Why is no real title available?)
A foundational theory of belief and belief change
AGM 25 years. Twenty-five years of research in belief change
Belief revision: A critique
Iterated belief revision, revised
On the logic of iterated belief revision
On the logic of theory change: Partial meet contraction and revision functions
Parallel belief revision: revising by sets of formulas
Propositional belief base update and minimal change
Propositional knowledge base revision and minimal change
Theory contraction and base contraction unified

Cited in

(only showing first 100 items - show all)

Some completeness theorems in the dynamic doxastic logic of iterated belief revision
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
Blueprint for a dynamic deontic logic
Independence -- revision and defaults
What should I believe about what would have been the case?
Probability and time
Ranking kinematics for revising by contextual information
Three floors for the theory of theory change
Getting the most out of inconsistency
Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
The co-occurrence test for non-monotonic inference
Belief liberation (and retraction)
Plan coordination by revision in collective agent based systems.
A representation theorem for recovering contraction relations satisfying wci
A logic for qualified syllogisms
Difference-making conditionals and connexivity
Relevant minimal change in belief update
Raising awareness without disclosing truth
Iterated descriptor revision and the logic of Ramsey test conditionals
Multiple and iterated contraction reduced to single-step single-sentence contraction
Para-disagreement logics and their implementation through embedding in Coq and SMT
A glimpse on Gerhard Brewka's contributions to artificial intelligence
Generalized partial meet and kernel contractions
Knowledge-level analysis of belief base operations
A belief revision approach for argumentation-based negotiation agents
A Plea for Accuracy
Two level credibility-limited revisions
Ten problems of deontic logic and normative reasoning in computer science
Revision of defeasible preferences
A foundationalist view of the AGM theory of belief change
Comparative possibility in set contraction
Parallel belief revision: revising by sets of formulas
Possible worlds semantics for partial meet multiple contraction
System of spheres-based multiple contractions
Two concepts of plausibility in default reasoning
Formal epistemology
Logics of informational interactions
The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
Nonmonotonic reasoning with multiple belief sets
How to revise a total preorder
Notes on the history of ideas behind AGM
XI Latin American Symposium on Mathematical Logic
Belief extrapolation (or how to reason about observations and unpredicted change)
The logic of fast and slow thinking
Mind the divide surrounding knowledge representation
Relations of epistemic proximity for belief change
Revising probabilities and full beliefs
Predicate change. A study on the conservativity of conceptual change
A sphere world semantics for default reasoning
Semantic interpolation
Double preference relations for generalised belief change
A monoselective presentation of AGM revision
Belief revision and update: Complexity of model checking
Equilibria in social belief removal
Default reasoning and belief revision: A syntax-independent approach
A theory of hierarchical consequence and conditionals
Confluence operators and their relationships with revision, update and merging
An information-based theory of conditionals
Reducing belief revision to circumscription (and vice versa)
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
Gricean belief change
Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions
scientific article; zbMATH DE number 7450021 (Why is no real title available?)
Dynamic hyperintensional belief revision
DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
A postulate-driven study of logical argumentation
Constructive models for contraction with intransitive plausibility indifference
COBA 2.0: A Consistency-Based Belief Change System
FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY
A Unifying Perspective on Knowledge Updates
Five faces of minimality
Dynamics of knowledge in \textsc{DeLP} through argument theory change
Compromised updates in labelled databases
Belief revision with satisfaction measure
Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
On the revision of preferences and rational inference processes
Logic and Game Theory
On the measure of conflicts: Shapley inconsistency values
Aggregating individual credences into collective binary beliefs: an impossibility result
Reasoning dynamically about what one says
Partial meet pseudo-contractions
Belief ascription under bounded resources
The size of a revised knowledge base
The complexity of theory revision
A semantics for hyperintensional belief revision based on information bases
A general family of preferential belief removal operators
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
On revising fuzzy belief bases
Theorem proving techniques for view deletion in databases
Contraction: On the decision-theoretical origins of minimal change and entrenchment
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Fusion: General concepts and characteristics
On the complexity of propositional knowledge base revision, updates, and counterfactuals
The irreducibility of iterated to single revision
Beth definability, interpolation and language splitting
Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth
Logic in general philosophy of science: Old things and new things
John McCarthy's legacy
New operators for theory change
Unified deductive systems: an outline

This page was built for publication: On the logic of theory change: Partial meet contraction and revision functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3699670)