scientific article; zbMATH DE number 4185089
From MaRDI portal
zbMath0718.68099MaRDI QIDQ5750466
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)
Related Items
Propositional distances and compact preference representation, Belief Update Within Propositional Fragments, Relevant Minimal Change in Belief Update, Circumscriptive semantics for updating knowledge bases, Some computational aspects of DISTANCE SAT, Prime forms and minimal change in propositional belief bases, A programmable approach to maintenance of a finite knowledge base, An algebraic approach to revising propositional rule-based knowledge bases, Reducing belief revision to circumscription (and vice versa), On updates of hybrid knowledge bases composed of ontologies and rules, Foundations of instance level updates in expressive description logics, Fast algorithms for revision of some special propositional knowledge bases, Lost in translation: language independence in propositional logic -- application to belief change, The size of a revised knowledge base, Propositional belief base update and minimal change, Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change, On the complexity of propositional knowledge base revision, updates, and counterfactuals, Belief revision and update: Complexity of model checking, The complexity of belief update, Relevance in Belief Update, A consistency-based approach for belief change
