@inproceedings{inproceedingsa9330d55, title = {Horn clause contraction functions: belief set and belief base approaches}, author = {Delgrande, Jaime P and Wassermann, Renata}, year = {2010}, publisher = {AAAI Press}, booktitle = {International Conference on the Principles of Knowledge Representation and Reasoning - KR} }