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
- 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
- Conflicting imperatives and dyadic deontic logic
- Title not available (Why is that?)
- Editor's introduction to the special issue on belief revision
- Bounded revision: two-dimensional belief change between conservative and moderate revision
- Indeterminacy and belief change
- Belief contraction without recovery
- Title not available (Why is that?)
- Title not available (Why is that?)
- Back to basics: belief revision through direct selection
- Revision, acceptability and context. Theoretical and algorithmic aspects.
- A consistency-based approach for belief change
- Revision by comparison
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
- Constructive modelings for theory change
- Title not available (Why is that?)
- Revising beliefs on the basis of evidence
- Belief revision and verisimilitude
- Dynamic epistemic logic for implicit and explicit beliefs
- Belief revision in structured probabilistic argumentation, model and application to cyber security
- A characterization of probability-based dichotomous belief revision
- Belief revision, conditional logic and nonmonotonic reasoning
- Knowledge in flux. Modeling the dynamics of epistemic states
- A textbook of belief dynamics. Theory change and database updating
- Toward credible belief base revision
- Dynamic reasoning with qualified syllogisms
- Title not available (Why is that?)
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)
