Charles J. Petrie, Ph.D.

Senior Research Scientist at Stanford CS Logic Group (Retired)
   Picture    Contact Information     Linked-in Profile     Google Scholar Citations

Conference/Workshop/Journal Organization
Selected Publications
Curriculum Vitae


Dr. Petrie was a Founding Member of Technical Staff of the AI Lab founded by Prof. Woody Bledsoe at the Microelectronics and Computer Technology Consortium (MCC) in 1984 (Project Leader of Proteus, the first technology commercialized by MCC), Founding Program Chair of the ICEIMT 1992-1997, one of the earliest editors of the WWW Virtual Library (a precursor of Wikipedia), Founding Editor-in-Chief of IEEE Internet Computing, Founding Executive Director of the Stanford Networking Research Center (2000-2007), and founding Chair of the the Semantic Web Service Challenge (2006-2010). Dr. Petrie has been often asked to write and speak on Internet futures. He edits and writes the Peering column of Internet Computer. He has been a contributor to The Economist.

His general research topic is collective work (see also "Emergent Collectives for Work and Play"), and his research focuses on the use of web services to create and support Virtual Enterprises with Dynamic Web Service Integration. This is summarized as the World Wide Wizard vision and also reflected in the recent talk and paper "The Future of the Internet is Coordination".

He has collaborated with STI Innsbruck and DERI Galway and was an Advisor to SAP's Enterprise Services Community. Dr. Petrie has also consulted with companies such as HP, Siemens, Volkswagen, DaimlerChrysler, CommerceNet, and Commerce One on advanced IT technologies. He has been a member of the Technology Advisory Group of DaimlerChrysler. He has worked on Stanford projects with SAP and some of the POEM project results are now reflected in SAP products. In 2012, he was a Guest Professor at the Karlsruhe Institute of Technology and the University of St. Gallen (HSG). He continued as a Sr. Research Scientist at HSG until 2016.

In addition, until 2017, he was the Operations Manager for the Black Rock Municipal Airport, managing about 300 volunteers. The BRMA, in addition to being a busy airport (approximately 68th in the US for a few days), is also a 2nd gate into the event, running box office, gate, greeting, perimeter/ramp security, and general office functions. He initiated the first airport organization, the Ministry of Customs, and, with other founding volunteers, the first manuals defining the functions of airport roles. The BRMA designated 88NV: an FAA- and Nevada DOT- inspected airport.

Work History

Jun 2018 - present, consultant to Fraunhofer FOKUS, working on the SANCTUM project.

Jan 2013 - 2016, Technical Staff, HSG, working on business innovation using Design Thinking and has lectured on the barriers to innovation in large companies, as well as coaching students in Design Thinking.

Nov-Dec 2012 Guest Professor at the University of St. Gallen. (HSG)

Feb-Oct 2012 Guest Professor at the Karlsruhe Institute of Technology.

2002-2011: Sr. Research Scientist working with Professor Michael Genesereth in the Stanford Computer Science Department. Now official Stanford retiree.

2005-2007: Consulting Associate Professor working with Professor Larry Leifer at the Center for Design Research in a research cooperation with the Volkswagen AutoUni.

1999-2004: Executive Director, 2004-2005 Staff Scientist for the Stanford Networking Research Center. Performed a start-up operation and was within the year the largest research center in the Stanford School of Engineering. After working in this administrative capacity and the organization was mature, he transitioned back to research. As Staff Scientist, he conducted the SNRC Industry Seminar Series

1993-1999: Sr. Research Scientist at the Center for Design Research (CDR) at Stanford. Research interests: agent-based distributed process coordination, with emphasis on concurrent planning and design, using agents with shared models for change propagation. While there, he was also one of the founding council members of the WWW Virtual Library, starting the Mechanical Engineering section.

In cooperation with Professors Larry Leifer and Mark R. Cutkosky, Dr. Petrie was part of the DARPA experiment in distributed engineering: MADEFAST. At the CDR, he implemented a generic process coordination server, called Redux', that forms the basis for a agent-based engineering framework, called ProcessLink, for the coordination of heterogeneous engineering design tools. The first application was a distributed system for the design of aircraft electrical cable systems. The project was design of consumer electronics for Toshiba. A major result of this agent-based engineering work was the JATLite agent infrastructure.

From April, 1984, until September, 1993, Dr. Petrie was Senior Member, Technical Staff, at the Microelectronics and Computer Technology Corporation ( MCC). He was the first person hired by Professor Woody Bledsoe for the AI Lab there, worked for Dr. Elaine Rich, and led the Proteus Project, which developed an advanced hybrid reasoning system and was the first technology to be used commercially by MCC shareholders.

Dr. Petrie is also experienced in technology transfer issues and is the subject of a case study, "Technology Transfer and MCC", in R&D Collaboration on Trial, Gibson, David V. and Rogers, Everett M., Harvard Business School Press, 1994. Dr. Petrie also worked with the MCC EINet project in developing E-commerce technology. He holds a patent for using crytographic techniques for insuring delivery of software products over the Internet (5509071).

Prior to MCC, Dr. Petrie was a project manager for Sperry Univac, and a specialist in performance analysis and benchmarking of mainframes for distributed networked systems and seismic processing.

He has a B.S. in Mathematics from LSU and a M.S. and Ph.D. in Computer Science from the University of Texas at Austin in Austin, Texas. His advisor was Prof. Robert Simmons. He has published extensively in the field of knowledge representation, truth maintenance, constraint satisfaction, and inferencing architectures. He has served and continues as a reviewer, guest editor, and/or program committee member for IEEE, AIEDAM, CERA, AI, AAAI, IJCAI, ECAI, ISWC, and CAIA. He has co-taught ME394: Computational Support for Team Design.

