{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T11:23:23Z","timestamp":1779103403536,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540635925","type":"print"},{"value":"9783540696063","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026778","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"65-80","source":"Crossref","is-referenced-by-count":26,"title":["Compositional verification of knowledge-based systems: A case study for diagnostic reasoning"],"prefix":"10.1007","author":[{"given":"Frank","family":"Cornelissen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M. and L. Lamport (1993). Composing Specifications, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, 1993, pp. 73\u2013132.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR2","unstructured":"Benjamins, R., Fensel, D., Straatman, R. (1996). Assumptions of problem-solving methods and their role in knowledge engineering. In: W. Wahlster (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence, ECAI'96, John Wiley and Sons, 1996, pp. 408\u2013412."},{"key":"5_CR3","first-page":"25","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95","author":"F.M.T. Brazier","year":"1995","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. (1995). Formal Specification of Multi-Agent Systems: a Real-World Case. In: V. Lesser (Ed.), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95, MIT Press, Cambridge, MA, pp. 25\u201332. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (Eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67\u201394."},{"key":"5_CR4","first-page":"25\/1","volume-title":"Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95","author":"F.M.T. Brazier","year":"1995","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1995). Formal Specification of Hierarchically (De)Composed Tasks. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 25\/1\u201315\/20."},{"key":"5_CR5","first-page":"15\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96","author":"F.M.T. Brazier","year":"1996","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1996). Temporal semantics of complex reasoning tasks. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 15\/1\u201315\/17. Extended version to appear in: Data and Knowledge Engineering, 1997"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Cornelissen, F., Jonker, C.M. and Treur, J. (1997). Compositional Verification of Knowledge-based Systems: a Case Study for Diagnostic Reasoning. Technical Report, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1997","DOI":"10.1007\/BFb0026778"},{"key":"5_CR7","volume-title":"Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95","author":"D. Fensel","year":"1995","unstructured":"Fensel, D. (1995). Assumptions and limitations of a problem solving method: a case study. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995."},{"key":"5_CR8","first-page":"5\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96","author":"D. Fensel","year":"1996","unstructured":"Fensel, D., Benjamins, R. (1996) Assumptions in model-based diagnosis. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 5\/1\u20135\/18."},{"key":"5_CR9","first-page":"4\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96","author":"D. Fensel","year":"1996","unstructured":"Fensel, D., Schonegge, A., Groenboom, R., Wielinga, B. (1996). Specification and verification of knowledge-based systems. In: B.R. Gaines, M.A. Musen (Eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 4\/1\u20134\/20."},{"key":"5_CR10","unstructured":"Harmelen, F. van, Teije, A. ten (1997). Validation and verification of diagnostic systems based on their conceptual model. In: Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-based Systems, EUROVAV'97, 1997."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Harmelen, F. van and Fensel, D. (1995). Formal Methods in Knowledge Engineering. Knowledge Engineering Review, Volume 10, Number 4, 1995.","DOI":"10.1017\/S0269888900007554"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Jonker, C.M. and Treur, J. (1998). Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness. In: H. Langmaack, A. Pnueli, W.P. De Roever, A. Strassner, (eds.) Proceedings of the International Symposium on Compositionality, COMPOS'97, Springer Verlag, 1998, to appear.","DOI":"10.1007\/3-540-49213-5_13"},{"key":"5_CR13","unstructured":"Leemans, P., J. Treur, and M. Willems (1993). On the verification of knowledge-based reasoning modules, Report IR-346, Department of Mathematics & Computer Science, Artifical Intelligence Group, Vrije Universiteit Amsterdam, 1993."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Reif, W. (1995). The KIV Approach to Software Engineering. In: M. Broy, S. J\u00e4nichen (eds.), Methods, Languages, and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, vol. 1009, Springer Verlag, 1995.","DOI":"10.1007\/BFb0015471"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0888-613X(05)80005-2","volume":"8","author":"J. Treur","year":"1993","unstructured":"Treur, J. (1993). Heuristic reasoning and relative incompleteness. International Journal of Approximate Reasoning, vol. 8, 1993, pp. 51\u201387.","journal-title":"International Journal of Approximate Reasoning"},{"key":"5_CR16","unstructured":"Treur, J., and M. Willems (1994). A logical foundation for verification. In: Proceedings of the Eleventh European Conference on Artificial Intelligence, ECAI'94, A.G. Cohn (Ed.), John Wiley & Sons, Ltd., 1994, pp. 745\u2013749."},{"key":"5_CR17","unstructured":"Treur, J., and M. Willems (1995). Formal notions for verification of dynamics of knowledge-based systems. In: Proceedings of the Third European Symposium on the Validation and Verification of Knowledge-based Systems, EUROVAV'95, 1995, pp. 189\u2013199."},{"key":"5_CR18","unstructured":"Treur, J. and Th. Wetter (1993). Formal Specification of Complex Reasoning Systems. Ellis Horwood, 1993."}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026778","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:35:50Z","timestamp":1586568950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026778"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0026778","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}