Rule-Based Consistency Enforcement for Knowledge-Based Systems.

Christoph F. Eick Paul Werstein Rule-Based Consistency Enforcement for Knowledge-Based Systems. 52-64 TKDE5/P0052.pdf 1993 5 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde5.html#EickW93 db/journals/tkde/EickW93.html conf/sigmod/BadalP79 conf/sigmod/BernsteinB82 journals/tods/Borgida85 conf/eds/BrodieBWBM84 ... journals/tods/BunemanC79 conf/sigmod/Cohen89 ... journals/ai/Kleer86 conf/eds/Decker86 conf/ieaaie/EickKK88 journals/dke/EickR91 ... journals/cacm/Filman88 journals/ai/Forgy82 journals/tocs/GuptaFN89 conf/adbt/HenschenMN82 conf/sigmod/HsuI85 ... ... journals/is/Kobayashi84 ... conf/vldb/KowalskiSS87 conf/vldb/Lafue82 ... journals/dke/Ling87 ... conf/eds/MartensB88 conf/aaai/Miranker87 journals/acta/Nicolas82 conf/vldb/QianW86 ... conf/sigmod/Stonebraker75 conf/sigmod/StonebrakerR86 journals/tse/StonebrakerHP88 conf/eds/Wald88 ...