转载自: http://www.ksl.stanford.edu/people/sam/ Sheila McIlraith Knowledge Systems Lab Stanford University . Sheila McIlraith is a senior research scientist in the Knowledge Systems Lab, Department of Computer Science at Stanford University. She is the Technical Lead on KSL's DAML-Enabled Web Services Project. She is also the Technical Lead on KSL's NASA Sponsored project on Modeling, Analysis and Control of Hybrid Systems, and on KSL's research effort in Partition-Based Logical Reasoning. Her principal areas of research are: diagnostic problem solving (diagnosis, testing and repair) of discrete and hybrid (discrete + continuous) dynamical systems knowledge representation and reasoning for the semantic web, including ontologies model-based programming of next-generation web agents, and complex NASA space systems detecting and exploiting structure in logical theories to improve the efficiency of reasoning reasoning about action and change mathematical foundations of knowledge representation and reasoning Recently, she has been leading three exciting projects: Building Web service ontologies and Web agents for next-generation semantic Web services Modeling and diagnosing hybrid systems for NASA Detecting and exploiting structure in logical theories to improve the efficiency of reasoning, and for distributed query answering Further Information 500)this.width=500'> Brief Bio 500)this.width=500'> Selected Papers500)this.width=500'> Professional Activities500)this.width=500'> Other Useful Links Workshops I'm co-chairing in 2002 500)this.width=500'> Third International Cognitive Robotics Workshop 500)this.width=500'> E-Services and the Semantic Web Workshop Contact Information Knowledge Systems Laboratory Gates Sciences Building, 2A-248 Stanford University Stanford, CA 94305-9020 Phone: (650) 723-7932Fax: (650) 725-5850E-mail: sam@ksl.stanford.eduURL: http://www.ksl.stanford.edu/people/sam/index.htmlAdmin: Jennifer Espinoza, Phone: (650) 723-1740 Searchable Map of Stanford Campus Last modified: Thu May 1 11:22:13 PDT 2003