scientific article; zbMATH DE number 4185089

MaRDI QIDQ5750466zbMATH OpenFDO

Authors Kenneth D. Forbus

Publication date 1989

zbMATH Keywords

robot planningaction-augmented envisionmentengineering procedure reasoning

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

(25)

• Relevant minimal change in belief update
• Belief revision and update: Complexity of model checking
• Reducing belief revision to circumscription (and vice versa)
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• 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
• An algebraic approach to revising propositional rule-based knowledge bases
• Reasoning about action and change
• 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
• scientific article; zbMATH DE number 1696569 (Why is no real title available?)
• 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)