scientific article; zbMATH DE number 1761410

MaRDI QIDQ4537430zbMATH OpenFDO

Authors Chandrabose Aravindan, Phan Minh Dung

Publication date 30 June 2002

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Knowledge base dynamics, abduction, and database updates
• A Rational and Efficient Algorithm for View Revision in Databases
• Theory contraction and base contraction unified
• scientific article; zbMATH DE number 1784997
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions

Cited in

(2)

• Modeling belief in dynamic systems. I: Foundations
• Knowledge base dynamics, abduction, and database updates

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