Pages that link to "Item:Q3699670"
From MaRDI portal
The following pages link to On the logic of theory change: Partial meet contraction and revision functions (Q3699670):
Displaying 50 items.
- Qualitative probabilities for default reasoning, belief revision, and causal modeling (Q2171264) (← links)
- A closeness- and priority-based logical study of social network creation (Q2183577) (← links)
- The intensional structure of epistemic convictions (Q2234051) (← links)
- Credibility dynamics: a belief-revision-based trust model with pairwise comparisons (Q2238617) (← links)
- On a logico-algebraic approach to AGM belief contraction theory (Q2240544) (← links)
- Probabilities with gaps and gluts (Q2240549) (← links)
- Confluence operators and their relationships with revision, update and merging (Q2248519) (← links)
- Repertoire contraction (Q2255206) (← links)
- Dynamic epistemic logic for implicit and explicit beliefs (Q2258806) (← links)
- Descriptor revision (Q2259000) (← links)
- A theory of hierarchical consequence and conditionals (Q2268351) (← links)
- Conditionals in reasoning (Q2268772) (← links)
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics (Q2269133) (← links)
- Logical modes of attack in argumentation networks (Q2269513) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- Replacement -- a Sheffer stroke for belief change (Q2271189) (← links)
- Computer science and decision theory (Q2271874) (← links)
- Conditionals and monotonic belief revisions: The success postulate (Q2277446) (← links)
- The modal logic of Bayesian belief revision (Q2281313) (← links)
- Multi-source multiple change on belief bases (Q2283279) (← links)
- From iterated revision to iterated contraction: extending the Harper identity (Q2289014) (← links)
- Impossibility results for belief contraction (Q2294582) (← links)
- Two AGM-style characterizations of model repair (Q2294584) (← links)
- Probability, coherent belief and coherent belief changes (Q2294585) (← links)
- Delegated updates in epistemic graphs for opponent modelling (Q2302776) (← links)
- Belief base contraction by belief accrual (Q2321321) (← links)
- Optimizing group learning: an evolutionary computing approach (Q2321327) (← links)
- On the complexity of inconsistency measurement (Q2321337) (← links)
- Accept \& reject statement-based uncertainty models (Q2341859) (← links)
- A belief revision framework for revising epistemic states with partial epistemic states (Q2344723) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
- Policy-based inconsistency management in relational databases (Q2353971) (← links)
- Inter-definability of Horn contraction and Horn revision (Q2363417) (← links)
- Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision (Q2369015) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- Contraction in propositional logic (Q2374542) (← links)
- Blockage contraction (Q2377189) (← links)
- Implementing semantic merging operators using binary decision diagrams (Q2379333) (← links)
- The measurement of ranks and the laws of iterated contraction (Q2389653) (← links)
- What kind of independence do we need for multiple iterated belief change? (Q2407482) (← links)
- Localising iceberg inconsistencies (Q2407883) (← links)
- The irreducibility of iterated to single revision (Q2409388) (← links)
- Plausible reasoning and plausibility monitoring in language comprehension (Q2411257) (← links)
- A general framework for computing maximal contractions (Q2418637) (← links)
- A decomposition based algorithm for maximal contractions (Q2418656) (← links)
- A sound and complete \(R\)-calculi with respect to contraction and minimal change (Q2418664) (← links)
- A topological approach to full belief (Q2421518) (← links)
- An algebraic approach to revising propositional rule-based knowledge bases (Q2425850) (← links)
- Managing software requirements changes based on negotiation-style revision (Q2434554) (← links)
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes (Q2441476) (← links)
