scientific article

Publication date: 27 December 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (only showing first 100 items - show all)

1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ A theory of requirements capture and its applications ⋮ On the dynamics of default reasoning ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Belief contraction in the context of the general theory of rational choice ⋮ A glance at revision and updating in knowledge bases ⋮ A survey of belief revision and updating rules in various uncertainty models ⋮ Notes on change and nonmonotony ⋮ A temporal revision model for reasoning about world change ⋮ Database updates and transition constraints: A formula-based approach ⋮ TWO LEVEL CREDIBILITY-LIMITED REVISIONS ⋮ A sphere world semantics for default reasoning ⋮ Revision by communication ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ Belief revision and incongruity: is it a joke?* ⋮ Counterfactuals as modal conditionals, and their probability ⋮ Toward credible belief base revision ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Filtered belief revision: syntax and semantics ⋮ On manipulation in merging epistemic states ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Connexivity in the logic of reasons ⋮ Difference-making conditionals and connexivity ⋮ Deductive belief change ⋮ On the progression of belief ⋮ From epistemic norms to logical rules: epistemic models for logical expressivists ⋮ A basis for AGM revision in Bayesian probability revision ⋮ AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ An Epistemological Study of Theory Change ⋮ Credibility limited revision ⋮ Characterization of AGM Belief Contraction in Terms of Conditionals ⋮ System of Spheres-based Two Level Credibility-limited Revisions ⋮ Unnamed Item ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Unnamed Item ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations ⋮ PREFERENCE BASED ON REASONS ⋮ A methodology for iterated theory change ⋮ Commands in dialogue logic ⋮ (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG ⋮ EPISTEMIC ENTRENCHMENT-BASED MULTIPLE CONTRACTIONS ⋮ Merging Logic Programs under Answer Set Semantics ⋮ Scientific discovery based on belief revision ⋮ Decision-theoretic foundations of qualitative possibility theory ⋮ Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision ⋮ Additive Consolidation with Maximal Change ⋮ Scientific discovery on positive data via belief revision ⋮ Upside-Down Preference Reversal: How to Override Ceteris-Paribus Preferences? ⋮ Economics and Economy in the Theory of Belief Revision (Preliminary Report) ⋮ Fusion of Pedigreed Preferential Relations ⋮ Semi-contraction: Axioms and construction ⋮ Belief revision and update: Complexity of model checking ⋮ On the axiomatic approach to freedom as opportunity: A general characterization result ⋮ Revision operators with compact representations ⋮ Semantical considerations on intention dynamics for BDI agents ⋮ Changing times: a causal theory of probabilistic temporal reasoning ⋮ Iterative probability kinematics ⋮ Infinitary belief revision ⋮ Encoding the Revision of Partially Preordered Information in Answer Set Programming ⋮ A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$ ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ Unnamed Item ⋮ Segerberg on the Paradoxes of Introspective Belief Change ⋮ On Revocable and Irrevocable Belief Revision ⋮ Two Logical Faces of Belief Revision ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Belief base merging as a game ⋮ Seminormalizing a default theory ⋮ From onions to broccoli: generalizing Lewis' counterfactual logic ⋮ Dynamic Epistemic Logics ⋮ Logic and Learning ⋮ Logic and Probabilistic Update ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ A Panorama of Iterated Revision ⋮ Belief contraction as nonmonotonic inference ⋮ Relevance in Belief Update ⋮ Explaining by evidence ⋮ The epistemic structure of a theory of a game ⋮ On the evaluation of solution concepts ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Deriving properties of belief update from theories of action ⋮ Foundational belief change ⋮ Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory ⋮ Dynamic interactive epistemology ⋮ Learning conditional information by Jeffrey imaging on Stalnaker conditionals ⋮ Modular semantics for theories: an approach to paraconsistent reasoning ⋮ A representation result for value-based contraction ⋮ A logic programming system for nonmonotonic reasoning ⋮ Changes in preference ⋮ Comments on testing economic theories and the use of model selection criteria ⋮ An argumentation framework in default logic ⋮ Shielded base contraction ⋮ Belief revision and verisimilitude ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Levi contractions and AGM contractions: A comparison ⋮ Constructive modelings for theory change ⋮ On the revision of probabilistic belief states

This page was built for publication: