KBUP bibliography

Here is the bibtex file containing all the references we have been using in our research concerning 'Knowledge modeling in program supervision' (more info at ORION, and my personal home page). If you have any other or new references in the domain of knowledge based program supervision and software reuse, please mail me at elst@sophia.inria.fr

@ARTICLE{Aben:93a, AUTHOR = {M. Aben}, JOURNAL = {Knowledge Acquisition}, NUMBER = {5}, PAGES = {119-141}, TITLE = {Formally specifying reusable components}, VOLUME = {5}, YEAR = {1993} } @INPROCEEDINGS{Aubry:93, AUTHOR = {F. Aubry and V. Chameroy and F. Lavaire and J.P. Ramond and I.E. Saidane and A. Giron and Y. Bizais and A. Todd-pokropek and R. di Paola}, ADDRESS = {Berlin}, BOOKTITLE = {CAR'93}, PAGES = {264-271}, TITLE = {Medical image management using a semantical description approach: image description}, YEAR = {1993} } @TECHREPORT{Aben:93b, AUTHOR = {M. Aben}, INSTITUTION = {University of Amsterdam}, MONTH = {June 17}, NUMBER = {KADS-II/M2/TR/UvA/041/1.0}, TITLE = {Common{KADS} Inferences}, TYPE = {Internal Document}, YEAR = {1993} } @BOOK{Allen:91, AUTHOR = {J.F. Allen and H.A. Kautz and R.N. Pelavin and J.D. Tenenberg}, PUBLISHER = {Morgan Kaufman Publishers}, TITLE = {Reasoning about plans}, YEAR = {1991} } @TECHREPORT{Allen:92, AUTHOR = {R. Allen and D. Garlan}, ADDRESS = {Pittburg, PA 15213}, INSTITUTION = {Carnegie Mellon University}, MONTH = {July}, NUMBER = {CMU-CS-92-163}, TITLE = {Towards Formalized Software Architectures}, YEAR = {1992} } @INPROCEEDINGS{Angele:91, AUTHOR = {J. Angele and D. Fensel and D. Landes and R. Studer}, ADDRESS = {Banff, Canada}, BOOKTITLE = {Proceedings of the 6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop}, PAGES = {1.1-20}, PUBLISHER = {SRDG Publications, University of Calgary}, TITLE = {{KARL}: An Executable Language for the Conceptual Model}, YEAR = {1991} } @INPROCEEDINGS{Bailey:88, AUTHOR = {D.G. Bailey}, ADDRESS = {Tokyo}, BOOKTITLE = {Proceedings of the IAPR Workshop on Computer Vision - Special Hardware Industrial Applications}, KEY = {Bailey:88}, PAGES = {294-297}, TITLE = {Research on computer-assited generation of image processing algorithms}, YEAR = {1988} } @INCOLLECTION{Baras:92, AUTHOR = {P. Baras and J. Blum and J.C. Paumier and P. Witomski}, BOOKTITLE = {Expert Systems for Scientific Computing}, EDITOR = {E.N. Houstis and J.R. Rice and R. Vichnevetsky}, JOURNAL = {Expert Systems for Scientific Computing}, KEY = {Baras:92}, PAGES = {1-19}, PUBLISHER = {Elsevier Science Publishers B.V. (North-Holland)}, TITLE = {{EVE}: An Object-Centered Knowledge-Based {PDE} Solver}, YEAR = {1992} } @ARTICLE{Batory:92a, AUTHOR = {Don Batory and Sean O'Malley}, JOURNAL = {ACM Transactions on Software Engineering and Methodology}, MONTH = {oct}, NUMBER = {4}, PAGES = {355-398}, TITLE = {The Design and Implementation of Hierarchical Software Systems with Reusable Components}, VOLUME = {1}, YEAR = {1992}, ANNOTE = {type: set of values. ADT: type + operations. Class: ADT in an inheritance lattice. Component: closely-knit cluster of classes that act as a unit. Realm: set of components. Component has an interface and an implementation. Symmetric components have a parameter of the same type as the component, and can hence be combined in arbitrary ways. Some examples.} } @ARTICLE{Batory:92b, AUTHOR = {Don Batory and Vivek Singhal and Marty Sirkin}, JOURNAL = {International Journal of Software Engineering and Knowledge Engineering}, MONTH = {Sep}, NUMBER = {3}, PAGES = {375-402}, TITLE = {Implementing a Domain Model fro Data Structures}, VOLUME = {2}, YEAR = {1992} } @ARTICLE{Batory:94, AUTHOR = {Don Batory and Vivek Singhal and Jeff Thomas and Sankar Dasari and Bart Geraci and Marty Sirkin}, JOURNAL = {IEEE Software}, MONTH = {Sep}, PAGES = {-}, TITLE = {The GenVoca Model of Software-System Generators}, YEAR = {1994} } @INPROCEEDINGS{Benjamins:92, AUTHOR = {R.V. Benjamins and A. Abu-Hanna and W.N.H. Jansweijer}, BOOKTITLE = {12th internation conference Artificial Intelligence, Expert systems, Natural language}, MONTH = {June}, TITLE = {Dynamic method selection in diagnostic reasoning}, YEAR = {1992} } @INCOLLECTION{Biggerstaff:89, AUTHOR = {T. Biggerstaff and C. Richter}, BOOKTITLE = {Frontier Series: Software reusability: Volume I - Concepts and Models}, CHAPTER = {1}, EDITOR = {T.J. Biggerstaff and A.J. Perlis}, PAGES = {1-17}, PUBLISHER = {ACM Press New York}, TITLE = {Reusability framework, assessment, and directions.}, YEAR = {1989} } @INCOLLECTION{Biggerstaff:92, AUTHOR = {T.J. Biggerstaff}, BOOKTITLE = {Advances in Computers}, EDITOR = {M.C. Yovits}, PAGES = {1-57}, PUBLISHER = {Academic Press}, TITLE = {An Assessment and Analysis of Software Reuse}, VOLUME = {34}, YEAR = {1992}, ISSN_ISBN = {0-12-012134-4} } @UNPUBLISHED{Bodington:92, AUTHOR = {R. Bodington and E. Gallier and C. Theot}, MONTH = {January}, NOTE = {DRAFT version}, TITLE = {The Vision System Development Environment ({VSDE}): A software environment for the automatic configuration of inspection systems}, YEAR = {1992} } @INPROCEEDINGS{Bodington:95, AUTHOR = {R. Bodington}, ADDRESS = {Sophia Antipolis, France}, BOOKTITLE = {Proceedings of the International Workshop on Knowledge Based systems for the (re)Use of Program Libraries}, PAGES = {-}, TITLE = {A software environment for the automatic configuration of inspection systems}, YEAR = {1995} } @TECHREPORT{Boerner:92, AUTHOR = {H. Boerner and Kai Pfitzner and H. Strecker}, INSTITUTION = {ESPRIT 2592}, KEY = {Boerner:92}, MONTH = {October 12}, NOTE = {VIDIMUS}, NUMBER = {VID/DLV/PhG/HS921012}, TITLE = {The Common Concept Hierarchy}, YEAR = {1992} } @ARTICLE{Brachman:85, AUTHOR = {R.J. Brachman and J.G. Schmolze}, JOURNAL = {Cognitive Science}, NUMBER = {9}, PAGES = {171-216}, TITLE = {An overview of the {KL-ONE} Knowledge Representation System}, VOLUME = {9}, YEAR = {1985} } @INBOOK{Breuker:91, AUTHOR = {J. Breuker}, CHAPTER = {1 Conceptual Modeling}, MONTH = {February 22}, PAGES = {100 e.v.}, PUBLISHER = {University of Amsterdam}, TITLE = {{KE} syllabus}, YEAR = {1991} } @UNPUBLISHED{Breuker:94, AUTHOR = {J. Breuker}, NOTE = {Submitted to ECAI94}, TITLE = {A suite of problem types}, YEAR = {1994} } @PHDTHESIS{Chaillot:93, AUTHOR = {M. Chaillot}, ADDRESS = {Grenoble}, SCHOOL = {Institut National Polytechnique de Grenoble}, TITLE = {Une architecture de contr\^ole r\'eactif pour la r\'esolution coop\'erative de probl\`emes}, YEAR = {1993} } @INPROCEEDINGS{Chanderasekan:87, AUTHOR = {B. Chanderasekan}, ADDRESS = {Milano}, BOOKTITLE = {Proceedings of the 10th {IJCAI}}, PAGES = {1183-1192}, TITLE = {Towards a functional architecture for intelligence based on generic information processing tasks}, YEAR = {1987} } @INCOLLECTION{Chanderasekan:92, AUTHOR = {B. Chanderasekan and T.R. Johnson}, BOOKTITLE = {Second Generation Expert Systems}, EDITOR = {J. David and J. Krivine and R.Simons}, PAGES = {232-272}, PUBLISHER = {Springer-Verlag}, TITLE = {Generic Tasks and Task Structures: History, Critique and New Directions}, YEAR = {1993} } @ARTICLE{Chanderasekaran:92b, AUTHOR = {B. Chanderasekaran and T.R. Johnson and J.W. Smith}, JOURNAL = {Communications of the ACM}, NUMBER = {35}, PAGES = {124-137}, TITLE = {Task structure analysis for knowledge modelling}, VOLUME = {9}, YEAR = {1992} } @BOOK{Charniak:85, AUTHOR = {E. Charniak and D. McDermott}, PUBLISHER = {Addison-Wesley}, TITLE = {Introduction to Artificial Intelligence}, YEAR = {1985} } @INPROCEEDINGS{Chien:94, AUTHOR = {S. A. Chien}, ADDRESS = {Chicago, IL}, BOOKTITLE = {Proceedings of the Second International Conference on AI Planning Systems}, MONTH = {June}, PAGES = {219-224}, TITLE = {Using {AI} Planning Techniques to Automatically Generate Image Processing Procedures: A Preliminary Report}, YEAR = {1994} } @INPROCEEDINGS{Chien:94b, AUTHOR = {S. A. Chien}, ADDRESS = {Austin, TX}, BOOKTITLE = {Proceedings of First IEEE International Conference on Image processing}, MONTH = {November}, TITLE = {Automated Synthesis of Image Processing Procedures for a Large-scale Image Database}, YEAR = {1994} } @PHDTHESIS{Clement:90a, AUTHOR = {V. Clement}, ADDRESS = {INRIA}, SCHOOL = {Universit\'e de Nice-Sophia Antipolis}, TITLE = {Raisonnements cognitifs appliqu\'es au pilotage d'algorithmes de traitement d'images}, YEAR = {1990} } @ARTICLE{Clement:90b, AUTHOR = {V. Clement and M. Thonnat}, JOURNAL = {Computer Vision Graphics and Image Processing: Image Understanding}, NUMBER = {2}, TITLE = {Integration of image processing procedures: {OCAPI}, a knowledge based approach}, VOLUME = {57}, YEAR = {1993} } @INPROCEEDINGS{Clouard:93, AUTHOR = {R. Clouard and C. Porquet and A. Elmoataz and M. Revenu}, ADDRESS = {Boston}, BOOKTITLE = {SPIE's international symposium: Intelligent Robots and Computer Vision XII}, PAGES = {419-492}, TITLE = {Resolution of image processing problems by dynamic plannig within the framework of the blackboard model}, VOLUME = {2056}, YEAR = {1993} } @PHDTHESIS{Clouard:94, AUTHOR = {R\'egis Clouard}, ADDRESS = {Caen}, SCHOOL = {Universit\'e de Caen}, TITLE = {Raisonnement incr\'emental et opportuniste appliqu\'e \`a la construction dynamique de plans de Traitement d'Images}, YEAR = {1994} } @TECHREPORT{Convent:92, AUTHOR = {B. Convent and R. Gimnich and J. Gunauer and W. Wernecke}, ADDRESS = {Heidelberg, Germany}, INSTITUTION = {IBM Germany Scientific Center}, MONTH = {December}, NUMBER = {TR 75.92.25}, TITLE = {Software Documents Management for Reuse}, YEAR = {1992} } @INPROCEEDINGS{Crubezy:95, AUTHOR = {M. Crub\'ezy and R. Vincent and F. Aubry and J. van den Elst and S. Moisan}, BOOKTITLE = {Proceedings of Eighth Australian Joint Conference on Artificial Intelligence {AI-95}}, PAGES = {?-?}, TITLE = {Program Supervision in Medical Imagery}, YEAR = {1995} } @INCOLLECTION{Curtis:89, AUTHOR = {B. Curtis}, BOOKTITLE = {Frontier Series: Software reusability: Volume II - Applications and Experience}, CHAPTER = {13}, EDITOR = {T.J. Biggerstaff and A.J. Perlis}, PAGES = {269-287}, PUBLISHER = {ACM Press New York}, TITLE = {Cognitive issues in reusing software artifacts}, YEAR = {1989} } @BOOK{Dean:92, AUTHOR = {T.L. Dean and M.P. Wellman}, NOTE = {Keep this ref, it is used once in the text of dissertation.tex}, PUBLISHER = {Morgan Kaufman Publishers}, TITLE = {Planning and control}, YEAR = {1992} } @ARTICLE{Dershowitz:85, AUTHOR = {N. Dershowitz}, JOURNAL = {Artificial Intelligence}, PAGES = {323-373}, TITLE = {Synthetic Programming}, VOLUME = {25}, YEAR = {1985} } @INCOLLECTION{Devanbu:91, AUTHOR = {P. Devanbu and B.W. Ballard and R.J. Brachman and P.G. Selfridge}, BOOKTITLE = {Automating Software Design}, CHAPTER = {2}, EDITOR = {M.R. Lowry and R.D. McCartney}, PAGES = {25-38}, PUBLISHER = {AAAI Press}, TITLE = {La{SSIE}: A Knowledge-Based Software Information System}, YEAR = {1991} } @BOOK{dococapi, AUTHOR = {V. Clement and M. Thonnat and J. van den Elst}, PUBLISHER = {INRIA}, TITLE = {Manuel du logiciel {OCAPI}}, YEAR = {1993} } @INPROCEEDINGS{Doyle:86, AUTHOR = {R.J. Doyle and D.J. Atkinson and R.S. Doshi}, BOOKTITLE = {Proceedings of {AAAI--86}}, PAGES = {81-88}, TITLE = {Generating perception requests and expectations to verify the execution of plans}, YEAR = {1986} } @ARTICLE{Drabble:93, AUTHOR = {B. Drabble}, JOURNAL = {Artificial Intelligence}, PAGES = {1-40}, TITLE = {{EXCALIBUR}, a program for planning and reasoning with processes}, VOLUME = {62}, YEAR = {1993} } @INPROCEEDINGS{Dusink:92, AUTHOR = {E.M. Dusink}, ADDRESS = {Palo Alto, California}, BOOKTITLE = {{WISR}'92 5th annual Workshop on Instutionalizing Software Reuse}, EDITOR = {M. Griss and W. Tracz}, ORGANIZATION = {Hewlett-Packard Laboratories}, TITLE = {Reuse is not done in a vacuum}, YEAR = {1992} } @INPROCEEDINGS{Fensel:91, AUTHOR = {D. Fensel and J. Angele and D. Landes}, ADDRESS = {Avignon, France}, BOOKTITLE = {Proceedings 11th International workshop on expert systems and their applications (Volume: Tools and Techniques)}, MONTH = may, PAGES = {821-833}, TITLE = {Knowledge Representation and Acquisition Language ({KARL})}, YEAR = {1991} } @INPROCEEDINGS{Fensel:93, AUTHOR = {D. Fensel}, BOOKTITLE = {Proceedings of the 6th Annual Workshop on Software Reuse Working Group Reports ({WISR}'93)}, MONTH = {November 2-4}, TITLE = {Reuse of Problem-Solving Methods in Knowledge Engineering}, YEAR = {1993} } @INCOLLECTION{Fickas:89, AUTHOR = {S. Fickas and J.S. Anderson}, BOOKTITLE = {Artificial Intelligence and Software Engineering}, CHAPTER = {26}, EDITOR = {D. Partridge}, PAGES = {535-550}, PUBLISHER = {Ablex}, TITLE = {Proposed Perspective Shift: Viewing Specification design as a Planning Problem}, YEAR = {1989} } @PHDTHESIS{Forte:91, AUTHOR = {A. Forte}, ADDRESS = {Tours}, SCHOOL = {Universite Francois Rabelais}, TITLE = {Syst\`eme bas\'e sur la Connaissance pour l'Identification, la Caract\'erisation et la Mise en correspondance d'entit\'es anatomiques et fonctionelles en Imagerie M\'edicale Multimodalit\'e}, YEAR = {1991} } @ARTICLE{Friedland:85, AUTHOR = {P.E. Friedland and Y. Iwaski}, JOURNAL = {Journal of Automanted Reasoning}, NUMBER = {2}, PAGES = {161-208}, TITLE = {The Concept and Implementation of Skeletal Plans}, VOLUME = {1}, YEAR = {1985} } @INPROCEEDINGS{Georgeff:87, AUTHOR = {M.P. Georgeff and A.L. Lanski}, BOOKTITLE = {Proceedings of {AAAI--87}}, PAGES = {677-682}, TITLE = {Reactive reasoning and planning}, YEAR = {1987} } @INPROCEEDINGS{Ginsberg:91, AUTHOR = {Matthew L. Ginsberg and Donald F. Geddis}, BOOKTITLE = {Proceedings of {AAAI--91}}, TITLE = {Is there any need for domain-dependent control information~?}, YEAR = {1991} } @INPROCEEDINGS{Gong:94, AUTHOR = {L. Gong and C.A. Kulikowski}, ADDRESS = {Piscataway, NJ}, BOOKTITLE = {Proceedings of International Conference Computer Vision and Pattern Recognition}, PAGES = {718-723}, TITLE = {VISIPLAN: A hierarchical planning framework for composing biomedical image analysis processes}, YEAR = {1994} } @ARTICLE{Gong:95, AUTHOR = {L. Gong and C.A. Kulikowski}, JOURNAL = {IEEE transactions on Pattern Analysis and Machine Intelligence}, KEY = {Gong:95}, MONTH = oct, NUMBER = {10}, PAGES = {997-1009}, TITLE = {Composition of Image Analysis Processes Through Object-Centered Hierarchical Planning}, VOLUME = {17}, YEAR = {1995} } @INPROCEEDINGS{Gruber:91, AUTHOR = {T.R. Gruber}, BOOKTITLE = {Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning}, PUBLISHER = {Morgan Kaufmann}, TITLE = {The role of common ontology in achieving sharavle, reusable knowledge bases}, YEAR = {1991} } @TECHREPORT{Harrison:93, AUTHOR = {R. Harrison}, ADDRESS = {Department of Electronics and Computer Science}, INSTITUTION = {University of Southampton}, NUMBER = {CSTR 93-03}, TITLE = {Reusable Software Components through Parameterized Modules and Data Abstraction}, YEAR = {1993} } @BOOK{Haton:91, AUTHOR = {J. Haton and N. Bouzid and F. Charpillet and M. Haton and B. La\^asri and H. La\^asri and P. Marquis and T. Mondot and A. Napoli}, ADDRESS = {Paris}, PUBLISHER = {Intereditions}, TITLE = {Le raissonnement en intelligence artificielle}, YEAR = {1991} } @TECHREPORT{Hoog:92, AUTHOR = {R. de Hoog and R. Martil and B. Wielinga and R. Taylor and C. Bright and W. van de Velde}, INSTITUTION = {University of Amsterdam}, MONTH = {September}, NUMBER = {KADS-II/WP I-II/RR/UvA/018/4.0}, TITLE = {The Common {KADS} model set}, TYPE = {Internal document}, YEAR = {1992} } @INPROCEEDINGS{Kabanza:90, AUTHOR = {F. Kabanza}, BOOKTITLE = {Proceedings of {AAAI--90}}, NOTE = {PhD thesis, University of Li\`ege, 1992, Reactive planning of immediate actions}, PAGES = {164-169}, TITLE = {Synthesis of Reactive Plans for Multi-Path Environments}, YEAR = {1990} } @INCOLLECTION{Kaelbling:90, AUTHOR = {Kaelbling}, BOOKTITLE = {Readings in planning}, EDITOR = {J. Allen and J. Hendler and A. Tate}, PAGES = {713-728}, PUBLISHER = {Morgan-Kaufmann Publishers}, TITLE = {An architecture for intelligent reactive systems}, YEAR = {1990} } @ARTICLE{Kant:84, AUTHOR = {E. Kant and A. Newell}, JOURNAL = {Informaton Processing and Management}, NUMBER = {1}, PAGES = {97-118}, TITLE = {Problem solving techniques for the design of algorithms}, VOLUME = {28}, YEAR = {1984} } @INCOLLECTION{Kant:91, AUTHOR = {E. Kant}, BOOKTITLE = {Artificial Intelligence and Software Engineering}, CHAPTER = {4}, EDITOR = {D. Partridge}, PAGES = {83-114}, PUBLISHER = {Ablex}, TITLE = {Understanding and Automating Algorithm Design}, YEAR = {1991} } @INCOLLECTION{Katz:89, AUTHOR = {S. Katz and C.A. Richter and K. The}, BOOKTITLE = {Frontiers Series: Software reusability: Volume I - Concepts and Models.}, CHAPTER = {10}, EDITOR = {T.J. Biggerstaff and A.J. Perlis}, PAGES = {257-273}, PUBLISHER = {ACM Press New York}, TITLE = {{PARIS}: A system for reusing partially interpreted schemas.}, YEAR = {1989} } @ARTICLE{Klinker:91, AUTHOR = {G. Klinker and C. Bhola and G. Dallemagne and D. Marques and J. McDermott}, JOURNAL = {Knowledge Acquisition}, PAGES = {117-135}, TITLE = {Usable and reusable programming constructs}, VOLUME = {3}, YEAR = {1991} } @INPROCEEDINGS{Kohl:87, AUTHOR = {C.A. Kohl and A.R. Hanson and A.M. Riseman}, BOOKTITLE = {{DARPA} Image understanding workshop}, EDITOR = {M}, PUBLISHER = {Morgan Kaufmann}, TITLE = {Goal-directed control of low-level processes for image interpretation}, YEAR = {1987} } @INCOLLECTION{Kowalski:91, AUTHOR = {R. Kowalski}, BOOKTITLE = {Artificial Intelligence and Software Engineering}, CHAPTER = {15}, EDITOR = {D. Patridge}, PAGES = {339-351}, PUBLISHER = {Ablex}, TITLE = {AI and Software Engineering}, YEAR = {1991} } @ARTICLE{Krueger:92, AUTHOR = {C.W. Krueger}, JOURNAL = {ACM computing Surveys}, NUMBER = {2}, PAGES = {131-183}, TITLE = {Software reuse}, VOLUME = {24}, YEAR = {1992} } @ARTICLE{Laird:87, AUTHOR = {J.E. Laird and A. Newel and P.S. Rosenbloom}, JOURNAL = {Artificial Intelligence}, PAGES = {1-64}, TITLE = {{SOAR}: an architecture for general intelligence}, VOLUME = {33}, YEAR = {1987} } @TECHREPORT{Laruelle:94, AUTHOR = {H. Laruelle and P. R\'egnier and S. Thi\'ebaux}, INSTITUTION = {Institut de Recherche en Informatique de Toulouse (IRIT)}, NUMBER = {94/1/R}, TITLE = {Dossier Plannification et Action}, TYPE = {Rapport IRIT}, YEAR = {1994} } @TECHREPORT{Li:91, AUTHOR = {Haikuan Li}, INSTITUTION = {Delft University of Technology}, KEY = {Li:91}, NUMBER = {91-50}, TITLE = {An introduction to software reuse}, YEAR = {1991}, ISSN_ISBN = {0922-5641} } @INCOLLECTION{Linden:91, AUTHOR = {T.A. Linden}, BOOKTITLE = {Automating Software Design}, CHAPTER = {23}, EDITOR = {M.R. Lowry and R.D. McCartney}, PAGES = {603-625}, PUBLISHER = {AAAI Press}, TITLE = {Representing Software Designs as Partially Developed Plans}, YEAR = {1991} } @TECHREPORT{Linney:91, AUTHOR = {J. Linney}, INSTITUTION = {University of London. Queen Mary and Westfield College. Department of Computer Science}, NUMBER = {TR 560}, TITLE = {Review of reactive planning literature}, YEAR = {1991} } @INCOLLECTION{Lubars:89, AUTHOR = {M.D. Lubars and M.T. Harandi}, BOOKTITLE = {Frontiers Series: Software reusability: Volume I - Concepts and Models.}, CHAPTER = {16}, EDITOR = {T.J. Biggerstaff and A.J. Perlis}, PAGES = {345-377}, PUBLISHER = {ACM Press New York}, TITLE = {Addressing software reuse through knowledge-based design}, YEAR = {1989} } @BOOK{Lucas:88, AUTHOR = {P. Lucas and L.C. van der Gaag}, ADDRESS = {Schoonhoven}, PUBLISHER = {Academic Press}, TITLE = {Pricipes van Expertsystemen}, YEAR = {1988} } @ARTICLE{Mathieu:95, AUTHOR = {S. Mathieu-Marni and S. Moisan and R. Vincent}, JOURNAL = {International Journal of Remote Sensing}, NOTE = {To be published}, TITLE = {A knowledge based system for the determination of land use mixing and the classification of a multi-spectral satellite image}, YEAR = {1995} } @INPROCEEDINGS{Matsuyama:85, AUTHOR = {T. Matsuyama and V. Hwang}, BOOKTITLE = {Proceedings {IJCAI85}}, PAGES = {908-915}, TITLE = {{SIGMA}: A framework for image understanding}, YEAR = {1985} } @ARTICLE{Matsuyama:89, AUTHOR = {T. Matsuyama}, JOURNAL = {Computer Vision Graphics Image Processes}, PAGES = {22-49}, TITLE = {Expert systems for image processing: Knowledge based composition of image analysis processes}, VOLUME = {48}, YEAR = {1989} } @TECHREPORT{Merle:92, AUTHOR = {A. Merle}, INSTITUTION = {ESPRIT 2592}, KEY = {Merle:92}, MONTH = {October 9}, NOTE = {VIDIMUS}, NUMBER = {VID/TR/CEA/AM921009}, TITLE = {The {VSDE}; a critique}, YEAR = {1992} } @INPROCEEDINGS{Mili:94, AUTHOR = {A. Mili and R. Mittermeir}, BOOKTITLE = {16th International Conference on Software Engineering}, PUBLISHER = {IEEE Computer Society Press}, TITLE = {Storing and Retrieving Components: A Refinement Based System}, YEAR = {1994} } @ARTICLE{Minton:94, AUTHOR = {S. Minton and J. Bresina and M. Drummond}, JOURNAL = {Journal of Artificial Intelligence Research}, KEY = {Minton:94}, MONTH = {December}, PAGES = {227-262}, PUBLISHER = {Morgan Kaufmann}, TITLE = {Total-order and Partial-Order Planning: A Comparative Analysis}, VOLUME = {2}, YEAR = {1994} } @INPROCEEDINGS{Moisan:95, AUTHOR = {S. Moisan and R. Vincent and J. van den Elst and F. van Harmelen}, ADDRESS = {Sophia Antipolis, France}, BOOKTITLE = {Proceedings of the International Workshop on Knowledge Based systems for the (re)Use of Program Libraries}, PAGES = {-}, TITLE = {Towards an intelligent failure handling mechanism in program supervision}, YEAR = {1995} } @ARTICLE{Newel:82, AUTHOR = {A. Newel}, JOURNAL = {Artificial Intelligence}, PAGES = {87-127}, TITLE = {The knowledge level}, VOLUME = {18}, YEAR = {1982} } @ARTICLE{Newel:93, AUTHOR = {A. Newel and D. Steier}, JOURNAL = {Artificial Intelligence in Engineering}, NUMBER = {8}, PAGES = {3-21}, TITLE = {Intelligent control of external software systems}, VOLUME = {8}, YEAR = {1993} } @BOOK{Oppenheim:92, AUTHOR = {A.V. Oppenheim and S.W. Nawab}, ADDRESS = {Englewood Cliffs, New Jersey}, NOTE = {ISBN 0-13-880444-3}, PUBLISHER = {Prentice-Hall}, SERIES = {Signal Processing Series}, TITLE = {Symbolic and Knowledge Based Signal Processing}, YEAR = {1992} } @INCOLLECTION{Oskarsson:89, AUTHOR = {O. Oskarsson}, BOOKTITLE = {Frontier Series: Software reusability: Volume II - Applications and Experience}, CHAPTER = {7}, EDITOR = {T.J. Biggerstaff and A.J. Perlis}, PAGES = {143-155}, PUBLISHER = {ACM Press New York}, TITLE = {Reusability of modules with strictly local data and devices - a case study}, YEAR = {1989} } @INPROCEEDINGS{Penix:95, AUTHOR = {J. Penix and P. Alexander}, ADDRESS = {Sophia Antipolis, France}, BOOKTITLE = {Proceedings of the International Workshop on Knowledge Based systems for the (re)Use of Program Libraries}, PAGES = {-}, TITLE = {Design representation for automating software component reuse}, YEAR = {1995} } @ARTICLE{Prieto-Diaz:87, AUTHOR = {R. Prieto-Diaz and P. Freeman}, JOURNAL = {IEEE Software}, PAGES = {6-16}, TITLE = {Classifying Software for Reusability}, VOLUME = {January 1987}, YEAR = {1987} } @ARTICLE{Prieto-Diaz:91, AUTHOR = {R. Prieto-Diaz}, JOURNAL = {Communications of the ACM}, NUMBER = {34}, PAGES = {88-97}, TITLE = {Implementing Facetted Classification for Software Reuse}, VOLUME = {5}, YEAR = {1991} } @ARTICLE{Prieto-Diaz:93, AUTHOR = {R. Prieto-Diaz}, JOURNAL = {IEEE Software}, PAGES = {61-66}, TITLE = {Status report: Software Reusability}, VOLUME = {May 1993}, YEAR = {1993} } @INCOLLECTION{Rattray:91, AUTHOR = {C. Rattray and J. McInnes and A. Reeves and M. Thomas}, BOOKTITLE = {Artificial Intelligence and Software Engineering}, CHAPTER = {3}, EDITOR = {D. Partridge}, PAGES = {61-83}, PUBLISHER = {Ablex}, TITLE = {Understanding and Automating Algorithm Design}, YEAR = {1991} } @INCOLLECTION{Rechenmann:92, AUTHOR = {F. Rechenmann and B. Rousseau}, BOOKTITLE = {Expert Systems for Scientific Computing}, EDITOR = {E.N. Houstis and J.R. Rice and R. Vichnevetsky}, JOURNAL = {Expert Systems for Scientific Computing}, KEY = {Rechenmann:92}, PAGES = {157-173}, PUBLISHER = {Elsevier Science Publishers B.V. (North-Holland)}, TITLE = {A Development Shell for Knowledge-Based Systems in Scientific Computing}, YEAR = {1992} } @INCOLLECTION{Rich:89, AUTHOR = {C. Rich and R.C. Waters}, BOOKTITLE = {Frontier Series: Software reusability: Volume II - Applications and Experience}, CHAPTER = {15}, EDITOR = {T.J. Biggerstaff and A.J. Perlis}, PAGES = {313-343}, PUBLISHER = {ACM Press New York}, TITLE = {Formalizing reusable software components in the programmers apprentice}, YEAR = {1989} } @BOOK{Rumbaugh:91a, AUTHOR = {J. Rumbaugh and M. Blaha and W. Premerlani and F. Eddy and W. Lorensen}, ADDRESS = {Englewood Cliffs, New Jersey}, PUBLISHER = {Prentice Hall}, TITLE = {Object-Oriented Modelling and Design}, YEAR = {1991} } @INPROCEEDINGS{Sacerdoti:75, AUTHOR = {E.D. Sacerdoti}, BOOKTITLE = {Advanced papers of IJCAI-75}, PAGES = {206-214}, TITLE = {The Non-Linear Nature of Plans}, YEAR = {1975}, LOCATION = {Tbilisi, USSR} } @TECHREPORT{Schreiber:93a, AUTHOR = {G. Schreiber and P. Terpstra and P. Magni and M. van Velzen}, INSTITUTION = {University of Amsterdam}, MONTH = {October}, NUMBER = {KADS-II/M2.1/UvA/059/1.0}, TITLE = {Analysing and Implementing {VT} Using Common{KADS}}, TYPE = {Internal document}, YEAR = {1993} } @TECHREPORT{Schreiber:93b, AUTHOR = {G. Schreiber and B. Wielinga and H. Akkermans and W. van der Velde}, INSTITUTION = {University of Amsterdam}, MONTH = {June}, NUMBER = {KADS-II/?/UvA/?}, TITLE = {{CML}: The Common{KADS} Conceptual Modelling Language}, TYPE = {Internal document}, YEAR = {1994} } @TECHREPORT{Schreiber:94a, AUTHOR = {G. Schreiber and B. Wielinga and H. Akkermans and W. van de Velde}, INSTITUTION = {University of Amsterdam}, TITLE = {CML: The CommonKADS Conceptual Modelling Language}, YEAR = {1994} } @ARTICLE{Shekhar:93, AUTHOR = {C.Shekhar and S.Moisan and M. Thonnat}, JOURNAL = {Transactions of International Symposium on Signal Processing, Robotics and Neural Networks}, NOTE = {Accepted for publication}, TITLE = {Towards an intelligent problem-solving environment for signal processing}, YEAR = {1993} } @BOOK{Sherpa:95, AUTHOR = {Sherpa Project}, NOTE = {tropes@imag.fr}, PUBLISHER = {INRIA Rh\^one-Alpes}, TITLE = {{TROPES}1.0 reference manual}, YEAR = {1995} } @INCOLLECTION{Steier:91, AUTHOR = {D. Steier}, BOOKTITLE = {Automating Software Design}, CHAPTER = {22}, EDITOR = {M.R. Lowry and R.D. McCartney}, PAGES = {577-601}, PUBLISHER = {AAAI Press}, TITLE = {Automating Algorithm Design within a General Architecture for Intelligence}, YEAR = {1991} } @INCOLLECTION{Tanaka:90, AUTHOR = {S. Tanaka and A.C. Kak}, BOOKTITLE = {Analysis and interpretation of range images}, EDITOR = {R.C. Jain and A.K. Jain}, PAGES = {133-139}, PUBLISHER = {Springer-Verlag}, TITLE = {A rule-based approach to binocular stereopsis}, YEAR = {1990} } @INCOLLECTION{Tate:90, AUTHOR = {A. Tate and J. Hendler and M. Drummond}, BOOKTITLE = {Readings in planning}, EDITOR = {J. Allen and J. Hendler and A. Tate}, PAGES = {26-49}, PUBLISHER = {Morgan-Kaufmann Publishers}, TITLE = {A Review of {AI} Planning Techniques}, YEAR = {1990} } @ARTICLE{Theot:92, AUTHOR = {C. Theot and E. Gallier and D. Mischler}, JOURNAL = {Revue Technique Thomson-CSF}, KEY = {Theot:92}, NUMBER = {4}, PAGES = {867-886}, TITLE = {{VSDE}, un environment de d\'eveloppement automatis\'e de syt\`emes de vision}, VOLUME = {24}, YEAR = {1992} } @TECHREPORT{Thiebaux:92, AUTHOR = {S. Thi\'ebaux and J. Herzberg}, INSTITUTION = {GMD}, MONTH = {March}, NOTE = {Also in proceedings ofs International Conference on AI Planning Systems (AIPS-92)}, NUMBER = {37}, TITLE = {A Semi-Reactive Planner Based on a Possible Models Action Formalization}, TYPE = {TASSO Report}, YEAR = {1992} } @TECHREPORT{Thiebaux:93, AUTHOR = {S. Thi\'ebaux and J. Herzberg and W. Shoaff and M. Schneider}, INSTITUTION = {ICSI, Berkeley CA}, MONTH = {May}, NUMBER = {TR-93-027}, TITLE = {A Semi-Reactive Planner Based on a Possible Models Action Formalization}, YEAR = {1993} } @ARTICLE{Thonnat:94, AUTHOR = {M. Thonnat and V. Clement and J. van den Elst}, JOURNAL = {Journal of Information Science and Technology}, MONTH = {Jan}, NOTE = {Also in Rapport de Recherche 2000, 1993, INRIA Sophia Antipolis}, NUMBER = {2}, PAGES = {140-163}, TITLE = {Supervision of Perception Tasks for Autonomous Systems: the {OCAPI} approach}, VOLUME = {3}, YEAR = {1994} } @ARTICLE{Thonnat:95, AUTHOR = {M. Thonnat and V. Cl\'ement and J. C. Ossola}, JOURNAL = {Astrophysical Letters and Communication}, NUMBER = {1-6}, TITLE = {Automatic Galaxy Description}, VOLUME = {31}, YEAR = {1995} } @ARTICLE{Tu:92, AUTHOR = {S.W. Tu and Y. Shahar and J. Dawes and J. Winkles and A.R. Puerta and M.A. Musen}, JOURNAL = {Knowledge Acquisition}, NUMBER = {4}, PAGES = {197-216}, TITLE = {A problem-solving model for episodic skeletal-plan refinement}, VOLUME = {5}, YEAR = {1992} } @ARTICLE{Valente:94, AUTHOR = {A. Valente}, JOURNAL = {SIGART Bulletin}, NUMBER = {1}, TITLE = {Knowledge-Level Analysis of Planning Systems}, VOLUME = {6}, YEAR = {1994} } @TECHREPORT{vandenElst:92, AUTHOR = {J. van den Elst}, INSTITUTION = {INRIA and University of Amsterdam}, TITLE = {Semantical integration of image propcessing operators for object detection in road scenes}, YEAR = {1992} } @INPROCEEDINGS{vandenElst:94a, AUTHOR = {J. van den Elst and F. van Harmelen and G. Schreiber and M. Thonnat}, BOOKTITLE = {Sixth International Conference on Software Engineering and Knowledge Engineering}, MONTH = {June}, PAGES = {374-381}, PUBLISHER = {Knowledge Systems Institute}, TITLE = {A functional specification of reusing software components}, YEAR = {1994}, LOCATION = {Jurmala, Latvia}, ISSN_ISBN = {0-9641699-0-8} } @TECHREPORT{vandenElst:94b, AUTHOR = {J. van den Elst and F. van Harmelen and G. Schreiber and M. Thonnat}, INSTITUTION = {INRIA Sophia Antipolis}, NOTE = {To be pulished soon}, TITLE = {A functional specification of {OCAPI}}, TYPE = {Rapport de Recherche}, YEAR = {1994} } @INPROCEEDINGS{vandenElst:95a, AUTHOR = {J. van den Elst and F. van Harmelen and M. Thonnat}, BOOKTITLE = {Seventh International Conference on Software Engineering and Knowledge Engineering}, MONTH = {June}, PAGES = {350-357}, PUBLISHER = {Knowledge Systems Institute}, TITLE = {Modelling software components for reuse}, YEAR = {1995}, LOCATION = {Rockville, Maryland, USA}, ISSN_ISBN = {0-9641699-0-8} } @INCOLLECTION{vanHarmelen:92a, AUTHOR = {F. van Harmelen and B. Wielinga and B. Bredeweg and G. Schreiber and W. Karbach and M. Reinders and A. Vo{\ss} and H. Akkermans and B. Bartsch-Sp{\"{o}}rl and E. Vinkhuyzen}, ADDRESS = {Amsterdam, The Netherlands}, BOOKTITLE = {Enhancing the Knowledge Engineering Process -- Contributions from {ESPRIT}}, EDITOR = {B. Le Pape and L. Steels}, PAGES = {175-204}, PUBLISHER = {Elsevier Science}, TITLE = {Knowledge-Level Reflection}, YEAR = {1992} } @ARTICLE{vanHarmelen:92b, AUTHOR = {F. van Harmelen and J. Balder}, JOURNAL = {Knowledge Acquisition}, NUMBER = {4}, PAGES = {127-161}, TITLE = {({ML})$^2$: A formal language for {KADS} models of expertise}, VOLUME = {4}, YEAR = {1992} } @INPROCEEDINGS{Vogt:86, AUTHOR = {R.C. Vogt}, ADDRESS = {Detroit}, BOOKTITLE = {Proceedings {VISION'86}}, TITLE = {Formalized approaches to image algorithm development using mathematical morphology}, YEAR = {1986} } @BOOK{Vogt:89, AUTHOR = {R.C. Vogt}, PUBLISHER = {Springer-Verlag}, TITLE = {Automatic generation of morphological set recognition algorithms}, YEAR = {1989} } @INCOLLECTION{Weide:91, AUTHOR = {B.W. Weide and W.F. Ogden and S.H. Zweben}, BOOKTITLE = {Advances in computers, vol. 33}, NOTE = {ISBN 0-12-012133-6}, PUBLISHER = {Academic Press}, TITLE = {Reusable Software Components}, YEAR = {1991} } @ARTICLE{Wielinga:92, AUTHOR = {B. Wielinga and A.Th. Schreiber and J.A. Breuker}, JOURNAL = {Knowledge Acquisistion}, PAGES = {5-53}, TITLE = {{KADS}: a modelling approach to knowledge engineering}, VOLUME = {4}, YEAR = {1992} } @TECHREPORT{Wielinga:93a, AUTHOR = {B. Wielinga and W. van de Velde and G. Schreiber and H. Akkermans}, INSTITUTION = {University of Amsterdam}, MONTH = {May}, NUMBER = {KADS-II/M2/UvA/026/1.1}, TITLE = {Expertise model definition document}, TYPE = {Internal document}, YEAR = {1993} } @TECHREPORT{Wielinga:93b, AUTHOR = {B. Wielinga and G. Schreiber}, INSTITUTION = {University of Amsterdam}, MONTH = {October}, NUMBER = {KADS-II/M2.1/UvA/058/1.0}, TITLE = {Reusable and Sharable Knowledge Bases: A European Perspective}, TYPE = {Internal document}, YEAR = {1993} } @TECHREPORT{Wilkins:85, AUTHOR = {D.E. Wilkins}, INSTITUTION = {SRI International}, MONTH = {December}, NUMBER = {TN 370}, TITLE = {Hierarchical planning: Definition and implementation}, TYPE = {Technical Note}, YEAR = {1985} } @ARTICLE{Wilkins:94a, AUTHOR = {D.E. Wilkins and K.L Myers}, JOURNAL = {Journal of Logic and Computation}, KEY = {Wilkins:94}, NOTE = {Accepted, but not yet published}, TITLE = {A Common Knoledge Representation for Plan Generation and Reactive Execution}, YEAR = {1994} } @ARTICLE{Wilkins:94b, AUTHOR = {D.E. Wilkins and K.L Myers and J.D.Lowrance and L.P. Wesley}, JOURNAL = {Journal of Experimental and Theoretical AI}, KEY = {Wilkins:94a}, NOTE = {Accepted, but not yet published}, PAGES = {196-227}, TITLE = {Planning and Reacting in Uncertain and Dynamic Environments}, VOLUME = {6}, YEAR = {1994} } @PHDTHESIS{Willamowski:94, AUTHOR = {J. Willamowski}, ADDRESS = {INRIA}, SCHOOL = {Universit\'e Joseph Fourier - Grenoble 1}, TITLE = {Mod\'elisation de t\^aches pour la r\'esolution de probl\`emes en coop\'eration syst\`eme-utilisateurs}, YEAR = {1994} } @INPROCEEDINGS{Yoshida:85, AUTHOR = {H. Yoshida and H. Kato and M. Sugimoto}, ADDRESS = {Tokyo, Japan}, BOOKTITLE = {Proceedings of the 4th Conference on Logic Programming '85}, MONTH = {July 1-3}, NOTE = {Lecture Notes on Computer Science, no. 221}, PUBLISHER = {Springer-Verlag}, TITLE = {Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae}, YEAR = {1985} } M.D. Johnston, An expert system approach to astronomical data analysis, in Proceedings Goddard Conf. on Space Applications of Artificial Intelligence and Robotics, p.1-17, 1987. T. Matsuyama and V. Hwang, SIGMA: A framework for image understanding, in Proceedings IJCAI 1985, p.908-915, 1985. T. Matsuyama, Expert systems for image processing: Knowledged-based composition of image analysis processes, Comput. Vision Graphics Image Process. 48, p.22-49, 1989. H. Tamura and K. Sakaue, DIA (Digital Image Analysis) - Expert System: an approach to future vision system design, in Int. Symp. on Image Processing and its Applications, Tokyo, 1984. T. Tanaka and N. Sueda, Knowledge acquisition in image processing expert system EXPLAIN, in Proceedings Int. Workshop on Artificial Intelligence for Industrial Applications, Hitachi City, p.114-118, 1988. S. Tanaka and A.C. Kak, A rule-based approach to binocular stereopsis, in Analysis and interpretation of range images (R.C. Jain and A.K. Jain, Ed.), p.133-139, Springer-Verlag, 1990. T. Tori, H. Iwase and M. Yoshida, An Expert System for Image Processing, FUJITSU Sci.Tech.J. 23.2, p.111-118, 1987. R.C. Vogt, Formalized Approaches to Image Algorithm Development Using Mathematical Morphology, in Proceedings VISION'86, Detroit, 1986. R.C. Vogt, Automatic Generation of Morphological Set Recognition Algorithms, Springer-Verlag, 1989.