Fikes, R.

Fikes, R.



Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]

KSL-06-07
Makarios, S.; Heuer, K.; Fikes, R. Computational Context Logic and Species of $ist$. 2006.

KSL-06-12
Zeng, H.; Alhossaini, M.; Ding, L.; Fikes, R.; McGuinness, D.L. Computing Trust from Revision History. The 2006 International Conference on Privacy, Security and Trust (PST 2006) Markham, Ontario, Canada October 30 -- November 1, 2006.

KSL-06-16
Zeng, H.; Alhossaini, M.; Fikes, R.; McGuinness, D.L. Mining Revision History to Assess Trustworthiness of Article Fragments. The 2nd International Conference on Collaborative Computing: Networking, Applications and Worksharing (collaboratecom'06) Atlanta, Georgia, USA, November 17th - 20th, 2006.

KSL-05-01
Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; Fikes, R.; & Deshwal, P. Towards Checking Hybrid Proofs. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.

KSL-05-04
Zeng, H.; Fikes, R. Explaining Data Incompleteness in Knowledge Aggregation. Technical Report, Knowledge Systems, AI Laboratory, Stanford University. 2005.

KSL-05-05
Welty, C.; Murdock, J. W.; Pinheiro da Silva, P.; McGuinness, D.L.; Ferrucci, D.; Fikes, R. Tracking Information Extraction from Intelligence Documents. In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), McLean, VA, USA, 2-6 May, 2005. 2005.

KSL-05-07
Zeng, H.; Fikes, R. Extracting Assumptions from Missing Data. Context representation and reasoning 2005, proceedings of the first international workshop 2005.

KSL-05-08
Zeng, H.; McGuinness, D.L.; Pinheiro da Silva, P.; Fikes, R. Explaining Results from Information Retrieval and Integration. International Symposium on Explanation-aware Computing, AAAI Symposium, Washington, D.C., November 3-6, 2005 2005.

KSL-04-01
Pinheiro da Silva, P.; McGuinness, D. L.; & Fikes, R. E. A Proof Markup Language for Semantic Web Services. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004.

KSL-04-04
Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; & Fikes, R. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004, 2004.

KSL-04-05
Fikes, R. & Makarios, S. KANI Time Ontology. Knowledge Systems Laboratory, June, 2004.

KSL-03-01
Fikes, R.; Jenkins, J.; & Frank, G. JTP: A System Architecture and Component Library for Hybrid Reasoning. Knowledge Systems Laboratory, 2003.

KSL-03-04
Pinheiro da Silva, P.; McGuinness, D.L.; Fikes, R. Combinable Proof Fragments for the Web. Knowledge Systems Laboratory, January, 2003.

KSL-03-05
Fikes, R.; Jenkins, J.; & Zhou, Q. Including Domain-Specific Reasoners with Reusable Ontologies. Knowledge Systems Laboratory, March, 2003.

KSL-03-07
McCool, R.; Fikes, R.; & McGuinness, D. Semantic Web Tools for Enhanced Authoring. KSL, 2003.

KSL-03-14
Fikes, R.; Hayes, P.; & Horrocks, I. OWL-QL - A Language for Deductive Query Answering on the Semantic Web. Knowledge Systems Laboratory, Stanford University, Stanford, CA, 2003.

KSL-03-15
McCool, R.; Fikes, R.; & Guha, R. Semantic Issues in Web-Scale Knowledge Aggregation. Knowledge Systems Laboratory, 2003.

KSL-03-16
Fikes, R.; Marwick, A.; & Thurman, D. Knowledge Associates for Novel Intelligence (KANI). Knowledge Systems Laboratory, October, 2003.

KSL-02-01
Fikes, R.; McGuinness, D.L.; & Waldinger, R. A First-Order Logic Semantics for Semantic Web Markup Languages. Knowledge Systems Laboratory, January, 2002.

KSL-02-05
Fikes, R.; Hayes, P.; & Horrocks, I. DQL - A Query Language for the Semantic Web. Knowledge Systems Laboratory, 2002.

