{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:46Z","timestamp":1761620866489},"reference-count":45,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge Acquisition"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1016\/1042-8143(92)90017-u","type":"journal-article","created":{"date-parts":[[2004,8,31]],"date-time":"2004-08-31T18:44:34Z","timestamp":1093977874000},"page":"127-161","source":"Crossref","is-referenced-by-count":58,"title":["(ML)2: A formal language for KADS models of expertise"],"prefix":"10.1016","volume":"4","author":[{"given":"Frank","family":"van Harmelen","sequence":"first","affiliation":[]},{"given":"John","family":"Balder","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/1042-8143(92)90017-U_BIB1","article-title":"A formalisation of knowledge-level models for knowledge acquisition","author":"Akkermans","year":"1990","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/1042-8143(92)90017-U_BIB2","series-title":"Proceedings of the European Knowledge Acquisition Workshop EKAW'91, (Sisyphus Working Papers Part 2)","article-title":"Sisyphus\u2014no problem with KARL","author":"Angele","year":"1991"},{"article-title":"TheME: a Theory Manipulation Environment for creating Formal Knowledge Models","year":"1991","author":"Balder","key":"10.1016\/1042-8143(92)90017-U_BIB3"},{"issue":"2","key":"10.1016\/1042-8143(92)90017-U_BIB4","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/77600.77621","article-title":"Module algebra","volume":"37","author":"Bergstra","year":"1990","journal-title":"Journal of the ACM"},{"key":"10.1016\/1042-8143(92)90017-U_BIB5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","article-title":"An overview of the KL-ONE knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cognitive Science"},{"article-title":"Garp: A unified approach to qualitative reasoning","year":"1990","author":"Bredeweg","key":"10.1016\/1042-8143(92)90017-U_BIB6"},{"year":"1987","author":"Breuker","key":"10.1016\/1042-8143(92)90017-U_BIB7"},{"key":"10.1016\/1042-8143(92)90017-U_BIB8","series-title":"Proceedings of the Second Workshop on Meta-programming in Logic (META'90)","first-page":"381","article-title":"Hierarchies through basic meta-level operators","author":"Brogi","year":"1990"},{"key":"10.1016\/1042-8143(92)90017-U_BIB9","series-title":"Proceedings of the 10th IJCAI","first-page":"1183","article-title":"Towards a functional architecture for intelligence based on generic information processing tasks","author":"Chandrasekaran","year":"1987"},{"key":"10.1016\/1042-8143(92)90017-U_BIB10","series-title":"Proceedings of the Ninth IJCAI","first-page":"345","article-title":"On the solution of Schubert's steamroller in many sorted logic","author":"Cohn","year":"1985"},{"key":"10.1016\/1042-8143(92)90017-U_BIB11","series-title":"Automating Knowledge Acquisition for Expert Systems","first-page":"37","article-title":"MOLE: A knowledge-acquisition tool for cover-and-differentiate systems","author":"Eshelman","year":"1989"},{"issue":"3","key":"10.1016\/1042-8143(92)90017-U_BIB12","doi-asserted-by":"crossref","first-page":"259","DOI":"10.2307\/2964649","article-title":"Transfinite Recursive Progressions of Axiomatic Theories","volume":"27","author":"Feferman","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/1042-8143(92)90017-U_BIB13","series-title":"Proceedings 11th International workshop of expert systems and their applications (Volume: Tools and Techniques)","article-title":"Knowledge representation and acquisition language (KARL)","author":"Fensel","year":"1991"},{"key":"10.1016\/1042-8143(92)90017-U_BIB14","series-title":"Meta-Programming in Logic Programming META'88","first-page":"123","article-title":"Reflection in constructive and non-constructive automated reasoning","author":"Giunchiglia","year":"1988"},{"key":"10.1016\/1042-8143(92)90017-U_BIB15","first-page":"497","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"key":"10.1016\/1042-8143(92)90017-U_BIB16","series-title":"Proceedings of IJCAI-77","first-page":"556","article-title":"In defence of logic","author":"Hayes","year":"1977"},{"year":"1989","author":"Jackson","key":"10.1016\/1042-8143(92)90017-U_BIB17"},{"key":"10.1016\/1042-8143(92)90017-U_BIB18","series-title":"Current Trends in Knowledge Acquisition","first-page":"173","article-title":"Model-based approaches: one label\u2014one idea?","author":"Karbach","year":"1990"},{"key":"10.1016\/1042-8143(92)90017-U_BIB19","series-title":"Proceedings Expert Systems'91","first-page":"501","article-title":"Model-K: Prototyping at the knowledge level","author":"Karbach","year":"1991"},{"article-title":"Logic for Problem Solving","year":"1979","author":"Kowalski","key":"10.1016\/1042-8143(92)90017-U_BIB20"},{"year":"1988","series-title":"Meta-Level Architectures and Reflection","key":"10.1016\/1042-8143(92)90017-U_BIB21"},{"key":"10.1016\/1042-8143(92)90017-U_BIB22","series-title":"Automating Knowledge Acquisition for Expert Systems","first-page":"225","article-title":"Preliminary steps towards a taxonomy of problem-solving methods","author":"McDermott","year":"1989"},{"key":"10.1016\/1042-8143(92)90017-U_BIB23","series-title":"National Conference on Artificial Intelligence","first-page":"428","article-title":"The role of logic in knowledge representation and common-sense reasoning","author":"Moore","year":"1982"},{"year":"1984","series-title":"The role of logic in artificial intelligence","author":"Moore","key":"10.1016\/1042-8143(92)90017-U_BIB24"},{"article-title":"Automated Generation of Model-Based Knowledge-Acquisition Tools","year":"1989","author":"Musen","key":"10.1016\/1042-8143(92)90017-U_BIB25"},{"key":"10.1016\/1042-8143(92)90017-U_BIB26","doi-asserted-by":"crossref","DOI":"10.3233\/AIC-1991-42-305","article-title":"A Conceptual Modelling Framework for Knowledge-Level Reflection","author":"Reinders","year":"1991"},{"key":"10.1016\/1042-8143(92)90017-U_BIB27","series-title":"Proceedings of the 8th Colloquiium on Trees in Algebra and Computing","article-title":"Structured theories in LCF","author":"Sanella","year":"1983"},{"article-title":"Computational Aspects of an Order-Sorted Logic with Term Declarations","year":"1989","author":"Schmidt-Schau\u03b2","key":"10.1016\/1042-8143(92)90017-U_BIB28"},{"article-title":"Differentiating Problem Solving Methods","year":"1990","author":"Schreiber","key":"10.1016\/1042-8143(92)90017-U_BIB29"},{"key":"10.1016\/1042-8143(92)90017-U_BIB30","series-title":"Proceedings of 11th ACM Symposium on Principles of Programming Languages","first-page":"23","article-title":"Reflection and semantics in Lisp","author":"Smith","year":"1984"},{"key":"10.1016\/1042-8143(92)90017-U_BIB31_1","first-page":"261","article-title":"Der Wahrheitsbegriff in den formalisierten Sprachen","volume":"1","author":"Tarski","year":"1936","journal-title":"Studia Philosophica"},{"year":"1956","author":"Tarski","key":"10.1016\/1042-8143(92)90017-U_BIB31_2"},{"article-title":"Si(ML)2: A Prototype Interpreter for a Sub-Set of (ML)2","year":"1991","author":"ten Teije","key":"10.1016\/1042-8143(92)90017-U_BIB32"},{"key":"10.1016\/1042-8143(92)90017-U_BIB33","doi-asserted-by":"crossref","DOI":"10.1002\/int.4550060304","article-title":"On the use of reflection principles in modelling complex reasoning","volume":"6","author":"Treur","year":"1991","journal-title":"International journal of Intelligent Systems"},{"article-title":"Research Notes in AI","year":"1991","author":"van Harmelen","key":"10.1016\/1042-8143(92)90017-U_BIB34"},{"article-title":"Formal Specifications of Knowledge Models","year":"1990","author":"van Harmelen","key":"10.1016\/1042-8143(92)90017-U_BIB35"},{"article-title":"(ML)2: A formal language for KADS conceptual models","year":"1991","author":"van Harmelen","key":"10.1016\/1042-8143(92)90017-U_BIB36_1"},{"key":"10.1016\/1042-8143(92)90017-U_BIB36_2","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90017-U","volume":"4","author":"van Harmelen","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/1042-8143(92)90017-U_BIB37","series-title":"Proceedings of the Fourth National Conference on Artificial Intelligence","first-page":"330","article-title":"A mechanical solution of Schubert's steamroller by many-sorted resolution","author":"Walther","year":"1984"},{"article-title":"A Many-Sorted Calculus Based on Resolution and Paramodulation","year":"1987","author":"Walther","key":"10.1016\/1042-8143(92)90017-U_BIB38"},{"key":"10.1016\/1042-8143(92)90017-U_BIB39","series-title":"Current Trends in Knowledge Acquisition","first-page":"356","article-title":"First-order logic foundation of the KADS conceptual model","author":"Wetter","year":"1990"},{"key":"10.1016\/1042-8143(92)90017-U_BIB40_1","doi-asserted-by":"crossref","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prolegomena to a theory of mechanized formal reasoning","volume":"13","author":"Weyhrauch","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/1042-8143(92)90017-U_BIB40_2","series-title":"Readings in Artificial Intelligence","first-page":"175","author":"Weyhrauch","year":"1981"},{"first-page":"309","year":"1985","author":"Weyhrauch","key":"10.1016\/1042-8143(92)90017-U_BIB40_3"},{"key":"10.1016\/1042-8143(92)90017-U_BIB41","doi-asserted-by":"crossref","DOI":"10.1016\/1042-8143(92)90013-Q","article-title":"KADS: A Modelling Approach to Knowledge Engineering","author":"Wielinga","year":"1992"}],"container-title":["Knowledge Acquisition"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:104281439290017U?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:104281439290017U?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T22:41:55Z","timestamp":1585867315000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/104281439290017U"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["104281439290017U"],"URL":"https:\/\/doi.org\/10.1016\/1042-8143(92)90017-u","relation":{},"ISSN":["1042-8143"],"issn-type":[{"type":"print","value":"1042-8143"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}