Conference/Workshop/Journal Organization

Selected Publications:

"A New AI", IEEE Internet Computing 25:(2), pp 93-100, March/April 2021. © IEEE
In Chinese, courtesy of Elisa Liang.

"AI Planning Applied to GIS-based Disaster Response", with Agnès Voisard, in Proc. MGIS'19, Chicago, IL, USA, ACM, November 2019.

Web Service Composition, Springer Computer Science, March (2016) ISBN: 978-3-319-32831-7 (978-3-319-32833-1 for e-book)

"How Deutsche Bank's IT Division Used Design Thinking to Achieve Customer Proximity" with Vetterli, Uebernickel, Brenner, and Stermann. In MIS Quarterly Executive ISSN 1540-1960, 15:1 March (2016).

User, Use & Utility Research : The digital user as new design perspective in Business & Information Systems Engineering, Business & Information Systems Engineering BISE (2014).

Automated Configuration Problem Solving, SpringerBriefs in Computer Science, (2012). DOI: 10.1007/978-1-4614-4532-6_1.
Free pre-publication version.

"Enterprise Coordination on the Internet" in Future Internet 3(1), pp. 49-66; DOI:10.3390/fi3010049. Published: 17 February 2011.

"Semantics for Smart Services", with Hochstein and Genesereth. In H. Demirkan, J.C. Spohrer and V. Krishna (eds.), The Science of Service Systems, Springer, pp. 91-105 (2011); DOI: 10.1007/978-1-4419-8270-4.

"Planning Process Instances with Web Services", Proc. ICEIS, 31:41, SciTePress, May 2009.

"Semantic Email Addressing: The Killer App?", with Kassoff, Zen, and Genesereth. IEEE Internet Computing,13:1, 2009.

Semantic Web Services Challenge: Results from the First Year with Margaria, Lausen, and Zaremba (Eds.), Springer Series: Semantic Web and Beyond , 8, 2009, XXII, 290 p., ISBN: 978-0-387-72495-9

"On the Evaluation of Semantic Web Service Frameworks," with Küster, König-Ries, and Klusch, Internat. Journal on Semantic Web and Information Systems, 4:4, IGI Publishing 2008, pp 31-55.

"Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation," , with Henrich et al., Lecture Notes in Computer Science, 3278, p. 159, Springer-Verlag Heidelberg, November 2004.

"Distributed Coordination of Project Schedule Changes using Agent-based Compensatory Negotiation," with Kim et al.,AIEDAM, 2003.

"Service Agents and Virtual Enterprises: A Survey,", with C. Bussler,
IEEE Internet Computing, 7(4), July/August, 2003, pp. 2-12.

"Trust-Based Facilitator: Handling Word-of-Mouth Trust for Agent-Based E-Commerce", C. Ono, S. Nishiyama, K. Kim, B. Paulson, M. Cutkosky, and C. Petrie, Journal of Electronic Commerce Research, 3 (3-4) pp. 478-486, July - October 2003, pp. 201-220.

"Agent-Based Software Engineering"(HTML) (PostScript), Invited talk: PAAM 2000,
Agent-Oriented Software Engineering, Eds P Ciancarini and M. Wooldridge, Lecture Notes in AI 1957, Springer-Verlag, 2001.

"JATLite: A Java Agent Infrastructure with Message Routing" (PostScript), with Jeon, H. and Cutkosky, M. R.,
Internet Computing, 4(2) Mar/Apr 2000.

"Agent-Based Project Management" (HTML), (PostScript) with Goldmann, S., and Raquet, A.,
Lecture Notes in AI 1600, Springer-Verlag, 1999.
A shortened version appeared as "Agent-Based Process Management", (PostScript) with Goldmann, S., and Raquet, A.,
Proc. of the Intnl.Workshop on Intelligent Agnets in CSCW
, , Deutsche Telekom, Dortmound, Sept. 1998, p. 1-17, also
IJCAI Workshop on Workflow and Process Management, Aug., 1999.

"Combining Constraint Propagation and Backtracking
for Distributed Engineering"
, with H. Jeon and M. Cutkosky, Working Notes of the ECAI-96 Workshop on Non-Standard Constraint Processing, 1996. A revised version was published in the notes of AAAI'97 Workshop on Constraints and Agents, AAAI Press, Technical Report WS-97-05, August, 1997.

"Agent-Based Engineering, the Web, and Intelligence", IEEE Expert, 11:6, pp. 24-29, December, 1996.
DOI: 10.1109/64.546579

"Using Pareto Optimality to Coordinate Distributed Agents," with T. Webster and M. Cutkosky, AIEDAM 9, 269-281, 1995.

"Design Space Navigation as a Collaborative Aid," (PostScript) Proc. AI in Design: 3rd Internat. Conf., pp. 611-623, Lausanne, August, 1994.

"The Redux' Server," (PostScript) Proc. Internat. Conf. on Intelligent and Cooperative Information Systems (ICICIS), Rotterdam, May, 1993.

Enterprise Integration Modeling, (ICEIMT) editor, MIT Press, October, 1992.

"A Minimalist Model for Coordination", AAAI-92 Workshop on Design Rationale. Also in Enterprise Integration Modeling.

"Constrained Decision Revision," Proc. AAAI-92.

"Context Maintenance", Proc. AAAI-91.

"A New Notion of CSP Equivalence," with Rossi and Dhar, Proc. ECAI-90, Stockholm, August, 1990.
Also available as the longer MCC Technical Report TR AI-022-89:
"On the Equivalence of Constraint Satisfaction Problems"


IEEE Computer Society, AAAI, and ACM