A Potpourri of Reason Maintenance Methods

Abstract

We present novel methods to compute changes to materialized views in logic databases like those used by rule-based reasoners. Such reasoners have to address the problem of changing axioms in the presence of materializations of derived atoms. Existing approaches have drawbacks: some require to generate and evaluate large transformed programs that are in… (More)

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Kotowski2011APO, title={A Potpourri of Reason Maintenance Methods}, author={Jakub Kotowski and François Bry and Norbert Eisinger}, year={2011} }