{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:29Z","timestamp":1725664229563},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584872"},{"type":"electronic","value":"9783540490067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58487-0_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:28:50Z","timestamp":1330273730000},"page":"226-243","source":"Crossref","is-referenced-by-count":0,"title":["From verification to modelling guidelines"],"prefix":"10.1007","author":[{"given":"Sabine","family":"Geldof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aurelien","family":"Slodzian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","unstructured":"Bensabat, I. and Dhaliwal, J. S. (1989). The validation of knowledge acquisition: Methodology and techniques. In Proceedings of the 3rd EKAW, 215\u2013233."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Boehm, B. (1984). Verifying and validating software requirements and design specifications. IEEE Software.","DOI":"10.1109\/MS.1984.233702"},{"key":"12_CR3","unstructured":"Canamero, D., Geldof, S., and McIntyre, A. (1993). Coupling modeling and validation in COMMET. In Meseguer, P. (Ed.)., Proceedings of EUROVAV '93."},{"key":"12_CR4","volume-title":"Technical report","author":"K. Vroede De","year":"1993","unstructured":"De Vroede, K. and Goossens, L. (1993). The basekit manual (v5.0). Technical report, Knowledge Technologies, Brussels, Belgium."},{"key":"12_CR5","unstructured":"Geldof, S. (1994). Towards more flexibility in Reuse. In Proceedings of the International conference on Artificial Intelligence, KBS, Expert systems and Natural Language, 65\u201375, Avignon, Paris: EC2."},{"key":"12_CR6","first-page":"3","volume-title":"EUROVAV 91","author":"T. Hoppe","year":"1991","unstructured":"Hoppe, T. and Messeguer, P. (1991). On the terminology of VVT. In EUROVAV 91, 3\u201313, Jesus College, Cambridge, England."},{"key":"12_CR7","unstructured":"Geldof, S., Jonckers, V., and Devroede, K. (1992). The COMMET methodology and workbench in practice. In Proceedings of the 5th International Symposium on Artificial Intelligence, 341\u2013348, Cancun, Mexico."},{"key":"12_CR8","first-page":"125","volume-title":"Readings in NLP","author":"M. Kay","year":"1986","unstructured":"Kay, M. (1986). Parsing in functional unification grammar. In Grosz, B., Spark Jones, K., and Lynn Webber, B. (Eds.)., Readings in NLP, 125\u2013138. Morgan Kaufmann Publ. Inc., Los Altos, CA."},{"key":"12_CR9","volume-title":"Technical report","author":"A. McIntyre","year":"1992","unstructured":"McIntyre, A. (1992a). Commet workbench reference manual. Technical report, VUB AI Lab, Brussels, Belgium."},{"key":"12_CR10","volume-title":"Technical Report 92-08","author":"A. McIntyre","year":"1992","unstructured":"McIntyre, A. (1992b). Feature-based representation in knowledgelevel design. Technical Report 92-08, Knowledge Technologies, Brussels, Belgium."},{"key":"12_CR11","unstructured":"Mengshoel, O. (1991). KVAT: a tool for incremental knowledge validation in a knowledge engineering workbench. In EUROVAV 91, 239\u2013245."},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A. Newell","year":"1982","unstructured":"Newell, A. (1982). The knowledge level. Artificial Intelligence, 18, 87\u2013127.","journal-title":"Artificial Intelligence"},{"key":"12_CR13","first-page":"195","volume-title":"EUROVAV 91","author":"N. Shadbolt","year":"1991","unstructured":"Shadbolt, N. (1991). Building valid knowledge bases, an ACKnowledge perspective. In EUROVAV 91, 195\u2013210, Jesus College, Cambridge, England."},{"key":"12_CR14","first-page":"211","volume-title":"EUROVAV 91","author":"C. Sierra","year":"1991","unstructured":"Sierra, C., Agust\u00ed-Cullell, J., and Plaza, E. (1991). Verification by construction in milord. In EUROVAV 91, 211\u2013226, Jesus College, Cambridge, England."},{"key":"12_CR15","unstructured":"Slodzian, A. (1994). Knowledge level reflection. Technical Report 94-1, VUB AI Lab."},{"issue":"2","key":"12_CR16","first-page":"29","volume":"11","author":"L. Steels","year":"1990","unstructured":"Steels, L. (1990). Components of Expertise. AI Magazine, 11(2), 29\u201349.","journal-title":"AI Magazine"},{"key":"12_CR17","volume-title":"Second Generation Expert Systems","author":"L. Steels","year":"1993","unstructured":"Steels, L. (1993). The componential framework and its role in reusability. In Jean-Marc David, J.-P. K. and Simmons, R. (Eds.), Second Generation Expert Systems. Springer Verlag, Berlin."},{"key":"12_CR18","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-3-642-77927-5_11","volume-title":"Second Generation Expert Systems","author":"W. Velde Van de","year":"1993","unstructured":"Van de Velde, W. (1993). Issues in knowledge level modelling. In David, J.-M., Krivine, J.-M., and Simmons, R. (Eds.)., Second Generation Expert Systems, 211\u2013231. Springer, Berlin."},{"key":"12_CR19","volume-title":"PhD thesis","author":"J. Vanwelkenhuysen","year":"1993","unstructured":"Vanwelkenhuysen, J. (1993). Participative design of industrial knowledge based systems. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium. Also as VUB AI-Lab TR-93-1."},{"key":"12_CR20","unstructured":"Wielinga, B., Ackermans, H., and G.Schreiber (1993). Validation and verification of knowledge based systems. In Meseguer, P. (Ed.)., Proceedings of EUROVAV '93."},{"key":"12_CR21","unstructured":"Wielinga, B. and van Harmelen, F. (1993). Knowledge-level reflection. Technical report, Universisty od Amsterdam."}],"container-title":["Lecture Notes in Computer Science","A Future for Knowledge Acquisition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58487-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:12Z","timestamp":1619572692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58487-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584872","9783540490067"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58487-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}