Checking Qualitative Reasoning with the Conflict Resolution Algorithm. Maxwell, J., de Kleer, J., & Klenk, M. In Proceedings of the 32th Annual Workshop on Qualitative Reasoning (QR19), 2019.
bibtex   
@inproceedings{MaxwellCRA2019,
title={Checking Qualitative Reasoning with the Conflict Resolution Algorithm},
%venuetype={Workshop},
author={John Maxwell and Johan de Kleer and Matthew Klenk},
booktitle={Proceedings of the 32th Annual Workshop on Qualitative Reasoning (QR19)},
year={2019},
}
Downloads: 0