Visualizing actor programs using predicate transition nets.

Shakuntala Miriyala Gul Agha Yamina Sami

Published in: J. Vis. Lang. Comput. (1992)

Keyphrases

first order logic
feature selection
case study
answer sets
interactive visualization
control program
transition model
real time
clustering algorithm
learning environment
relational databases
probabilistic model
programming environment
state transitions