Massively Parallel Assumption-Based Truth Maintenance. Dixon, M. & de Kleer, J. In Proceedings of Non-Monotonic Reasoning (NMR), pages 131-142, 1988. Paper bibtex @inproceedings{ dblp4403114,
title = {Massively Parallel Assumption-Based Truth Maintenance},
author = {Michael Dixon and Johan de Kleer},
author_short = {Dixon, M. and de Kleer, J.},
bibtype = {inproceedings},
type = {inproceedings},
year = {1988},
key = {dblp4403114},
id = {dblp4403114},
biburl = {http://www.dblp.org/rec/bibtex/conf/nmr/DixonK88},
url = {http://dx.doi.org/10.1007/3-540-50701-9_24},
conference = {NMR},
pages = {131-142},
text = {NMR 1988:131-142},
booktitle = {Proceedings of Non-Monotonic Reasoning (NMR)}
}
Downloads: 0
{"_id":{"_str":"523738f1d0cc4d8625000341"},"__v":4,"authorIDs":["5542374df6e849247f0003cb"],"author_short":["Dixon, M.","de Kleer, J."],"bibbaseid":"dixon-dekleer-massivelyparallelassumptionbasedtruthmaintenance-1988","bibdata":{"title":"Massively Parallel Assumption-Based Truth Maintenance","author":["Michael Dixon","Johan de Kleer"],"author_short":["Dixon, M.","de Kleer, J."],"bibtype":"inproceedings","type":"inproceedings","year":"1988","key":"dblp4403114","id":"dblp4403114","biburl":"http://www.dblp.org/rec/bibtex/conf/nmr/DixonK88","url":"http://dx.doi.org/10.1007/3-540-50701-9_24","conference":"NMR","pages":"131-142","text":"NMR 1988:131-142","booktitle":"Proceedings of Non-Monotonic Reasoning (NMR)","bibtex":"@inproceedings{ dblp4403114,\n title = {Massively Parallel Assumption-Based Truth Maintenance},\n author = {Michael Dixon and Johan de Kleer},\n author_short = {Dixon, M. and de Kleer, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1988},\n key = {dblp4403114},\n id = {dblp4403114},\n biburl = {http://www.dblp.org/rec/bibtex/conf/nmr/DixonK88},\n url = {http://dx.doi.org/10.1007/3-540-50701-9_24},\n conference = {NMR},\n pages = {131-142},\n text = {NMR 1988:131-142},\n booktitle = {Proceedings of Non-Monotonic Reasoning (NMR)}\n}","bibbaseid":"dixon-dekleer-massivelyparallelassumptionbasedtruthmaintenance-1988","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-50701-9_24"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/nmr/DixonK88","downloads":0,"keywords":[],"search_terms":["massively","parallel","assumption","based","truth","maintenance","dixon","de kleer"],"title":"Massively Parallel Assumption-Based Truth Maintenance","year":1988,"dataSources":["TjRTbtL3PuHC9v94B"]}