KSL-02-06
McGuinness, D. L.; Fikes, R.; Hendler, J.; & Stein, L. A. DAML+OIL: An Ontology Language for the Semantic Web. IEEE Intelligent Systems, Vol. 17, No. 5, September/October 2002, 2002.

KSL-02-13
McGuinness, D. L.; Fikes, R.; Stein, L. A.; & Hendler, J. DAML-ONT: An Ontology Language for the Semantic Web. In Dieter Fensel, Jim Hendler, Henry Lieberman, and Wolfgang Wahlster, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002, 2002.

KSL-01-01
Fikes, R. & McGuinness, D.L. An Axiomatic Semantics for RDF, RDF Schema, and DAML+OIL. Knowledge Systems Laboratory, January, 2001.

KSL-01-08
McGuinness, D. L.; Fikes, R.; Stein, L. A.; & Hendler, J. DAML-ONT: An Ontology Language for the Semantic Web. Knowledge Systems Laboratory, 2001.

KSL-00-01
Zhou, Q. & Fikes, R. A Reusable Time Ontology. Knowledge Systems Laboratory, February, 2000.

KSL-00-05
Fikes, R. Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases. Knowledge Systems Laboratory, June, 2000.

KSL-00-08
McGuinness, D. L.; Fikes, R.; Rice, J.; & Wilder, S. An Environment for Merging and Testing Large Ontologies. Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, April, 2000.

KSL-00-09
McGuinness, D. L.; Fikes, R.; Rice, J.; & Wilder, S. The Chimaera Ontology Environment. Proceedings of the The Seventeenth National Conference on Artificial Intelligence (AAAI 2000), July 30-August 3, 2000.

KSL-99-11
Sun, Y. & Fikes, R. Creating Open, Sharable XML DTDs for Knowledge Representation And Bringing Enhanced Semantics to XML. Knowledge Systems Laboratory, August, 1999.

KSL-99-17
Fikes, R. & Rice, J. The Stanford KSL Knowledge Base Merging Critical Component Experiment. Knowledge Systems Laboratory, October, 1999.

KSL-98-06
Chaudhri, V. K.; Farquhar, A.; Fikes, R.; Karp, P. D.; & Rice, J. P. Open Knowledge Base Connectivity 2.0. Knowledge Systems Laboratory, January, 1998.

KSL-98-14
Loeser, T.; Iwasaki, Y.; & Fikes, R. Safety Verification Proofs for Physical Systems. Knowledge Systems Laboratory, March, 1998.

KSL-98-16
Frank, G.; Farquhar, A.; & Fikes, R. Building a Large Knowledge Base from a Structured Source: The CIA World Fact Book. Knowledge Systems Laboratory, April, 1998.

KSL-98-17
Iwasaki, Y.; Farquhar, A.; Fikes, R.; & Rice, J. A Web-based Compositional Modeling System for Sharing of Physical Knowledge. Morgan Kaufmann, Nagoya, Japan, 1997.

KSL-98-18
Choueiry, B. Y.; McIlraith, S. A.; Iwasaki, Y.; Loeser, T.; Neller, T.; Engelmore, R.; & Fikes, R. Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems. Knowledge Systems Laboratory, June, 1998.

KSL-98-22
McIlraith, S.; Biswas, G.; Fromherz, M.; Howe, J.; Fikes, R.; Bobrow, D.; Cutkosky, M.; Engelmore, R.; & Neller, T. Model-Enabled Control of Hybrid Systems. Knowledge Systems Laboratory, July, 1998.

KSL-97-02
Fikes, R. & Farquhar, A. Large-Scale Repositories of Highly Expressive Reusable Knowledge. Knowledge Systems Laboratory, April, 1997.

KSL-97-03
Fikes, R.; Farquhar, A.; & Rice, J. Tools for Assembling Modular Ontologies in Ontolingua. Knowledge Systems Laboratory, April, 1997.

KSL-97-05
Chaudhri, V.; Farquhar, A.; Fikes, R.; Karp, P.; & Rice, J. The Generic Frame Protocol 2.0. Knowledge Systems Laboratory, August, 1997.

