ML Anthology

Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection

John O. Everett, Kenneth D. Forbus
AAAI 1996 pp. 614-620
/aaai/1996/everett1996aaai-scaling/
PDF AAAI Semantic Scholar

Cite

Text

Everett and Forbus. "Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Everett and Forbus. "Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/everett1996aaai-scaling/)

BibTeX

@inproceedings{everett1996aaai-scaling,
  title     = {{Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection}},
  author    = {Everett, John O. and Forbus, Kenneth D.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {614-620},
  url       = {https://mlanthology.org/aaai/1996/everett1996aaai-scaling/}
}