2F. Pereira, D. Wrren. Definite Clause Grammars for Language Analysis - a Survey of the Formallism and a Comparison with Augmented Transition Networks[J ]. Artificial Intelligence, 1980, vol 13. pp. 231-278.
8[2]KAUTZ H.A Formal Theory of Plan Recognition[D].PhD thesis,University of Rochester,1987.
9[3]CAMILLERI G.A Generic Formal Plan Recognition Theory[C]Proceedings of IEEE International Conference on Information,Intelligence and Systems ICIIS'99,1999,540-547.
