Richard Fikes
From Tetherless World Wiki
| Richard Fikes [ Edit ] | |
|---|---|
| Photo: |
|
| Name: | Richard Fikes |
| Occupation: | |
| Affiliation(s): | |
| Homepage(s): | |
| Email(s): | |
| Phone: | |
| Fax: | |
| Interests: | |
| Other tags: | |
| Alias: | |
| Please also add"{{alias}}" to your alias pages. | |
Publication
- José Luis Ambite, Vinay K. Chaudhri, Richard Fikes, Jessica Jenkins, Sunil Mishra, Maria Muslea, Tomás E. Uribe, Guizhen Yang. Design and Implementation of the CALO Query Manager, In AAAI, , 2006 (Download) .
- Honglei Zeng, Maher A. Alhossaini, Li Ding, Richard Fikes, Deborah L. McGuinness. Computing trust from revision history, In PST, pp. 8, 2006 .
- Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. A proof markup language for Semantic Web services, In Inf. Syst., 31(4-5):381-395, 2006 .
- Richard Fikes, Patrick J. Hayes, Ian Horrocks. OWL-QL - a language for deductive query answering on the Semantic Web, In J. Web Sem., 2(1):19-29, 2004 (Download) .
- Ramanathan V. Guha, Rob McCool, Richard Fikes. Contexts for the Semantic Web, In International Semantic Web Conference, pp. 32-46, 2004 (Download) .
- Deborah L. McGuinness, Richard Fikes, James A. Hendler, Lynn Andrea Stein. IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web, In IEEE Distributed Systems Online, 3(11), 2002 (Download) .
- Richard Fikes. Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases, In KSL-00-05, June,2000 .
- Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice. A Web-Based Compositional Modeling System for Sharing of Physical Knowledge, In IJCAI (1), pp. 494-500, 1997 (Download) .
- Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran. CFRL: A Language for Specifying the Causal Functionality of Engineered Devices, In AAAI, pp. 626-633, 1993 (Download) .
- Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches. The DARPA Knowledge Sharing Effort: A Progress Report, In KR, pp. 777-788, 1992 .
- Richard Fikes. AI and Software Engineering - Managing Exploratory Programming, In AAAI, pp. 1126-1127, 1990 (Download) .
- Robert Nado, Richard Fikes. Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults, In AAAI, pp. 443-448, 1987 (Download) .
- Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil. Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?, In AAAI, pp. 1153, 1986 (Download) .
- Ronald J. Brachman, Hector J. Levesque, Richard Fikes. KRYPTON: Integrating Terminology and Assertion, In AAAI, pp. 31-35, 1983 (Download) .
- Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone. RABBIT: An Intelligent Database Assistant, In AAAI, pp. 314-318, 1982 (Download) .
- Richard Fikes, D. Austin Henderson Jr.. On Supporting the Use of Procedures in Office Work, In AAAI, pp. 202-207, 1980 (Download) .
- Richard Fikes, Gary G. Hendrix. A Network-Based Knowledge Representation and Its Natural Deduction System, In IJCAI, pp. 235-246, 1977 (Download) .
- Richard Fikes. Deductive Retrieval Mechanisms for State Description Models, In IJCAI, pp. 99-106, 1975 (Download) .
- Richard Fikes, Nils J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, In IJCAI, pp. 608-620, 1971 (Download) .
External Links
More information on Google, and DBLP
Facts about Richard FikesRDF feed
| Foaf:depiction | Anonymous.png + |
| Foaf:firstName | Richard + |
| Foaf:name | Richard Fikes + |
| Foaf:surname | Fikes + |
| Has identifier | Richard Fikes + |

