ML Anthology

Interactive Frame Instantiation

Carl Engelman, Ethan A. Scarl, Charles H. Berg
AAAI 1980 pp. 184-186
/aaai/1980/engelman1980aaai-interactive/

Abstract

This paper discusses the requirements that interactive frame instantiation imposes on constraint Verification. The representations and algorithms of an implemented software solution are presented.

PDF AAAI Semantic Scholar

Cite

Text

Engelman et al. "Interactive Frame Instantiation." AAAI Conference on Artificial Intelligence, 1980.

Markdown

[Engelman et al. "Interactive Frame Instantiation." AAAI Conference on Artificial Intelligence, 1980.](https://mlanthology.org/aaai/1980/engelman1980aaai-interactive/)

BibTeX

@inproceedings{engelman1980aaai-interactive,
  title     = {{Interactive Frame Instantiation}},
  author    = {Engelman, Carl and Scarl, Ethan A. and Berg, Charles H.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1980},
  pages     = {184-186},
  url       = {https://mlanthology.org/aaai/1980/engelman1980aaai-interactive/}
}