KSL-96-18
Fikes, R.; Farquhar, A.; & Pratt, W. Information Brokers: Gathering Information from Heterogeneous Information Sources. Eckerd College, Key West, Florida, 1996.

KSL-96-26
Farquhar, A.; Fikes, R.; & Rice, J. The Ontolingua Server: A Tool for Collaborative Ontology Construction. Knowledge Systems Laboratory, September, 1996.

KSL-95-12
Farquhar, A.; Dappert, A.; Fikes, R.; & Pratt, W. Integrating Information Sources Using Context Logic. Knowledge Systems Laboratory, January, 1995.

KSL-95-13
Fikes, R.; Engelmore, R.; Farquhar, A.; & Pratt, W. Network-based Information Brokers. Knowledge Systems Laboratory, January, 1995.

KSL-95-63
Farquhar, A.; Fikes, R.; Pratt, W.; & Rice, J. Collaborative Ontology Construction for Information Integration. Knowledge Systems Laboratory, Department of Computer Science, August, 1995.

KSL-95-76
Levy, A. Y.; Iwasaki, Y.; & Fikes, R. Automated Model Selection for Simulation Based on Relevance Reasoning. Knowledge Systems Laboratory, November, 1995.

KSL-94-10
Iwasaki, Y.; Vescovi, M.; & Fikes, R. A Causal Functional Representation Language with Behavior-Based Semantics. Knowledge Systems Laboratory, February, 1994.

KSL-94-16
Falkenhainer, B.; Farquhar, A.; Bobrow, D.; Fikes, R.; Forbus, K.; Gruber, T.; Iwasaki, Y.; & Kuipers, B. CML: A Compositional Modeling Language. Knowledge Systems Laboratory, September, 1994.

KSL-94-59
Buvac, S. & Fikes, R. A Declarative Formalization of Knowledge Translation. Knowledge Systems Laboratory, August, 1994.

KSL-93-21
Cutkosky, M. R.; Engelmore, R. S.; Fikes, R. E.; Genesereth, M. R.; Gruber, T. R.; Mark, W. S.; Tenenbaum, J. M.; & Weber, J. C. PACT: An Experiment in Integrating Concurrent Engineering Systems. 1993.

KSL-93-22
Neches, R.; Fikes, R.; Finin, T.; Gruber, T. R.; Patil, R.; Senator, T.; & Swartout, W. R. Enabling Technology for Knowledge Sharing. 1993.

KSL-93-23
Patil, R. S.; Fikes, R. E.; Patel-Schneider, P. F.; Mckay, D.; Finin, T.; Gruber, T. R.; & Neches, R. The DARPA Knowledge Sharing Effort: Progress Report. Morgan Kaufmann, Cambridge, MA, 1992.

KSL-93-38
Vescovi, M.; Iwasaki, Y.; Fikes, R.; & Chandrasekaran, B. CFRL: A Language for Specifying the Causal Functionality of Engineering Devices. 1993.

KSL-93-39
Iwasaki, Y.; Fikes, R.; Vescovi, M.; & Chandrasekaran, B. How Things are Intended to Work: Capturing Functional Knowledge in Device Design. 1993.

KSL-93-66
Levy, A. Y.; Fikes, R. E.; & Sagiv, Y. Speeding Up Inferences in Large Knowledge Bases. Knowledge Systems Laboratory, November, 1993.

KSL-93-67
Van Baalen, J. & Fikes, R. E. The Role of Reversible Grammars in Translating Between Representation Languages. Knowledge Systems Laboratory, November, 1993.

KSL-92-86
Genesereth, M. R. & Fikes, R. E. Knowledge Interchange Format, Version 3.0 Reference Manual. Knowledge Systems Laboratory, June, 1992.

KSL-91-70
Fikes, R.; Gruber, T. R.; Iwasaki, Y.; Levy, A.; & Nayak, P. How Things Work Project Overview. Knowledge Systems Laboratory, November, 1991.

KSL-91-71
Fikes, R.; Cutkosky, M.; Gruber, T. R.; & Van Baalen, J. Knowledge Sharing Technology Project Overview. Knowledge Systems Laboratory, November, 1991.


Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]