scientific article; zbMATH DE number 4187148

zbMATH Open0719.68071MaRDI QIDQ5751985FDOQ5751985

Hirofumi Katsuno, Alberto O. Mendelzon

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• scientific article; zbMATH DE number 1269568
• Propositional knowledge base revision and minimal change
• A glance at revision and updating in knowledge bases
• Propositional belief base update and minimal change

zbMATH Keywords

model-theoretic characterizationpropositional knowledge basesrevision operator

Mathematics Subject Classification ID

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 (32)

• 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
• 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?)
• 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)