|
Aben M, 1992. “Guidelines for the formal specification of KADS models of expertise”. In: Balder J and Akkermans J (eds.), Formal Methods for Knowledge Modelling in the Common KADS Methodology, Netherlands Energy Research Foundation. |
|
Aben M, 1993. “Formally specifying reusable knowledge model components” Knowledge Acquisition Journal, 5(2). |
|
Aben M and van Harmelen. F, 1992. Design and Implementation of Si (ML)22.0, Technical report, KADS-II/ T1.2/SP/UvA/030/2.0, SWI, University of Amsterdam, 10. |
|
ACM SIGSOFT Software Engineering Notes, vol 7, no 5, 1982. |
|
Angele J, Fensel D, Landes D and Studer R, 1991. An assignment problem in Sisyphus – No problem with KARL. In: Linster M (ed.), Sisyphus 91: Models of Problem Solving, GMD, Germany. |
|
Angele J, Fensel D and Landes D, 1992a “Two languages to do the same?” In: Proceedings 2nd Workshop Informationssysteme und Künstliche Intelligenz, 0224–26, Ulm, Informatik-Fachberichte, no 303, Springer;Verlag. |
|
Angele J, Fensel D and Landes D, 1992b. “An executable model at the knowledge level for the office- assignment task”. In: Linster M. (ed.), Sisyphus 92: Models of Problem Solving, GMD, Germany. |
|
Angele J, Fensel D, Landes D, Neubert S and Studer R, 1993. “Model-based and incremental knowledge engineering: The MIKE approach”. In: Cuena J (ed.), Knowledge Oriented Software Design, IFIP Transactions A-27, North Holland. |
|
Angele J, Fensel D and Studer R, 1990. “Applying software engineering methods and techniques to knowledge engineering”. In: Ehrenberg D. (eds.), Wissensbasierte Systeme in der Betriebswirtschaft, Reihe betriebliche Informations- und Kimmunikationssysteme, no 15, Erich Schmidt Verlag. |
|
Angele J, Fensel D and Studer R, 1994. “The model expertise in KARL”. In: Proceedings 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal, 0110–14. |
|
Andrews DJ, Groote JF and Middelburg CA, (eds.), 1993. Preliminary Proceedings of the International Workshop on Semantics of Specification Languages SoSL, Utrecht, The Netherlands, 1025–27. |
|
Akkermans H, van Harmelen F, Schreiber G and Wielinga B, 1993. “A. formalisation of knowledge-level models for knowledge acquisition:. In: International Journal of intelligent Systems, Special Issue on Knowledge Acquisition, no 2, vol 8. |
|
Aitken S, Kühn O, Shadbolt N and Schmalhofer F, 1993. “A conceptual model of hierarchical skeletal planning and it formalization”. In: Proceedings 3rd KADS Meeting, Munich, 038–9. |
|
Alford M, 1990 “SREM at the age of eight; the distributed computing design system”. In: Thayer RH and Dorfman M. (eds.), System and Software Requirements Engineering, IEEE Computer Society Press, pp. 392–402. |
|
Angele J, 1992. “Cover and differentiate remodeled in KARL”. In: Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02 17–18, 1992, GMD report no. 212. |
|
Angele J, 1994. “Operationalisierung des Modells der Expertise in KARL” (Operationalization of a model of expertise in KARL), Infix, St. Augustin (in German). |
|
Aitken S, Reichgelt H and Shadbolt N, 1992. Representing KADS models in OIL, AI Group, University of Nottingham, Working Paper WP-006. |
|
Balder J and Akkermans H, 1992. “TheMe: An environment for building formal KADS-II models of expertise”. In: AI Communications, vol 5, no 3. |
|
Balder J and Akkermans H, (eds.), 1992. “Formal methods for knowledge modelling in the CommonKADS methodology”. A compilation report ECN-C-92–080, Netherlands Energy Research Foundation ECN, ZG Petten, The Netherlands. |
|
Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02 17–18, 1992, GMD report no. 212. |
|
Barbuceanu M, 1993. “Towards integrated knowledge modeling environments”. In: Knowledge Acquisition, vol 5, no 3. |
|
Beeri C, 1990. “A formal approach to object-oriented databases”. In: Data and Knowledge Engineering, vol 5, no 4. |
|
Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R, and Ritchie B, 1993. Proof in VDM: A Practitioner's Guide, Springer Verlag. |
|
Balder J, van Harmelen F and Aben M, 1993. “A KADS/(ML)2 model of a scheduling task”. In: Treur J and Wetter Th (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood. |
|
Bjφrner D, Hoare CAR and Langmaack H (eds.), 1990. VDM'90. VDM and Z–Formal Methods in Software Development, Lecture Notes in Computer Science, no 428, Springer-Verlag. |
|
Brachman RJ, 1979. “On the epistemological status of semantic networks”. In: Findler NV (eds.), Associative Networks: Representation and Use of Knowledge by Computers, Academic Press, New York. |
|
Bredeweg B, Reinders M and Wielinga B, 1990. “GARP: a unified approach to qualitative resasoning”, report VF-memo 117, University of Amsterdam. |
|
Bürsner S and Wetter Th, 1992. “An operational KADS modelling language and tool support for its application. In: Proceedings 7th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'92), Banff, Canada, 10 11–16. |
|
Chandrasekaran B and Johnson TR, 1993. “Generic tasks and task structures: history, critique and new directions”. In: David J-M, Krivine J-P and Simmons R (eds.), Second Generation Expert Systems, Springer-Verlag. |
|
Clancey WJ, 1985. “Heuristic classification”. In: Artificial Intelligence, vol 27. |
|
Clancey WJ, 1992. “Model construction operators”. In: Artificial Intelligence, vol 53, no 1. |
|
Christaller T, di Primo F and Voß A, 1989. Die KI-Werkbank BABYLON (The KI-Tool BABYLON), Assison Wesley, (in Germanm). |
|
Dubois E, Hageistein J and Rifaut A, 1991. “A formal language for the requirements engineering of computer systems”. In: Thayse A (ed), From Natural Language Processing to Logic for Expert Systems, Wiley. |
|
Dijkstra EW, 1976. A Discipline of Programming, Engelwood Cliffs, NJ: Prentice-Hall. |
|
David J-M, Krivine J-P and Simmons R (eds.), 1993. Second Generation Expert Systems, Springer-Verlag. |
|
Drouven U, Karbach W and Voß A, 1992. “Solving the office-allocation task in reflective MODEL-K”. In: Linster M (ed.), Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, 07. |
|
Elmasri R and Navathe SB, 1989. Fundamentals of Database Systems, The Benjamin/Cummings Publishing Company, Houston. |
|
Fensel D, Angele J and Landes D, 1991. “KARL: a knowledge acquisition and representation language”. In: Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques and Methods, 05 27–31, Avignon. |
|
Fensel D, Angele J, Landes D and Studer R, 1993. “Giving structured analysis techniques a formal and operational semantics with KARL. In: Züllighoven H (eds.), Requirements Engineering '93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart. |
|
Fensel D, Eriksson H, Musen MA and Studer R, 1993. “Description and formalization of problem-solving methods for reusability: a case study”. In: Complement Proceedings of the European Knowledge Acquisition Workshop (EKAW'93), Toulouse, France, 09 6–10. |
|
Fensel D, 1993a. “The reconciliation of symbol and knowledge level, research report, Instituts für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, no 266. |
|
Fensel D, 1993b. “The knowledge acquisition and representation language KARL”. PhD thesis, University of Karlsruhe. |
|
Finkelstein A and Potts C, 1987. “Building formal specifications using ‘Structured Common Sense’ ”, In: Proceedings 4th International Workshop on Software Specification and Design, Monterey, California, 04. |
|
Floyd C, 1984. “A systematic look at prototyping”. In: Budde R, (eds.), Approaches to Prototyping, Springer-Verlag. |
|
Greenspan SJ, Borgida A and Mylopoulos J, 1986. “A requirements modeling language and its logic”. In: Information Systems, vol 11, no 1. |
|
Geidel J, 1992. “An environment for modelling and solving optimisation problems”. In: Proceedings 2nd IFIP WG 7.6.-Conference on Optimization-Based Computer Aided Modelling and Design, Schloß Dagstuhl, Germany, 28th 09-1st 10. |
|
de Greef P and Breuker JA, 1992. “Analysing system-user cooperation in KADS. In: Knowledge Acquisition, vol 4, no 1. |
|
van Harmelen F and Balder J, 1992. “(ML)2: a formal language for KADS conceptual models”. In: Knowledge Acquisition, vol 4, no 1. |
|
Harel D, 1984. “Dynamic logic”. In: Gabbay D and Guenthner F (eds.), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic, Reidel. |
|
Herzog O and Rollinger C-R (eds.), 1991. Text Understanding in LILOG, Lecture Notes in Artificial Intelligence, no 546, Springer-Verlag. |
|
Hartmann T, Jungclaus R and Saake G, 1993. “Spezifikation von informationssystemen als objektsystemc: das TROLL-Projekt (Specification of information systems as object systems: the TROLL-Project), Emisa Forum, no 1, (in German). |
|
van Harmelen F, Wielinga B, Bredeweg B, Schreiber G, Karbach W, Reinders M, Voß A, Akkermans JM, Bartsch-Spörl B and Vinkhuyzen E, 1992. “Knowledge-level reflection”. In: Le Pape B (eds.), Enhancing the Knowledge-Engineering Process–Contributions from ESPRIT, Elsevier. IEEE Transactions on Software Engineering, vol 3, no 1. |
|
Jonker W and Spee JW, 1992. “Yet another formalisation of KADS conceptual models. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 05 18–22, Heidelberg/Kaiserslautern, Wetter T (eds.), Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag. |
|
Jonker W, Spee JW, in't Veld L and Koopman M, 1991. “Formal approaches towards design in SE and their role in KBS design”. In: Proceedings of the IJCAI'91 Workshop on Software Engineering for Knowledge-Based Systems, Sydney, Australia, 08 24th. |
|
Karbach W, 1993. MODEL-K: Modellierung und Operationalisierung von Selbsteinschätzung und- Steuerung durch Reflexion und Metawissen. PhD thesis, University of Bielefeld, Germany (in German). |
|
Karbach W and Voß A, 1992. “Reflecting about expert systems in MODEL-K”. In: Proceedings of Expert Systems and their Applications, 12th International Workshop, vol 1 (Scientific Conference), 06 1–6, Avignon. |
|
Karbach W and Voß A, 1993. “MODEL-K for prototyping and strategic reasoning at the knowledge level”. In: David J-M, Krivine J-P and Simmons R (eds.), Second Generation Expert Systems, Springer-Verlag. |
|
Karbach W, Voß R, Schuckey R and Drouven U, 1991. “MODEL-K: prototyping at the knowledge level. In: Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques & Methods, 05 27–31, Avignon. |
|
Keene SE, 1989. Object-Oriented Programming in Common Lisp, Addison-Wesley. |
|
Köppen R, Fensel D and Geidel J, 1992. “Modelling the selection of scheduling algorithms with KARL. In: Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02 17–18, GMD report no 212. |
|
Kifer M and Wu J, 1993. “A logic for programming with complex objects”. To appear in Journal of Computer and Systems Science. |
|
Kühn O, Linster M and Schmidt G, 1992. “Clamping, COKAM, KADS and OMOS: the construction and operationalization of a KADS conceptual model”. In: Linster M (eds.), Proceedings 5th European Knowledge Acquisition Workshop EKAW'91, Crieff, Scotland, 05 20–24, GMD-Studien, no 211, 09. |
|
Kifer M, Lausen G and Wu J, 1993. Logical foundations of object-oriented and frame-based languages, technical report 93/06, Department of Computer Science, SUNY at Stony Brook, NY, 04. To appear in Journal of the ACM. |
|
Kowalczyk W and Treur J, 1990. “On the use of a formalized generic task model in knowledge acquisition”. In: Wielinga B (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam. |
|
Kozen D, 1990. “Logis of programs”. In: van Leeuwen J (ed.), Handbook of Theoretical Computer Science, Elsevier. |
|
Landes D, Fensel D and Angele J, 1993. “Formalizing and operationalizing a design task with KARL”. In: Treur J and Wetter Th. (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood. |
|
Landes D, Hackenberg D and Schweier T, 1992. “An inference structure for a configuration problem. In: Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02. 17–18, 1992, GMD report no. 212. |
|
Linster M, 1992a. “Tackling the office-plan problem with OMOS”. In: Linster M (ed.) Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, 03. |
|
Linster M, 1992b. “Knowledge acquisition based on explicit methods of problem solving”, PhD thesis, University of Kaiserslautern, 02. |
|
Linster M, 1992c. “Linking modeling to make sense and modeling to implement systems in an operational modeling environment”. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 0518–22, Heidelberg/Kaiserslautern, 1992, Wetter T (eds.), Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag. |
|
Linster M, 1992d. “Using the operational modelling language OMOS to tackle the Sisyphus '92 office-planning problem. In: Linster M (ed.), Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, 07. |
|
Linster M (ed.), 1992e. Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, 03. |
|
Linster M (ed.), 1992f. Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, 07. |
|
Linster M.1993. “Using OMOS to represent KADS conceptual models”. In: Schreiber G., Wielinga B and Breuka J. (eds.), KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press. |
|
Linster M, Karbach W, Voß A and Walther J, 1992. “An analysis of the role of operational modelling languages in the development of knowledge-based systems”. Proceedings 2nd Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop (JKAW'1992), Hatoyama, Japan, 119–13. |
|
Linster M and Musen M, 1992. “The inference structure of K-ONCOCIN: skeletal plan refinement”. In: Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02. 17–18, 1992, GMD report no. 212. |
|
Lloyd JW, 1987. Foundations of Logic Programming, 2nd Edition, Springer-Verlag, Berlin. |
|
Lausen G, Nemeth T, Oberweis A, Schönthaler F and Stucky W, 1989. “The INCOME approach for conceptual modelling and prototyping of information systems. In: Proceedings 1st Nordic Conference on Advanced Systems Engineering CASE'89, Stockholm, Sweden, 05 9–11. |
|
van Langevelde I, Philipsen A and Treur J, 1992. “A compositional Architectures”. In: Proceedings 10th European Conference on AI (EAI-92), Vienna, Austria, 08 3–7. |
|
van Langevelde I, Philipsen A and Treur J, 1993. “Formal specification of compositional architecture for simple design formally specified in DESIRE”. In: Treur J and Wetter Th (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood. |
|
Marcus S (ed.), 1988. Automating Knowledge Acquisition for Experts Systems, Kluwer. |
|
Marques D, Dallemagne G, Klinker G, McDermott J and Tung D, 1992. “Easy programming: empowering people to build their own applications”. In: IEEE Expert, vol 7, no 3. |
|
Möller J-U, 1992. “Towards declarative programming in conceptual models”. In: Proceedings 2nd Workshop Inforniationssystem und Künstliche Intelligenz, 02 24–26, Ulm, Informatik Fachbericht, no. 303, Springer-Verlag. |
|
Musen MA, 1989. Automated Generation of Model-Based Knowledge-Acquisition Tools, Morgan Kaufmann. |
|
Neubert S and Maurer F, 1993. “A tool for model based knowledge engineering. In: Proceedings 13th International Conference Al, Expert Systems, Natural Language (Avignon '93), 05 24–28, Avignon. |
|
Newell A, 1982. “The knowledge level”. In: Artificial Intelligence, vol 18. |
|
Puerta AR, Edgar JW, Tu SW and Musen MA, 1992. “A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools”. In: Knowledge Acquisition, vol 4 no 2. |
|
Przymusinski TC, 1988. “On the declarative semantics of deductive databases and logic programs”. In: Minker J (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann. |
|
Schreiber G, Akkermans H and Wielinga B, 1989. “On problems with the knowledge level perspective. In: Proceedings 5th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, 11. |
|
Schreiber G.1992. Pragmatics of the Knowledge Level, PhD thesis, University of Amsterdam. |
|
Shutt RN, 1989. “A rigorous development strategy using the OBJ specification language and the MALPAS progam analysis tool. In: Proceedings 2nd European Software Engineering Conference ESEC'89, Warwick, UK, 09 11–15, 1989, Lecture Notes in Computer Science, vol 387, Springer-Verlag. |
|
Steels L, 1992. “Reusability and configuration of applications by non-programmers”, technical report VUB AI-memo 92–4, Free University of Brussel, Brussels. |
|
Schreiber G, Wielinga B and Akkermans H, 1992. “Differentiating problem solving methods”. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 05 18–22, Heidelberg/Kaiserslautern, Wetter T (eds.), Current Developments in knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag. |
|
Schreiber G, Wielinga B and Breuka J (eds.), 1993. KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press. |
|
Thayer RH and Dorfman M (eds.), 1990. System and Software Requirements Engineering, IEEE Computer Society Press. |
|
Teije At, van Harmelen F and Reinders M, 1991. “Si(ML)2: a prototype interpreter or a subset of (ML)2, ESPRIT project P5248 KADS-II”, report KADS-II/T1.2/TR/UvA/005/1.0, University of Amsterdam. |
|
Treur J and Wetter Th (eds.), 1993. Formal Specification of Complex Reasoning Systems, Ellis Horwood. |
|
Ullman JD, 1988. Principles of Database and Knowledge-Base Systems, vol I, Computer Sciences Press. in't |
|
Veld L, Jonker W and Spee JW, 1993. “The specification of complex reasoning tasks in KBSSF. In: Treur J and Wetter Th (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood. |
|
Voß A, Karbach W, Schuckey R and Drouven U, 1992. “The office planning problem in MODEL-K. In: Linster M (ed.) Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, 03. |
|
Voß A and Karbach W, 1993. “MODEL-K: making KADS run”. In: Schreiber G, Wielinga B, and Breuka J (eds.), 1993. KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press. |
|
Voss H and Voss A, 1993. “Reuse-oriented knowledge engineering with MoMo”. In Proceedings 5th International Conference on Software Engineering and Knowledge Engineering (SEKE'93), San Francisco Bay, 0614–18. |
|
Voß A, Voß H, Walther J and Hemman T, 1993. “Model-driven prototyping—prototyping-driven modelling in knowledge-based system”. In: Züllighoven (eds.), Requirements Engineering '93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart. |
|
Wetter T, 1990. “First order logic foundation of the KADS conceptual model. In: Wielinga B (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam. |
|
Wetter T, 1992. “FORKADS: an executable language for the KADS conceptual and interpretation models”. Habilitationsschrift, University of Kaiserslautern, Germany. |
|
Wetter T and Schmidt W, 1991. “Formalization of the KADS interpretation models”. In: Proceedings 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB91), Leeds, GB, 04 16–19. |
|
Wielinga BJ, Schreiber ATh and Breuker JA, 1992. “KADS: a modelling approach to knowledge engineering”. In: Knowledge Acquisition, vol 4 no 1. |
|
Wielinga BJ, Van de Velde W, Schreiber ATh and Akkermans JM, 1993. “Towards a unification of knowledge modelling approaches”. In: David J-M, Krivine J-P and Simmons R (eds.), Second Generation Expert Systems, Springer-Verlag. |
|
Yourdon E, 1989. Modern Structured Analysis, Prentice-Hall. |
|
Zave P, 1991. “An insider's evaluation of PAISLey”. In: IEEE Transactions on Software Engineering, vol 17, no 3. |