Massively Parallel Assumption-Based Truth Maintenance. Dixon, M. & de Kleer, J. In Proceedings of Non-Monotonic Reasoning (NMR), pages 131-142, 1988.
Massively Parallel Assumption-Based Truth Maintenance [link]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