Updating knowledge bases

DOI10.1007/BF03037514zbMath0705.68096OpenAlexW1986329319MaRDI QIDQ918229

Ahmed Guessoum, John W. Lloyd

Publication date: 1990

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037514

zbMATH Keywords

knowledge baselogic programknowledge assimilation

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (7)

Update operations in deductive databases with functional dependencies ⋮ Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ Acquiring object-knowledge ⋮ An assumption-based truth maintenance system dealing with non-ground justifications ⋮ Theorem proving techniques for view deletion in databases ⋮ Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation ⋮ View updates in stratified disjunctive databases

Cites Work

• A logical framework for default reasoning
• A logic for default reasoning
• Non-monotonic logic. I
• Completed logic programs and their consistency
• Updates of Relational Views
• Update semantics of relational views
• On the correct translation of update operations on relational views
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Updating knowledge bases