Knowledge Interchange Format Version 3.0 Reference Manual (1992)

Cached

Download Links

by Michael Genesereth , Richard E. Fikes , Ronald Brachman , Thomas Gruber , Patrick Hayes , Reed Letsinger , Vladimir Lifschitz , Robert Macgregor , John Mccarthy , Peter Norvig , Ramesh Patil
Citations:364 - 11 self

Documents Related by Co-Citation

254 W.R.: Enabling Technology for Knowledge Sharing – R Neches, R Fikes, T Finin, T Gruber, R Patil, T Senator, Swartout - 1991
408 R.: In: Building Large Knowledge-Based Systems – D Lenat, Guha - 1990
1895 A translation approach to portable ontology specifications – Thomas R. Gruber - 1993
23 Knowledge Sharing Technology Project Overview – R Fikes, M Cutkosky, T Gruber, J van Baalen - 1991
14 The Epikit Manual – M R Genesereth - 1990
195 Ontolingua: A Mechanism to Support Portable Ontologies – Thomas R. Gruber - 1992
103 The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases – Thomas R. Gruber - 1991
127 PACT: An Experiment in Integrating Concurrent Engineering Systems – Mark Cutkosky, Robert S. Engelmore, Richard E. Fikes - 1993
117 Knowledge Interchange Format – M Genesereth, R Fikes - 1992
170 Contexts: a formalization and some applications – R V Guha - 1991
124 CYC: Towards programs with common sense – D Lenat, R Guha, K Pittman, D Pratt, M Shepherd - 1990
1360 Some Philosophical Problems from the Standpoint of Artificial Intelligence – John Mccarthy, Patrick J. Hayes - 1969
100 The DARPA Knowledge Sharing Effort: Progress Report – Ramesh Patil, Don Mckay, Tim Finin, Richard Fikes, Thomas Gruber, Peter F. Patel-Schneider, Robert Neches - 1998
647 The knowledge level – A Newell - 1982
60 Concepts, Attributes, and Arbitrary Relations -- Some Linguistic and . . . – Nicola Guarino - 1992
44 The Generic Frame Protocol – Peter D. Karp, Karen L. Myers, Tom Gruber - 1995
979 How to Do Things With Words – John L Austin - 1962
21 Towards a Theory of Access-Limited Logic for Knowledge Representation – J. M. Crawford, Crawford Benjamin Kuipers - 1989
169 The evolving technology of classificationbased knowledge representation systems – R MacGREGOR - 1991