Arrow Research search
Back to AAAI

AAAI 1980

Interactive Frame Instantiation

Conference Paper Applied Knowledge Representation Artificial Intelligence

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.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
AAAI Conference on Artificial Intelligence
Archive span
1980-2026
Indexed papers
28718
Paper id
616266820959502020