A General Labeling Algorithm for Assumption-Based Truth Maintenance. de Kleer, J. In Proceedings of National Conference on Artificial Intelligence (AAAI), pages 188-192, 1988.
Paper bibtex @inproceedings{ dblp4392227,
title = {A General Labeling Algorithm for Assumption-Based Truth Maintenance},
author = {Johan de Kleer},
author_short = {de Kleer, J.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1988},
key = {dblp4392227},
id = {dblp4392227},
biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/Kleer88},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-034.php},
conference = {AAAI},
pages = {188-192},
text = {AAAI 1988:188-192},
booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}
}
Downloads: 0
{"_id":{"_str":"523738f2d0cc4d8625000356"},"__v":4,"authorIDs":["5542374df6e849247f0003cb"],"author_short":["de Kleer, J."],"bibbaseid":"dekleer-agenerallabelingalgorithmforassumptionbasedtruthmaintenance-1988","bibdata":{"title":"A General Labeling Algorithm for Assumption-Based Truth Maintenance","author":["Johan de Kleer"],"author_short":["de Kleer, J."],"bibtype":"inproceedings","type":"inproceedings","year":"1988","key":"dblp4392227","id":"dblp4392227","biburl":"http://www.dblp.org/rec/bibtex/conf/aaai/Kleer88","url":"http://www.aaai.org/Library/AAAI/1988/aaai88-034.php","conference":"AAAI","pages":"188-192","text":"AAAI 1988:188-192","booktitle":"Proceedings of National Conference on Artificial Intelligence (AAAI)","bibtex":"@inproceedings{ dblp4392227,\n title = {A General Labeling Algorithm for Assumption-Based Truth Maintenance},\n author = {Johan de Kleer},\n author_short = {de Kleer, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1988},\n key = {dblp4392227},\n id = {dblp4392227},\n biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/Kleer88},\n url = {http://www.aaai.org/Library/AAAI/1988/aaai88-034.php},\n conference = {AAAI},\n pages = {188-192},\n text = {AAAI 1988:188-192},\n booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}\n}","bibbaseid":"dekleer-agenerallabelingalgorithmforassumptionbasedtruthmaintenance-1988","role":"author","urls":{"Paper":"http://www.aaai.org/Library/AAAI/1988/aaai88-034.php"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/aaai/Kleer88","downloads":0,"keywords":[],"search_terms":["general","labeling","algorithm","assumption","based","truth","maintenance","de kleer"],"title":"A General Labeling Algorithm for Assumption-Based Truth Maintenance","year":1988,"dataSources":["ezMhaikjZEoHsmYsE"]}