Pages that link to "Item:Q3699670"

The following pages link to On the logic of theory change: Partial meet contraction and revision functions (Q3699670):

Displaying 50 items.

• Epistemic Reasoning in Life and Literature (Q5250309) (← links)
• DL-Lite Ontology Revision Based on An Alternative Semantic Characterization (Q5277896) (← links)
• Dynamic Reasoning Systems (Q5277897) (← links)
• Belief Merging by Examples (Q5277910) (← links)
• Belief Merging within Fragments of Propositional Logic (Q5277921) (← links)
• Merging in the Horn Fragment (Q5278204) (← links)
• A PROBABILISTIC SEMANTICS FOR COUNTERFACTUALS. PART A (Q5389588) (← links)
• Dynamics of knowledge in <i>D<scp>e</scp>LP</i> through Argument Theory Change (Q5398286) (← links)
• EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS (Q5402235) (← links)
• Applying Belief Revision to Case-Based Reasoning (Q5739524) (← links)
• Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision (Q5886525) (← links)
• Special issue: Data and knowledge fusion. Part 1 of 2 (Q5890401) (← links)
• Fusion: General concepts and characteristics (Q5890402) (← links)
• DEL-sequents for progression (Q5891665) (← links)
• DEL-sequents for progression (Q5891666) (← links)
• A formal model of multi-agent belief-interaction (Q5901494) (← links)
• A formal model of multi-agent belief-interaction (Q5920620) (← links)
• Theorem proving techniques for view deletion in databases (Q5927980) (← links)
• Constraints for input/output logics (Q5935791) (← links)
• Irrevocable belief revision in dynamic doxastic logic (Q5937821) (← links)
• Semi-contraction: Axioms and construction (Q5937824) (← links)
• Regular database update logics (Q5940934) (← links)
• Belief revision and update: Complexity of model checking (Q5943121) (← links)
• Dynamic adaptation of rules bases under cognitive constaints. (Q5953325) (← links)
• Infinitary belief revision (Q5960011) (← links)
• PROBABILISTIC ENTAILMENT ON FIRST ORDER LANGUAGES AND REASONING WITH INCONSISTENCIES (Q6041340) (← links)
• Iterated AGM revision based on probability revision (Q6053837) (← links)
• A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
• A theory of change for prioritised resilient and evolvable software systems (Q6067109) (← links)
• On the logic of theory change iteration of KM-update (Q6088375) (← links)
• Toward credible belief base revision (Q6088376) (← links)
• Belief revision and computational argumentation: a critical comparison (Q6097772) (← links)
• Revising system specifications in temporal logic (Q6097773) (← links)
• Filtered belief revision: syntax and semantics (Q6097775) (← links)
• On manipulation in merging epistemic states (Q6099553) (← links)
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity (Q6116365) (← links)
• Difference-making conditionals and connexivity (Q6127195) (← links)
• Raising awareness without disclosing truth (Q6133702) (← links)
• Deductive belief change (Q6133707) (← links)
• On the progression of belief (Q6136086) (← links)
• A postulate-driven study of logical argumentation (Q6136108) (← links)
• From epistemic norms to logical rules: epistemic models for logical expressivists (Q6145025) (← links)
• A basis for AGM revision in Bayesian probability revision (Q6145026) (← links)
• Unified deductive systems: an outline (Q6146292) (← links)
• Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)
• Tracking probabilistic truths: a logic for statistical learning (Q6147187) (← links)
• Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions (Q6152662) (← links)
• AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS (Q6153160) (← links)
• Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks (Q6157205) (← links)
• Levi and Harper identities for non-prioritized belief base change (Q6161502) (← links)