Richard Fikes

From Tetherless World Wiki

Jump to: navigation, search
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

Update publication from DBLP

  1. José Luis AmbiteVinay K. ChaudhriRichard FikesJessica JenkinsSunil MishraMaria MusleaTomás E. UribeGuizhen Yang. Design and Implementation of the CALO Query Manager, In AAAI, , 2006 (Download) .
  2. Honglei ZengMaher A. AlhossainiLi DingRichard FikesDeborah L. McGuinness. Computing trust from revision history, In PST, pp. 8, 2006 .
  3. Paulo Pinheiro da SilvaDeborah L. McGuinnessRichard Fikes. A proof markup language for Semantic Web services, In Inf. Syst., 31(4-5):381-395, 2006 .
  4. Richard FikesPatrick J. HayesIan Horrocks. OWL-QL - a language for deductive query answering on the Semantic Web, In J. Web Sem., 2(1):19-29, 2004 (Download) .
  5. Ramanathan V. GuhaRob McCoolRichard Fikes. Contexts for the Semantic Web, In International Semantic Web Conference, pp. 32-46, 2004 (Download) .
  6. Deborah L. McGuinnessRichard FikesJames A. HendlerLynn Andrea Stein. IEEE Intelligent Systems: DAML+OIL: An Ontology Language for the Semantic Web, In IEEE Distributed Systems Online, 3(11), 2002 (Download) .
  7. Richard Fikes. Providing Defaults in the Frames Portion of First-Order Logic Knowledge Bases, In KSL-00-05, June,2000 .
  8. Yumi IwasakiAdam FarquharRichard FikesJames Rice. A Web-Based Compositional Modeling System for Sharing of Physical Knowledge, In IJCAI (1), pp. 494-500, 1997 (Download) .
  9. Marcos VescoviYumi IwasakiRichard FikesB. Chandrasekaran. CFRL: A Language for Specifying the Causal Functionality of Engineered Devices, In AAAI, pp. 626-633, 1993 (Download) .
  10. Ramesh S. PatilRichard FikesPeter F. Patel-SchneiderDonald P. McKayTimothy W. FininThomas R. GruberRobert Neches. The DARPA Knowledge Sharing Effort: A Progress Report, In KR, pp. 777-788, 1992 .
  11. Richard Fikes. AI and Software Engineering - Managing Exploratory Programming, In AAAI, pp. 1126-1127, 1990 (Download) .
  12. Robert NadoRichard Fikes. Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults, In AAAI, pp. 443-448, 1987 (Download) .
  13. Robert NechesRichard FikesCasimir A. KulikowskiJohn P. McDermottRamesh S. Patil. Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?, In AAAI, pp. 1153, 1986 (Download) .
  14. Ronald J. BrachmanHector J. LevesqueRichard Fikes. KRYPTON: Integrating Terminology and Assertion, In AAAI, pp. 31-35, 1983 (Download) .
  15. Frederich N. TouMichael D. WilliamsRichard FikesD. Austin Henderson Jr.Thomas W. Malone. RABBIT: An Intelligent Database Assistant, In AAAI, pp. 314-318, 1982 (Download) .
  16. Richard FikesD. Austin Henderson Jr.. On Supporting the Use of Procedures in Office Work, In AAAI, pp. 202-207, 1980 (Download) .
  17. Richard FikesGary G. Hendrix. A Network-Based Knowledge Representation and Its Natural Deduction System, In IJCAI, pp. 235-246, 1977 (Download) .
  18. Richard Fikes. Deductive Retrieval Mechanisms for State Description Models, In IJCAI, pp. 99-106, 1975 (Download) .
  19. Richard FikesNils 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  +
Personal tools