Richard A. Frost Formalising the Notion of Semantic Integrity in Database and Knowledge Base Systems Work. [Citation Graph (1, 0)][DBLP] BNCOD, 1986, pp:105-127 [Conf]
Richard A. Frost A Natural-Language Speech Interface Constructed Entirely as a Set of Executable Specifications. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1999, pp:908-909 [Conf]
Richard A. Frost Monadic Memoization towards Correctness-Preserving Reduction of Search. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2003, pp:66-80 [Conf]
Richard A. Frost, Pierre Boulos An Efficient Compositional Semantics for Natural-Language Database Queries with Arbitrarily-Nested Quantification and Negation. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2002, pp:252-267 [Conf]
Maxim Roy, Richard A. Frost Extending Montague Semantics for Use in Natural-Language Database-Query Processing. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2004, pp:567-568 [Conf]
Yue Shi, Richard A. Frost An Investigation of Grammar Design in Natural-Language Speech Recognition. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2004, pp:569-570 [Conf]
Li Su, Richard A. Frost A Novel Use of VXML to Construct a Speech Browser for a Public-Domain SpeechWeb. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2005, pp:401-405 [Conf]
Richard A. Frost W/AGE : The Windsor Attribute Grammar Programming Environment. [Citation Graph (0, 0)][DBLP] IEEE Symposia on Human Centric Computing Languages and Environments, 2002, pp:96-98 [Conf]
Richard A. Frost, S. Karamatos Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language. [Citation Graph (0, 0)][DBLP] Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:278-295 [Conf]
Richard A. Frost Using Semantic Concepts to Characterise Various Knowledge Representation Formalisms: A Method of Facilitating the Interface of Knowledge Base System Components. [Citation Graph (0, 0)][DBLP] Comput. J., 1985, v:28, n:2, pp:112-116 [Journal]
Richard A. Frost Realization of natural language interfaces using lazy functional programming. [Citation Graph (0, 0)][DBLP] ACM Comput. Surv., 2006, v:38, n:4, pp:- [Journal]
Richard A. Frost, Walid S. Saba A Database Interface Based on Montague's Approach to the Interpretation of Natural Language. [Citation Graph (0, 0)][DBLP] International Journal of Man-Machine Studies, 1990, v:33, n:2, pp:149-176 [Journal]
Richard A. Frost Application programming as the construction of language interpreters. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1989, v:24, n:9, pp:142-151 [Journal]
Richard A. Frost Guarded attribute grammars: top down parsing and left recursive productions. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1992, v:27, n:6, pp:72-75 [Journal]
Richard A. Frost Using Memoization to Achieve Polynomial Complexity of Purely Functional Executable Specifications of Non-Deterministic Top-Down Parsers. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1994, v:29, n:4, pp:23-30 [Journal]