On updates and inconsistency repairing in knowledge bases
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 608-615
- https://doi.org/10.1109/icde.1993.344019
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Propositional knowledge base revision and minimal changePublished by Elsevier ,2003
- Belief updating from integrity constraints and queriesArtificial Intelligence, 1992
- Reactive consistency control in deductive databasesACM Transactions on Database Systems, 1991
- Updating relational databases through object-based viewsPublished by Association for Computing Machinery (ACM) ,1991
- The expressive power of stratified logic programsInformation and Computation, 1991
- Updating knowledge basesNew Generation Computing, 1990
- Towards a schema design methodology for deductive databasesPublished by Springer Nature ,1989
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Introduction to Mathematical LogicPublished by Springer Nature ,1987
- Fast methods for testing quantified relational calculus assertionsPublished by Association for Computing Machinery (ACM) ,1982