Abduction for knowledge assimilation in deductive databases
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An argumentation-theoretic foundation for logic programmingThe Journal of Logic Programming, 1995
- Updating knowledge basesNew Generation Computing, 1990
- Stable models and non-determinism in logic programs with negationPublished by Association for Computing Machinery (ACM) ,1990
- Integrity constraint checking in stratified databasesThe Journal of Logic Programming, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987