Truth Maintenance Systems for Problem Solving

Doyle, Jon

Truth Maintenance Systems for Problem Solving

Download BibTeX Cite

Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Representation of Knowledge. Pages 247--1.

Abstract

Jon Doyle. 1977. Truth Maintenance Systems for Problem Solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 247–-1. https://ijcai.org/proceedings/1977/53

@inproceedings{ijcai1977p53,
  title     = {Truth Maintenance Systems for Problem Solving},
  author    = {Doyle, Jon},
  booktitle = {Proceedings of the Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI-77}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Raj Reddy},
  pages     = {247---1},
  year      = {1977},
  note      = {Representation of Knowledge},
  url       = {https://ijcai.org/proceedings/1977/53},
}

TY  - CPAPER
TI  - Truth Maintenance Systems for Problem Solving
AU  - Doyle, Jon
T2  - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1977
SP  - 247
EP  - -1
UR  - https://ijcai.org/proceedings/1977/53
ER  -