The following pages link to Updating knowledge bases (Q918229):
Displaying 7 items.
- View updates in stratified disjunctive databases (Q1319392) (← links)
- Update operations in deductive databases with functional dependencies (Q1338902) (← links)
- Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity (Q3458158) (← links)
- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation (Q3612894) (← links)
- Acquiring object-knowledge (Q4018176) (← links)
- An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539) (← links)
- Theorem proving techniques for view deletion in databases (Q5927980) (← links)