scientific article; zbMATH DE number 1785006

MaRDI QIDQ4546713zbMATH OpenFDO

Authors Brigitte Bessant, E. Grégoire, Pierre Marquis, Lakhdar Sais

Publication date 25 July 2003

zbMATH Keywords

abnormality propositionscomputational complexityiterated knowledge base revisionmodel-preference semanticsnonmonotonic logicprioritized circumscription

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other nonclassical logic (03B60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 140406
• scientific article; zbMATH DE number 1453056
• Default reasoning and belief revision: A syntax-independent approach
• Conditionals, Information, and Inference
• scientific article; zbMATH DE number 1487805

Cited in

(9)

• Using local search to find MSSes and MUSes
• Combining multiple prioritized knowledge bases by negotiation
• A split-combination approach to merging knowledge bases in possibilistic logic
• scientific article; zbMATH DE number 140406 (Why is no real title available?)
• The lexicographic closure as a revision process
• scientific article; zbMATH DE number 1785003 (Why is no real title available?)
• Characterizing Compatible View Updates in Syntactic Bidirectionalization
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
• Weakening conflicting information for iterated revision and knowledge integration

Describes a project that uses

Uses Software

• Walksat

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 Q4546713)