Next: About this document Up: Knowledge-Base Evolution for Product Previous: Conclusion

References

Amarel1983
S. Amarel. Problems of representation in heuristic problem solving: Related issues in the development of expert systems. In M. Groner, R. Groner, and W. Bischof, editors, Methods of Heuristics, pages 245-350. Erlbaum, Hillsdale, NJ, 1983.

Beeri and Ramakrishnan1991
Catriel Beeri and Raghu Ramakrishnan. On the power of magic. Journal of Logic Programming, 10:255-299, October 1991.

Boley et al.1994
H. Boley, U. Buhrmann, and C. Kremer. Towards a sharable knowledge base on recyclable plastics, January 1994. To appear in: TMS'94 Symposium on Knowledge-Based Applications in Material Science and Engineering, Feb/Mar 1994, San Francisco, USA.

Boley1993
Harold Boley. Towards Evolvable Knowledge Representation for Industrial Applications. In Knut Hinkelmann and Armin Laux, editors, DFKI-Workshop on Knowledge Representation Techniques, number D-93-11, Kaiserslautern, 1993.

Boley1994
Harold Boley. Finite Domains and Exclusions as First-Class Citizens. In Roy Dyckhoff, editor, Fourth International Workshop on Extensions of Logic Programming, St. Andrews, Scotland, 1993, Preprints and Proceedings, LNAI. Springer, March 1994.

Borgida et al.1989
Alexander Borgida, Ronald Brachman, Deborah McGuinness, and Lori Resnick. CLASSIC: A structural data model for objects. In International Conference on Managment on Data. ACM SIGMOD, 1989.

Brachman and Schmolze1985
R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171-216, 1985.

Brachman et al.1990
Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, and Alexander Borgida. Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In Principles of Semantic Networks. J. Sowa Morgan Kaufmann Publishers Inc, June 1990.

Breuer et al.1990
H. Breuer, G. Dupp, and J. Schmitz. Einheitliche Werkstoffdatenbank - eine Idee setzt sich durch. Kunststoffe 80, 11, 1990.

Buchanan1989
B. G. Buchanan. Can machine learning offer anything to expert systems? Machine Learning, 3(4):251-254, 1989.

Buntine1988
W. Buntine. Generalized subsumption and its applications on induction and redundancy. Artificial Intelligence, 36:149-176, 1988.

Burgun and Hinkelmann
Gerhard Burgun and Knut Hinkelmann. In Clemens Beckstein and Ulrich Geske, editors, Entwicklung, Test und Wartung deklarativer KI-Programme, Workshop auf der 18. Jahrestagung für Künstliche Intelligenz (KI-94). GMD-Studien Nr. 238.

Coenen and Bench-Capon1993
Frans Coenen and Trevor Bench-Capon. Maintenance of Knowledge-based Systems. Academic Press, 1993.

Decker1986
Hendrik Decker. Integrity enforcement on deductive databases. In Larry Kerschberg, editor, Proceedings from the 1st International Conference on Expert Database Systems, pages 381-395, Charleston, South Carolina, April 1986. The Benjamin/Cummings Publishing Company, Inc.

