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.
A General Labeling Algorithm for Assumption-Based Truth Maintenance [link]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