skip to content

Petrie, Charles J.

Overview
Works: 19 works in 37 publications in 2 languages and 687 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: T58.6, 658.4038
Publication Timeline
Key
Publications about Charles J Petrie
Publications by Charles J Petrie
Most widely held works by Charles J Petrie
Enterprise integration modeling : proceedings of the first international conference by International conference on Enterprise integration modeling technology( Book )
8 editions published in 1992 in English and held by 163 libraries worldwide
Automated configuration problem solving by Charles J Petrie( file )
9 editions published in 2012 in English and held by 40 libraries worldwide
Annotation. Automated Configuration has long been the subject of intensive research, especially in Artificial Intelligence. It is a pervasive problem to be solved, and it is a good test of various knowledge representation and reasoning techniques. The problem shows up in applications such as various electrical circuit design, utility computing and even concurrent engineering. Automated Configuration Problem Solving defines the ubiquitous problem, illustrates the various solution techniques, and includes a survey using these techniques from the mid-70's until the mid-90's. During this time, various general approaches were developed, and then become more specialized. This book covers the development of the general problem solving techniques for automated configuration, which are based on both published academic work and patents
Semantic Web Services Challenge : results from the first year by Ramesh Jain( Book )
1 edition published in 2009 in English and held by 6 libraries worldwide
Develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. This book is designed for a professional audience composed of practitioners and researchers in industry
New algorithms for dependency-directed backtracking by Charles J Petrie( Archival Material )
3 editions published in 1986 in English and held by 5 libraries worldwide
The dependency-directed backtracking algorithms presented are also the first to correctly ensure that an assertion is not justified unnecessarily and that unsatisfiable circularities are not created."
JATLite : a java agent infrastructure with message routing by Heecheol Jeon( Article )
1 edition published in 2000 in English and held by 1 library worldwide
Extraction of expert system rules from text by Charles J Petrie( Book )
1 edition published in 1985 in English and held by 1 library worldwide
Using explicit contradictions to provide explanations in a TMS by Charles J Petrie( Book )
1 edition published in 1985 in English and held by 1 library worldwide
Proteus : a default reasoning perspective by Charles J Petrie( Book )
2 editions published in 1986 in Undetermined and English and held by 1 library worldwide
Extended contradiction resolution by Charles J Petrie( Book )
1 edition published in 1986 in Undetermined and held by 1 library worldwide
Service agents and virtual enterprises : a survey by Charles J Petrie( Article )
1 edition published in 2003 in English and held by 1 library worldwide
Controlling forward rule instances by Charles J Petrie( Book )
1 edition published in 1988 in English and held by 1 library worldwide
However, such metarules present a special problem for systems that allow side-effecting operations in the antecedents of forward rules. We propose a solution for such systems that allows control of forward rule instances by explicit reasoning."
Agent-based engineering, the web, and intelligence by Charles J Petrie( Article )
1 edition published in 1996 in English and held by 1 library worldwide
A diffusing computation for truth maintenance by Charles J Petrie( Book )
1 edition published in 1985 in English and held by 1 library worldwide
Planning and replanning with truth maintenance by Charles J Petrie( Archival Material )
1 edition published in 1991 in English and held by 1 library worldwide
Artificial intelligence research at MCC : a 1988 snapshot by Charles J Petrie( Book )
1 edition published in 1988 in English and held by 1 library worldwide
Abstract: "MCC is a research consortium currently organized into four major funding programs. Less than one third of one of these programs is specifically devoted to AI research, yet it is of fundamental importance to both the Computer Aided Design (CAD) and Software Technology (ST) Programs, and pervades the Advanced Computer Architecture (ACA) Program. We give a brief survey of AI work in the CAD, ST, and ACA Programs. This paper focuses on the Expert System Technology (EST) Project within the ACA AI Lab."
Future of the Internet: Coordinating Collective Work ( Book )
1 edition published in 2013 in German and held by 1 library worldwide
Revised dependency-directed backtracking for default reasoning by Charles Petrie( Book )
1 edition published in 1987 in English and held by 0 libraries worldwide
Context maintenance by Charles J Petrie( Book )
1 edition published in 1991 in English and held by 0 libraries worldwide
Center for Design Research (CDR) Manufacturing Automation and Design Engineering (MADEFAST) Project by Charles J Petrie( file )
in English and held by 0 libraries worldwide
Presents the Center for Design Research (CDR) MADEFAST (Manufacturing Automation and Design Engineering) project. MADEFAST is an ARPA SISTO-sponsored project, administered with the assistance of the National Institute of Standards and Technology (NIST), to demonstrate technology developed under the MADE program. Discusses the program's objectives, design information, and process information. Links to other MADEFAST home pages
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Petrie, Charles, 1948-
Languages
English (34)
German (1)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.