PRUF—a meaning representation language for natural languages
- 1 July 1978
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 10 (4), 395-460
- https://doi.org/10.1016/s0020-7373(78)80003-0
Abstract
No abstract availableKeywords
This publication has 74 references indexed in Scilit:
- Natural language interfacesACM SIGART Bulletin, 1977
- The design and implementation of INGRESACM Transactions on Database Systems, 1976
- TORUS: A step towards bridging the gap between data bases and the casual userInformation Systems, 1976
- A model-theoretic approach to folk taxonomySocial Science Information, 1975
- Attributed translationsJournal of Computer and System Sciences, 1974
- The structure of ill structured problemsArtificial Intelligence, 1973
- The Vienna Definition LanguageACM Computing Surveys, 1972
- Probability and ConditionalsPhilosophy of Science, 1970
- Semantics of context-free languagesTheory of Computing Systems, 1968
- Reasoning with Loose ConceptsDialogue: Canadian Philosophical Review/Revue Canadienne de Philosophie, 1963