scientific article; zbMATH DE number 4185089

MaRDI QIDQ5750466zbMATH OpenFDO

Authors Kenneth D. Forbus

Publication date 1989

zbMATH Keywords

action-augmented envisionmentengineering procedure reasoningrobot planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• Qualitative simulation
• Reasoning about action. II: The qualification problem
• Publication:3484385
• A dynamic systems perspective on qualitative simulation
• scientific article; zbMATH DE number 4104411

Cited in

(29)

• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Circumscriptive semantics for updating knowledge bases
• A programmable approach to maintenance of a finite knowledge base
• Reducing belief revision to circumscription (and vice versa)
• Fast algorithms for revision of some special propositional knowledge bases
• The complexity of belief update
• Propositional distances and compact preference representation
• The size of a revised knowledge base
• Propositional belief base update and minimal change
• Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
• An algebraic approach to revising propositional rule-based knowledge bases
• scientific article; zbMATH DE number 1696569 (Why is no real title available?)
• Relevant minimal change in belief update
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• Belief update within propositional fragments
• Action emulation
• Foundations of instance level updates in expressive description logics
• Lost in translation: language independence in propositional logic -- application to belief change
• Relevance in belief update
• Belief revision and update: Complexity of model checking
• Prime forms and minimal change in propositional belief bases
• Reasoning about action and change
• On the consistency between belief revision and belief update
• Belief change based on knowledge measures
• Query repairs
• Representation results for belief update in closed fragments of propositional logic
• A consistency-based approach for belief change
• Some computational aspects of DISTANCE SAT
• On updates of hybrid knowledge bases composed of ontologies and rules

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)