scientific article; zbMATH DE number 108002
From MaRDI portal
Publication:4023583
zbMATH Open0801.68151MaRDI QIDQ4023583FDOQ4023583
Authors:
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
Recommendations
Other nonclassical logic (03B60) Knowledge representation (68T30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27) Classical first-order logic (03B10)
Cited In (only showing first 100 items - show all)
- Public announcements, public lies and recoveries
- AGM-style revision of beliefs and intentions
- Gricean belief change
- Compatibility, desirability, and the running intersection property
- Artificial Intelligence and Symbolic Computation
- Theorem proving techniques for view deletion in databases
- Partial meet pseudo-contractions
- Trust as a Precursor to Belief Revision
- Belief change
- Recovery of (non)monotonic theories
- Speech acts, commitment and multi-agent communication
- New foundations for a relational theory of theory-revision
- Choice revision
- Distance-Based Semantics for C-Structure Belief Revision
- Functional vs. Relational Approaches to Belief Revision
- Belief revision in Horn theories
- Multi-source multiple change on belief bases
- Nearly counterfactual revision
- Dealing with external actions in belief causal networks
- Inconsistent-tolerant base revision through argument theory change
- Introduction and overview: Special issue on belief revision at truth approximation
- Changes of mind. An essay on rational belief revision.
- Preference-based belief revision for rule-based agents
- Changing the scientific corpus
- Belief Revision with Bounded Treewidth
- Shielded base contraction
- The stability theory of knowledge and belief revision: Comments on Rott
- Merging operators on stratified belief bases equipped with argumentative inference
- Belief revision and computational argumentation: a critical comparison
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rough Belief Change
- Four ways in which theories of belief revision could benefit from theories of epistemic justification
- Evaluative multiple revision based on core beliefs
- Title not available (Why is that?)
- On the revision of planning tasks
- On a logico-algebraic approach to AGM belief contraction theory
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
- Title not available (Why is that?)
- A qualitative theory of dynamic interactive belief revision
- Scientific discovery on positive data via belief revision
- Deductive belief change
- On subtler belief revision policies
- Belief revision and projection in the epistemic situation calculus
- Beliefs in conditionals vs. conditional beliefs
- Structured belief bases
- Constructing probabilistic ATMSs using extended incidence calculus
- Rationality criteria within belief revision: consistency
- Controlled Revision - An Algorithmic Approach for Belief Revision
- The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings
- A model of three-way decisions for knowledge harnessing
- JuDAS: a theory of rational belief revision
- The defective conditional in mathematics
- Title not available (Why is that?)
- Belief update within propositional fragments
- Rational metabolic revision based on core beliefs
- Revision and updates in possibly action-occurrence-incomplete narratives
- Generalized partial meet and kernel contractions
- Two level credibility-limited revisions
- Belief revision with satisfaction measure
- Title not available (Why is that?)
- Title not available (Why is that?)
- General Belief Revision
- Levi and Harper identities for non-prioritized belief base change
- Title not available (Why is that?)
- Exterior Topology and Revision Spaces
- Title not available (Why is that?)
- Main issues in belief revision, belief merging and information fusion
- Logic-based updating
- Generalized compactness of nonmonotonic inference operations
- How do the Harper and Levi identities constrain belief change?
- Title not available (Why is that?)
- Compositional belief update
- Belief change and 3-valued logics: characterization of 19,683 belief change operators
- Strengthening parametrized-difference belief revision
- Description of the belief revisions based on the propositional model sets
- Against grue mysteries
- Rough Sets and Current Trends in Computing
- Removing inconsistencies in assumption-based theories through knowledge-gathering actions
- On the progression of belief
- R-calculus. II: Many-valued logics
- Parallel Theories and Routine Revision in First-Order Logic
- Revising and updating using a back-up semantics
- Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
- Knowledge-level analysis of belief base operations
- Belief revision and update: Complexity of model checking
- Epistemic entrenchment and arithmetical hierarchy
- Title not available (Why is that?)
- Parallel belief revision: revising by sets of formulas
- Theory refinement combining analytical and empirical methods
- The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
- A new understanding of subjective probability and its generalization to lower and upper prevision.
- COBA 2.0: A Consistency-Based Belief Change System
- A practical approach to revising prioritized knowledge bases
- Hypothetical revision and matter-of-fact supposition
- The size of a revised knowledge base
- On revising fuzzy belief bases
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
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 Q4023583)
