Author name cluster

Carl Engelman

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

AAAI Conference 1980 Conference Paper

Interactive Frame Instantiation

Carl Engelman

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 Details