scientific article; zbMATH DE number 140376

MaRDI QIDQ4028780zbMATH OpenFDO

Authors Timothy S.-C. Chou, Marianne Winslett

Publication date 28 March 1993

zbMATH Keywords

model-based theory revision semantics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30)

Recommendations

• The complexity of theory revision
• scientific article; zbMATH DE number 108002
• Description of the belief revisions based on the propositional model sets
• scientific article; zbMATH DE number 1931686
• Structured belief bases

Cited in

(3)

• A Verified AsmL Implementation of Belief Revision
• scientific article; zbMATH DE number 4060781 (Why is no real title available?)
• scientific article; zbMATH DE number 1931686 (Why is no real title available?)

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