scientific article; zbMATH DE number 4187148
From MaRDI portal
Publication:5751985
zbMath0719.68071MaRDI QIDQ5751985
Hirofumi Katsuno, Alberto O. Mendelzon
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (20)
Deriving properties of belief update from theories of action ⋮ Logical verification of scientific discovery ⋮ Circumscriptive semantics for updating knowledge bases ⋮ A decomposition based algorithm for maximal contractions ⋮ Characterization of logic program revision as an extension of propositional revision ⋮ Prime forms and minimal change in propositional belief bases ⋮ Reducing belief revision to circumscription (and vice versa) ⋮ Propositional knowledge base revision and minimal change ⋮ Revision with probability ⋮ In defense of base contraction ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ On the complexity of propositional knowledge base revision, updates, and counterfactuals ⋮ Notes on the history of ideas behind AGM ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Belief revision and update: Complexity of model checking ⋮ Dynamic adaptation of rules bases under cognitive constaints. ⋮ Default reasoning and belief revision: A syntax-independent approach ⋮ Knowledge assimilation in domains of actions: a possible causes approach ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI ⋮ Policy-based inconsistency management in relational databases
This page was built for publication:
