Subject
Computational Mathematics,Computational Theory and Mathematics,Modeling and Simulation
Reference29 articles.
1. Conceptual Structures;Sowa,1984
2. Krypton: A functional approach to knowledge representation;Brachman;IEEE Computer,1983
3. On the solution of Schubert's steamroller in many sorted logic;Cohn,1985
4. A more expressive formulation of many sorted logic;Cohn;J. Automated Reasoning,1987
5. Knowledge representation and retrieval for natural language processing;Frisch,1982
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献