ML Anthology

ACP: Reason Maintenance and Inference Control for Constraint Propagation over Intervals

Walter Hamscher
AAAI 1991 pp. 506-511
/aaai/1991/hamscher1991aaai-acp/

Abstract

ACP is a fully implemented constraint propagation system that computes numeric intervals for variables [Davis, 1987] along with an ATMS label [de Kleer, 1986a] for each such interval. The system is built within a focused ATMS architecture [Forbus and de Kleer, 1988, Dressler and Farquhar, 1989] and incorporates a variety of techniques to improve efficiency.

PDF AAAI Semantic Scholar

Cite

Text

Hamscher. "ACP: Reason Maintenance and Inference Control for Constraint Propagation over Intervals." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Hamscher. "ACP: Reason Maintenance and Inference Control for Constraint Propagation over Intervals." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/hamscher1991aaai-acp/)

BibTeX

@inproceedings{hamscher1991aaai-acp,
  title     = {{ACP: Reason Maintenance and Inference Control for Constraint Propagation over Intervals}},
  author    = {Hamscher, Walter},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {506-511},
  url       = {https://mlanthology.org/aaai/1991/hamscher1991aaai-acp/}
}