Eshghi and Kowalski1989
Kave Eshghi and Robert Kowalski. Abduction compared with negation by failure. In 6th International Conference on Logic Programming (ICLP'89), 1989.

Ginsberg et al.1988
Allen Ginsberg, Sholom M. Weiss, and Peter Politakis. Automatic knowledge base refinement for classification systems. Artificial Intelligence, 35:197-226, 1988.

Hanschke and Meyer1992
Philipp Hanschke and Manfred Meyer. An Alternative to -Subsumption Based on Terminological Reasoning. In Celine Rouveirol, editor, Workshop on Logical Approaches to Machine Learning, ECAI 92, Vienna, August 1992.

Hinkelmann1994
Knut Hinkelmann. A consequence-finding approach for feature recognition in CAPP. In Seventh International Conference on Industrial &Engineering Applications of Artifical Intelligence &Expert Systems (IEA/AIE'94), Austin, Texas, pages 2-11. Gordon and Breach Science Publishers, 1994.

Inoue et al.1993
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, and Makoto Nakashima. Bottom-up Abduction by Model Generation. In Proc. of the 13 IJCAI, pages 102-108, 1993.

Inoue1991
Katsumi Inoue. Consequence-finding based on ordered linear resolution. In Proc. of the 12 IJCAI, Sidney, Australia, 1991.

Jaffar and Lassez1987
Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proc. POPL-87, Munich, Germany, 1987.

Kissinger1993
Christian Kissinger. Einfluss verschiedener Verarbeitungsparameter aus die Plattengrösse und die Formänderungsarbeit 2-dimensionaler verpresster GMT-Halbzeuge. (93-58), 1993.

Krottmaier1991
J. Krottmaier. Versuchsplanung: Der Weg zur Qualitaet des Jahres 2000. Verlag Industrielle Organisation Zuerich, 1991.

Lloyd et al.1987
John W. Lloyd, E. A. Sonenberg, and Rodney W. Topor. Integrity constraint checking in stratified databases. Journal of Logic Programming, 4:331-343, 1987.

Manthey and Bry1987
Rainer Manthey and Francois Bry. SATCHMO: a theorem prover implemented in prolog. In Conference on Automated Deduction, CADE, 1987.

Meyer1994
Manfred Meyer. Issues in Concurrent Knowledge Engineering: Knowledge Sharing and Knowledge Evolution. In Michael Sobolewski, editor, Proceedings First International Conference on Concurrent Engineering, Research and Applications (CERA'94), Pittsburgh. IEEE Computer Press, August 1994.

Mooney and Zelle1994
Raymond J. Mooney and John M. Zelle. Integrating ILP and EBL. SIGART Bulletin, 5(1):12-21, 1994. Special Section on Inductive Logic Programming.

Nicolas1982
Jean-Marie Nicolas. Logic for improving integrity checking in relational data bases. Acta Informatica, 18:227-253, 1982.

Plotkin1970
Gordon D. Plotkin. A note on inductive generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 5, pages 153-163. Elsevier North-Holland, New York, 1970.

Plotkin1971
Gordon D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, University of Edinburgh, 1971.

Reinartz and Schmalhofer1994
Thomas Reinartz and Franz Schmalhofer. An integration of knowledge acquisition techniques and EBL for real-world production planning. Knowledge Acquisition, (6):115-136, June 1994.

Rendell1986
Larry Rendell. A general framework for induction and a study of selective induction. Machine Learning, 1(1):177-226, 1986.

Richards and Mooney1991
Bradley Richards and Raymond J. Mooney. First-order theory revision. Technical Report AI 91-155, The University of Texas at Austin, Artificial Intelligence Laboratory, March 1991.

Robinson1965
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, 12:23-41, 1965.

Sadri and Kowalski1988
Fariba Sadri and Robert Kowalski. A theorem-proving approach to database integrity. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 313-362. Morgan Kaufmann Publishers, Inc., Los Altos, CA, 1988.

Schmalhofer and Tschaitschian1993
F. Schmalhofer and B. Tschaitschian. The acquisition of a procedure schema from text and experiences. In Proceedings of the 15th Annual Conference of the Cognitive Science Society, pages 883-888, June 1993.

Schmalhofer et al.in press
Franz Schmalhofer, Thomas Reinartz, and Bidjan Tschaitschian. A unified approch to learning in complex real world domains. Applied Artificial Intelligence, in press.

Smolka1989
G. Smolka. Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, University of Kaiserslautern, Germany, May 1989.

Stickel1991
Mark E. Stickel. Upside-down meta-interpretation for the model-elimination theorem-proving procedure for deduction and abduction. Technical Report TR-664, ICOT, July 1991.

Tecuci and Kodratoff1990
G. Tecuci and Y. Kodratoff. Apprenticeship learning in imperfect domain theories. In Y. Kodratoff and R. S. Michalski, editors, Machine Learning: An artificial intelligence approach, volume 3, pages 514-551. Morgan Kaufmann, San Mateo, CA, 1990.


Harold Boley, Stefani Possner, Franz Schmalhofer (possner@dfki.uni-kl.de)