Knowledge Representation Method Based on Predicate Calculus in an Intelligent CAI System Barbara Begier author 1982 text Coling 1982: Proceedings of the Ninth International Conference on Computational Linguistics conference publication begier-1982-knowledge https://aclanthology.org/C82-1003/ 1982