Characterization Theorems for Revision of Logic Programs

Nicolas Schwind,Katsumi Inoue
DOI: https://doi.org/10.1007/978-3-642-40564-8_48
2013-09-15
Abstract:
What problem does this paper attempt to address?