Back Article

Aben M, 1993. “Formally specifying reusable knowledge model components” Knowledge Acquisition5119–141.

Aben M, 1995. Formal methods in knowledge engineering. PhD thesis, Universiteit van Amsterdam.

Albert P, Corby O, Gobinet P and Neveu B, 1992. Langage de spécification de la communication et du contrôle dans un blackboard, Rapport intermédiaire No III.1 du contrat l.91.E117, DRET-ILOG-INRIA.

Aitken S, Reichgelt H and Shadbolt N, 1992. Representing KADS models in QI. Technical report, Al Group, 0527–31, University of Nottingham.

Breuker J and Van de Velde W, 1994. Common KADS Library for Expertise Modelling. IOS Press.

Bidiot M, 1989. Pluss, un langage pour le développement de spécifications algébriques modulaires. PhD thesis, Université de Paris-Sud.

Brachman RJ and Schmolze JG, 1985. An overview of the KL-ONE knowledge representation system. Cognitive Science9171–216.

Capy F, 1987. ASSPEGIQUE: un environnement d'exeptions… Une semantique operationnelle des eralgebres, formalisme prenant en compte les exeptions. un environnement integre de specification algebrique: asspegique. PhD thesis, Université Paris-Sud.

Chandrasekaran B, 1988. Generic tasks as building blocks for knowledge-based-reasoning: the diagnosis and routine design exemples. Knowledge Engineering Review3 (3).

McDermott J, 1988. Preliminary steps towards a taxinomy of problem solving methods. In: Marcus S., (ed.), Automating Knowledge Acquisition for Expert Systems, 225–255, Kluwer Academic.

Fensel D, Angele J and Landes D, 1991. “A knowledge acquisition and representation languages”. In: Proc. Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques and Methods, Avignon, France, 0527–31.

Fensel D, 1995. “Formal specification languages in knowledge and software engineering”. The Knowledge Engineering Review10 (4) 361–404, 12.

Fensel D, 1995. The Knowledge Acquisition and Representation Language KARL, Kluwer Academic.

Fensel D and van Harmelen F, 1994. “A comparison of langages which operationalise and formalise KADS models of expertise”. The Knowledge Engineering Review.

Gaudel MC, 1884. “A first introduction to PLUSS”. In: METEOR Report, 493–510, 12.

Gaudel MC, 1985. “Towards structured algebraic specifications”. In ESPRIT'85 Status Report, North Holland, 0923–25.

Gaudel MC, 1990. Algebraic specifications. Rapport 557, LRI, University Paris Sud.

Gaudel MC, 1994. “Formal specification techniques, invited state-of-the-art report, extended abstract”. In: IEEE-ACM International Conference on Software Engineering, 223–227.

Gaudel MC, 1992. “Test selection based on ADT specification”. In: IWPT92, Wiley.

Harel D, 1984. Handbook of Philosophical Logic, volume II: Extensions of Classical Logic, Chapter “Dynamic Logic”, Reidel.

Van Harmelen F and Balder F, 1992. “(ML)²: A formal language for KADS models of expertise”. Knowledge Acquisition4127–161.

Hayes-Roth B, 1985. “A blackboard architecture for control”. Artificial Intelligence26251–321.

Jonker W and Spee J, 1992. “Yet another formalisation of KADS conceptual models”. In: Wetter Tet al. (eds), Proceedings of the 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKA W-92), 211–229.

Kaplan S, 1987. Spécification algébrique de types de données à accès concurrent. PhD thesis, Université de Paris-Sud.

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”. In: Proceedings of the 2nd Japaneses Knowledge Acquisition for Knowledge-Based Systems Workshop, Hatayoama, Japan.

Marre B, 1991. “Toward automatic test data set selection using algebraic specifications and logic programming”. In: Proceedings of the Eighth International Conference, 202–221, MIT Press.

Marre B, 1991. Une méthode et un outil d'assistance a la sélection de jeux de tests à partir de spécifications algébriques. PhD thesis, Université de Paris-Sud.

Musen MA, 1989. Automated Generation of Model-Based Knowledge-Acquisition Tools. Research Notes in Artificial Intelligence, Pitman.

Newell A, 1982. “The knowledge level”. Artificial Intelligence1835–418, 87–1273.

Orejas F, Navarro M and Sanchez A, 1992. Algebraic implementation of abstract data types: a survey. In: Proceedings 8 WADT 3rd COMPASS Workshop, Dourdan, France

Pierret-Golbreich C, 1994. “Task model: a framework for the design of models of expertise and their operationalization”. In: Proceedings Knowledge Acquisition Workshop, Banf, Canada.

Pierret-Golbreich C., 1996. “Correction of methods w.r.t problems specifications”. In: ECAI-96 Workshop “Validation, Verfication and Refinements of KBS”.

Pierret-Golbreich C, 1996. “Modular and reusable specifications in knowledge engineering: formal specification of goals and their development”. In: 6th Workshop on Knowledge Engineering Methods and Languages, Paris, France.

Pierret-Golbreich C and Talon X, 1994. “Specifications formelles des connaissances pour l'acquisition: une approche basée sur les types abstraits algébriques”. Unpublished.

Steels L, 1990. “Components of expertise”. AI Magazine.

Terry A, 1983. “The crysalis project: Hierarchical control of production systems. Technical Report HPP–83– 19, Stanford University.

Treur J and Wetter T, 1993. Formal Specification of Complex Reasoning Systems. Ellis Horwood.

van Langevelde IA, Philipsen AW and Treuer J, 1992. “Formal specification of compositional architectures”. In: Proceedings of the 10th European Conference, ECAI'92, 272–276, Wiley.

van Harmelen F and Fensel D, 1995. “Formal methods in knowledge engineering”. The Knowledge Engineering Review10 (4) 345–360, 12.

van Langevelde I, Philipsen A and Treur J, 1992. “Formal specification of compositional architectures”. In: Proceedings of the 10th European Conference on Artifical Intelligence (ECAI 92), Vienna, Austria.

van Langevelde I, Philipsen A and Treur J, 1993. “Formal specification of complex reasoning systems” In: A Compositional Architecture For Simple Design Formally Specified in DESIRE, Ellis Horwood.

Wielinga B, Van de Velde W, Schreiber G and Akkermans H, 1993. Expertise Model Definition Document, University of Amsterdam.

Wetter T and Schmidt W, 1991. “Formalisation of the KADS interpretation models”. In: Proceedings of the 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behavior (AISB'91), Springer-Verlag.

Wielinga B, Schreiber G and Breuker J, 1992. “KADS: A modelling approach to knowledge engineering”. Knowledge Acquisition Journal4 (1) 1–162.