Database updates and transition constraints: A formula-based approach

DOI10.1002/int.4550090111zbMath0805.68031OpenAlexW2098431193MaRDI QIDQ4293725

Laurence Cholvy

Publication date: 7 July 1994

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.4550090111

zbMATH Keywords

belief revisiondatabase updatesknowledge baseupdate semanticstransition constraints

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (2)

Semantic data modelling using linear logic ⋮ Belief fusion and revision: an overview based on epistemic logic semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Database updates and transition constraints: A formula-based approach