@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},
}

{"_id":"3GScMnLgFHfMprfia","bibbaseid":"maxwell-dekleer-klenk-checkingqualitativereasoningwiththeconflictresolutionalgorithm-2019","authorIDs":[],"author_short":["Maxwell, J.","de Kleer, J.","Klenk, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Checking Qualitative Reasoning with the Conflict Resolution Algorithm","author":[{"firstnames":["John"],"propositions":[],"lastnames":["Maxwell"],"suffixes":[]},{"firstnames":["Johan"],"propositions":["de"],"lastnames":["Kleer"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Klenk"],"suffixes":[]}],"booktitle":"Proceedings of the 32th Annual Workshop on Qualitative Reasoning (QR19)","year":"2019","bibtex":"@inproceedings{MaxwellCRA2019,\ntitle={Checking Qualitative Reasoning with the Conflict Resolution Algorithm},\n%venuetype={Workshop},\nauthor={John Maxwell and Johan de Kleer and Matthew Klenk},\nbooktitle={Proceedings of the 32th Annual Workshop on Qualitative Reasoning (QR19)},\nyear={2019},\n}\n\n","author_short":["Maxwell, J.","de Kleer, J.","Klenk, M."],"key":"MaxwellCRA2019","id":"MaxwellCRA2019","bibbaseid":"maxwell-dekleer-klenk-checkingqualitativereasoningwiththeconflictresolutionalgorithm-2019","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.matthewklenk.com/files/cv.bib","creationDate":"2019-08-03T20:04:22.243Z","downloads":0,"keywords":[],"search_terms":["checking","qualitative","reasoning","conflict","resolution","algorithm","maxwell","de kleer","klenk"],"title":"Checking Qualitative Reasoning with the Conflict Resolution Algorithm","year":2019,"dataSources":["pg6fzxhJLWNEfmaor","6bHxr9hWiPicxeezJ"]}