Some notes on knowledge assimilation in deductive databases
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 249-286
- https://doi.org/10.1007/bfb0055502
Abstract
No abstract availableKeywords
This publication has 82 references indexed in Scilit:
- The IFF proof procedure for abductive logic programmingThe Journal of Logic Programming, 1997
- A survey of deductive database systemsThe Journal of Logic Programming, 1995
- Updating knowledge bases while maintaining their consistencyThe VLDB Journal, 1995
- An argumentation-theoretic foundation for logic programmingThe Journal of Logic Programming, 1995
- Logic programming and negation: A surveyThe Journal of Logic Programming, 1994
- Perspectives in deductive databasesThe Journal of Logic Programming, 1988
- Integrity constraint checking in stratified databasesThe Journal of Logic Programming, 1987
- Validating database updatesInformation Systems, 1984
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Integrity checking in data base systemsInformation Systems, 1983