Maintenance of stratified databases viewed as a belief revision system
- 1 June 1987
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 136-145
- https://doi.org/10.1145/28659.28674
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- An assumption-based TMSArtificial Intelligence, 1986
- Negation as failure. IIThe Journal of Logic Programming, 1985
- Magic sets and other strange ways to implement logic programs (extended abstract)Published by Association for Computing Machinery (ACM) ,1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977