scientific article; zbMATH DE number 140406
From MaRDI portal
Publication:4028815
Recommendations
Cited in
(46)- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Unifying default reasoning and belief revision in a modal framework
- Foundational belief change
- Default reasoning and belief revision: A syntax-independent approach
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Belief revision, conditional logic and nonmonotonic reasoning
- A framework for controlling model-based diagnosis systems with multiple actions
- Another perspective on default reasoning
- The size of a revised knowledge base
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- A simple logic for reasoning about incomplete knowledge
- A general framework for computing maximal contractions
- A decomposition based algorithm for maximal contractions
- Redundancy in logic. I: CNF propositional formulae
- Revising possibilistic knowledge bases via compatibility degrees
- Modeling and reasoning with qualitative comparative clinical knowledge
- scientific article; zbMATH DE number 994056 (Why is no real title available?)
- Knowledge assimilation in domains of actions: a possible causes approach
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
- A Syntax-based Approach to Reasoning about Action and Belief Update
- Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases
- A practical parallel algorithm for propositional knowledge base revision
- scientific article; zbMATH DE number 1292301 (Why is no real title available?)
- scientific article; zbMATH DE number 549967 (Why is no real title available?)
- A survey of belief revision and updating in classical logic
- The lexicographic closure as a revision process
- scientific article; zbMATH DE number 1785006 (Why is no real title available?)
- Syntax-Preserving Belief Change Operators for Logic Programs
- Sum-based weighted belief base merging: from commensurable to incommensurable framework
- Multiagent reasoning with probability, time, and beliefs
- Lost in translation: language independence in propositional logic -- application to belief change
- Logical verification of scientific discovery
- Revision with probability
- Twenty-Five Years of Preferred Subtheories
- Ordering-based representations of rational inference
- Belief revision and update: Complexity of model checking
- Toward credible belief base revision
- Filtered belief revision: syntax and semantics
- On the measure of conflicts: Shapley inconsistency values
- Prime forms and minimal change in propositional belief bases
- Belief Horn merging operators: characterization results and implementations
- Representing states in iterated belief revision
- A rule-based modal framework for causal reasoning
- Weakening conflicting information for iterated revision and knowledge integration
- \(\text{DA}^2\) merging operators
- Reasoning with prioritized information by iterative aggregation of distance functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028815)
