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.

• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories (Q3522039) (← links)
• COBA 2.0: A Consistency-Based Belief Change System (Q3524920) (← links)
• From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
• Accommodative Belief Revision (Q3532466) (← links)
• Confluence Operators (Q3532472) (← links)
• Towards Agent-Oriented Relevant Information (Q3534656) (← links)
• A Verified AsmL Implementation of Belief Revision (Q3535368) (← links)
• A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (Q3541697) (← links)
• SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION (Q3577742) (← links)
• BELIEF REVISION IN NON-CLASSICAL LOGICS (Q3580673) (← links)
• FORMAL EPISTEMOLOGY, CONTEXT AND CONTENT: INTRODUCTION TO SPECIAL ISSUE ON RECENT DEVELOPMENTS IN FORMAL EPISTEMOLOGY (Q3580678) (← links)
• BELIEF-REVISION, THE RAMSEY TEST, MONOTONICITY, AND THE SO-CALLED IMPOSSIBILITY RESULTS (Q3580679) (← links)
• SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US? (Q3580682) (← links)
• Towards closed world reasoning in dynamic open worlds (Q3585167) (← links)
• A program-level approach to revising logic programs under the answer set semantics (Q3585168) (← links)
• The Procedures for Belief Revision (Q3600572) (← links)
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators (Q3600573) (← links)
• Iterated Belief Revision in the Face of Uncertain Communication (Q3601791) (← links)
• Learning by Erasing in Dynamic Epistemic Logic (Q3618595) (← links)
• Expressing Belief Flow in Assertion Networks (Q3623831) (← links)
• Distance-Based Semantics for C-Structure Belief Revision (Q3638163) (← links)
• Using Transfinite Ordinal Conditional Functions (Q3638166) (← links)
• Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points (Q3638279) (← links)
• Abductive Logic Grammars (Q3638282) (← links)
• A Logical Splitting Strategy for the Belief Structure of Agents (Q3647209) (← links)
• Belief fusion and revision: an overview based on epistemic logic semantics (Q3647210) (← links)
• Belief base merging as a game (Q3647211) (← links)
• Fusion rules for context-dependent aggregation of structured news reports (Q3647213) (← links)
• Communication among agents: a way to revise beliefs in KD45 Kripke structures★ (Q3647217) (← links)
• Seminormalizing a default theory (Q3647232) (← links)
• A model for updates in a multi-agent setting (Q3647269) (← links)
• From onions to broccoli: generalizing Lewis' counterfactual logic (Q3647271) (← links)
• Roadmap for preferential logics (Q3647291) (← links)
• Combinatorial Problems for Horn Clauses (Q3655139) (← links)
• On the logic of theory change: Partial meet contraction and revision functions (Q3699670) (← links)
• (Q4225112) (← links)
• A Plea for Accuracy (Q4236066) (← links)
• Observations on validity and conditionals in belief revision systems (Q4291029) (← links)
• Credibility limited revision (Q4328822) (← links)
• 1996–97 Annual Meeting of the Association for Symbolic Logic (Q4372927) (← links)
• A practical measure of the information in a logical theory (Q4421243) (← links)
• The lexicographic closure as a revision process (Q4443391) (← links)
• Local Diagnosis (Q4443394) (← links)
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences (Q4443395) (← links)
• Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents (Q4443397) (← links)
• A framework for iterated revision (Q4443405) (← links)
• A note on the refinement of ontologies (Q4503753) (← links)
• Formalization in Philosophy (Q4508279) (← links)
• Conservative extension concepts for nonmonotonic knowledge bases (Q4509297) (← links)
• (Q4537431) (← links)