(ML)2: A formal language for KADS models of expertise

Akkermans, 1990, A formalisation of knowledge-level models for knowledge acquisition, International Journal of Intelligent Systems Angele, 1991, Sisyphus—no problem with KARL Balder, 1991, TheME: a Theory Manipulation Environment for creating Formal Knowledge Models Bergstra, 1990, Module algebra, Journal of the ACM, 37, 335, 10.1145/77600.77621 Brachman, 1985, An overview of the KL-ONE knowledge representation system, Cognitive Science, 9, 171, 10.1207/s15516709cog0902_1 Bredeweg, 1990, Garp: A unified approach to qualitative reasoning Breuker, 1987 Brogi, 1990, Hierarchies through basic meta-level operators, 381 Chandrasekaran, 1987, Towards a functional architecture for intelligence based on generic information processing tasks, 1183 Cohn, 1985, On the solution of Schubert's steamroller in many sorted logic, 345 Eshelman, 1989, MOLE: A knowledge-acquisition tool for cover-and-differentiate systems, 37 Feferman, 1962, Transfinite Recursive Progressions of Axiomatic Theories, Journal of Symbolic Logic, 27, 259, 10.2307/2964649 Fensel, 1991, Knowledge representation and acquisition language (KARL) Giunchiglia, 1988, Reflection in constructive and non-constructive automated reasoning, 123 Harel, 1984, Dynamic logic, 497 Hayes, 1977, In defence of logic, 556 Jackson, 1989 Karbach, 1990, Model-based approaches: one label—one idea?, 173 Karbach, 1991, Model-K: Prototyping at the knowledge level, 501 Kowalski, 1979, Logic for Problem Solving 1988 McDermott, 1989, Preliminary steps towards a taxonomy of problem-solving methods, 225 Moore, 1982, The role of logic in knowledge representation and common-sense reasoning, 428 Moore, 1984 Musen, 1989, Automated Generation of Model-Based Knowledge-Acquisition Tools Reinders, 1991, A Conceptual Modelling Framework for Knowledge-Level Reflection, 10.3233/AIC-1991-42-305 Sanella, 1983, Structured theories in LCF Schmidt-Schauβ, 1989, Computational Aspects of an Order-Sorted Logic with Term Declarations Schreiber, 1990, Differentiating Problem Solving Methods Smith, 1984, Reflection and semantics in Lisp, 23 Tarski, 1936, Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, 1, 261 Tarski, 1956 ten Teije, 1991, Si(ML)2: A Prototype Interpreter for a Sub-Set of (ML)2 Treur, 1991, On the use of reflection principles in modelling complex reasoning, International journal of Intelligent Systems, 6, 10.1002/int.4550060304 van Harmelen, 1991, Research Notes in AI van Harmelen, 1990, Formal Specifications of Knowledge Models van Harmelen, 1991, (ML)2: A formal language for KADS conceptual models van Harmelen, 1992, Knowledge Acquisition, 4, 10.1016/1042-8143(92)90017-U Walther, 1984, A mechanical solution of Schubert's steamroller by many-sorted resolution, 330 Walther, 1987, A Many-Sorted Calculus Based on Resolution and Paramodulation Wetter, 1990, First-order logic foundation of the KADS conceptual model, 356 Weyhrauch, 1980, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence, 13, 10.1016/0004-3702(80)90015-6 Weyhrauch, 1981, 175 Weyhrauch, 1985, 309 Wielinga, 1992, KADS: A Modelling Approach to Knowledge Engineering, 10.1016/1042-8143(92)90013-Q