scientific article; zbMATH DE number 4185089
From MaRDI portal
Publication:5750466
zbMATH Open0718.68099MaRDI QIDQ5750466FDOQ5750466
Authors: Kenneth D. Forbus 
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 (25)
- Relevant minimal change in belief update
- 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
- 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
- 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
- Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
- Circumscriptive semantics for updating knowledge bases
- Relevance in belief update
- Action emulation
- Belief update within propositional fragments
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)
