Compromised updates in labelled databases

DOI10.1007/3-540-61732-9_50zbMATH Open1541.68122MaRDI QIDQ6560373

Fátima C. C. Dargam

Publication date: 21 June 2024

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two methods of constructing contractions and revisions of knowledge systems
• On the logic of theory change: safe contraction
• Reasoning and revision in hybrid representation systems
• Vivid logic. Knowledge-based reasoning with two kinds of negation
• A rational reconstruction of nonmonotonic truth maintenance systems
• On the logic of theory change: Partial meet contraction and revision functions

This page was built for publication: Compromised updates in labelled databases