Pages that link to "Item:Q1189876"
From MaRDI portal
The following pages link to Propositional knowledge base revision and minimal change (Q1189876):
Displaying 50 items.
- Argumentation update in YALLA (yet another logic language for argumentation) (Q289011) (← links)
- Maximal contractions in Boolean algebras (Q362282) (← links)
- Belief revision within fragments of propositional logic (Q386044) (← links)
- Parallel belief revision: revising by sets of formulas (Q420814) (← links)
- Revising beliefs on the basis of evidence (Q432970) (← links)
- Interpreting enthymematic arguments using belief revision (Q484907) (← links)
- Lost in translation: language independence in propositional logic -- application to belief change (Q490446) (← links)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases (Q513332) (← links)
- How to deal with unbelievable assertions (Q524943) (← links)
- AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
- How to revise a total preorder (Q535324) (← links)
- Logic based merging (Q535328) (← links)
- Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM (Q535330) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- Belief extrapolation (or how to reason about observations and unpredicted change) (Q543623) (← links)
- Double preference relations for generalised belief change (Q622124) (← links)
- Extending Removed Sets Revision to partially preordered belief bases (Q622290) (← links)
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- A framework for managing uncertain inputs: an axiomization of rewarding (Q648362) (← links)
- Knowledgebase transformations (Q676426) (← links)
- A general family of preferential belief removal operators (Q692180) (← links)
- Judgment aggregation and minimal change: a model of consensus formation by belief revision (Q721181) (← links)
- On strengthening the logic of iterated belief revision: proper ordinal interval operators (Q785235) (← links)
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation (Q814504) (← links)
- A consistency-based approach for belief change (Q814523) (← links)
- Ranking kinematics for revising by contextual information (Q825006) (← links)
- Rational choice and AGM belief revision (Q840824) (← links)
- A programmable approach to revising knowledge bases (Q866190) (← links)
- Relevance in belief revision (Q900306) (← links)
- A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics (Q901077) (← links)
- Reasoning with prioritized information by iterative aggregation of distance functions (Q959055) (← links)
- A granularity-based framework of deduction, induction, and abduction (Q962933) (← links)
- Preference-based belief revision for rule-based agents (Q1024129) (← links)
- Iterated belief revision, revised (Q1028892) (← links)
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic (Q1028901) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- Revision algebra semantics for conditional logic (Q1207343) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Five faces of minimality (Q1313080) (← links)
- Nonmonotonic inference based on expectations (Q1321060) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- Revision programming (Q1389448) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Modeling agents as qualitative decision makers (Q1391353) (← links)
- On the logic of iterated belief revision (Q1399119) (← links)
- Abductive consequence relations (Q1399126) (← links)
- Non-prioritized ranked belief change (Q1402585) (← links)
- Reducing belief revision to circumscription (and vice versa) (Q1402725) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
