scientific article; zbMATH DE number 4187148
From MaRDI portal
zbMATH Open0719.68071MaRDI QIDQ5751985FDOQ5751985
Authors: Hirofumi Katsuno, Alberto O. Mendelzon 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Cited In (34)
- Minimal refinements of specifications in modal and temporal logics
- Minimal refinements of specifications in modal and temporal logics
- Belief revision and update: Complexity of model checking
- Notes on the history of ideas behind AGM
- Default reasoning and belief revision: A syntax-independent approach
- Reducing belief revision to circumscription (and vice versa)
- A Unifying Perspective on Knowledge Updates
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Deriving properties of belief update from theories of action
- Title not available (Why is that?)
- Fast algorithms for revision of some special propositional knowledge bases
- A logical framework for knowledge base maintenance
- Title not available (Why is that?)
- Title not available (Why is that?)
- In defense of base contraction
- Logical verification of scientific discovery
- An algebraic approach to revising propositional rule-based knowledge bases
- Characterization of logic program revision as an extension of propositional revision
- Knowledge assimilation in domains of actions: a possible causes approach
- Propositional knowledge base revision and minimal change
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
- Prime forms and minimal change in propositional belief bases
- Title not available (Why is that?)
- Dynamic adaptation of rules bases under cognitive constaints.
- Dynamic updates of non-monotonic knowledge bases
- Title not available (Why is that?)
- Circumscriptive semantics for updating knowledge bases
- A decomposition based algorithm for maximal contractions
- Revision with probability
- Title not available (Why is that?)
- Title not available (Why is that?)
- Prioritized dynamic retraction function on non-monotonic information updates
- An abductive framework for computing knowledge base updates
- Policy-based inconsistency management in relational databases
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 Q5751985)
