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