PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System.

Donald A. Waterman Allen Newell

Published in: IEEE Trans. Computers (1976)

Keyphrases

formal analysis
structural analysis
statistical analysis
lightweight
quantitative analysis
data sets
artificial intelligence
image analysis
user friendly
computer vision
multi agent
user interface