skip to content

Petrie, Charles J.

Overview
Works: 16 works in 33 publications in 2 languages and 653 library holdings
Genres: Conference proceedings 
Roles: Author, Editor
Classifications: TK5105.88815, 025.04
Publication Timeline
Key
Publications about Charles J Petrie
Publications by Charles J Petrie
Most widely held works by Charles J Petrie
Automated configuration problem solving by Charles J Petrie( file )
7 editions published in 2012 in English and held by 394 libraries worldwide
Annotation
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 236 libraries worldwide
Semantic Web Services Challenge results from the first year by Ramesh Jain( Book )
2 editions published between 2008 and 2009 in English and held by 7 libraries worldwide
Service-Oriented Computing is one of the most promising software engineering trends because of the potential to reduce the programming effort for future distributed industrial systems. However, only a small part of this potential rests on the standardization of tools offered by the web services stack. The larger part of this potential rests upon the development of sufficient semantics to automate service orchestration. Currently there are many different approaches to semantic web service descriptions and many frameworks built around them. A common understanding, evaluation scheme, and test bed to compare and classify these frameworks in terms of their capabilities and shortcomings, is necessary to make progress in developing the full potential of Service-Oriented Computing. The Semantic Web Services Challenge is an open source initiative that provides a public evaluation and certification of multiple frameworks on common industrially-relevant problem sets. This edited volume reports on the first results in developing common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. Semantic Web Services Challenge: Results from the First Year is designed for a professional audience composed of practitioners and researchers in industry. Professionals can use this book to evaluate SWS technology for their potential practical use. The book is also suitable for advanced-level students in computer science
New algorithms for dependency-directed backtracking by Charles J Petrie( Archival Material )
3 editions published in 1986 in English and held by 6 libraries worldwide
Abstract: "The problem of providing dependency-directed backtracking in a Doyle-style Truth Maintenance System (TMS) is solved with three algorithms. The first modifies Doyle's basic algorithm by eliminating the necessity for conditional proof justifications. Unlike other attempts to do so, this method maintains the capability of the TMS to provide complete explanations from justifications. The second algorithm, which eliminates the generation of a maximal assumption set, provides a novel description of backtracking as a simple search. Finally, an extension of this algorithm allows contradiction resolution to be extended as an inference technique for expert systems
Center for Design Research (CDR) Manufacturing Automation and Design Engineering (MADEFAST) Project by Charles J Petrie( file )
in English and held by 1 library 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
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
A diffusing computation for truth maintenance by Charles J Petrie( Book )
1 edition published in 1985 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."
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
Extended contradiction resolution by Charles J Petrie( Book )
1 edition published in 1986 in Undetermined 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
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
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."
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 J 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
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Petrie, Charles, 1948-
Languages
English (30)
German (1)
Covers
Close Window

Please sign in to WorldCat 

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