{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:44Z","timestamp":1725663824685},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:48:16Z","timestamp":1330260496000},"page":"166-177","source":"Crossref","is-referenced-by-count":3,"title":["Unified domains and abstract computational structures"],"prefix":"10.1007","author":[{"given":"J.","family":"Calmet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Homann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. A.","family":"Tjandra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05654-7","volume-title":"Algorithmische Sprache und Programmentwicklung","author":"F.L. Bauer","year":"1984","unstructured":"Bauer, F.L. and Woessner, H., Algorithmische Sprache und Programmentwicklung(2nd Edition), Springer-Verlag Berlin Heidelberg New York Tokyo, 1984.","edition":"2nd Edition"},{"key":"11_CR2","first-page":"532","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J., Gilbert, V.P., Levesque,H.J., An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON, Proceedings of IJCAI 9, pp. 532\u2013539, 1985.","journal-title":"Proceedings of IJCAI"},{"key":"11_CR3","unstructured":"Calmet,J., Tjandra, I.A., Learning Complete Computational Structures, in Emrich et al (Eds), 5th International Symposium on Methodologies for Intelligent Systems (Selected Papers), Knoxville \u2014 USA, October 24\u201327, 1990, pp. 63\u201371, ICAIT."},{"key":"11_CR4","volume-title":"Representation of Mathematical Knowledge","author":"J. Calmet","year":"1991","unstructured":"Calmet, J., Tjandra, I.A, Representation of Mathematical Knowledge, Z. W. Ras et al.. (Eds.) Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems, Charlotte USA, October 16\u201319, 1991, Springer-Verlag."},{"key":"11_CR5","volume-title":"MANTRA: A Shell for Hybrid Knowledge Representation","author":"J. Calmet","year":"1991","unstructured":"Calmet, J., Bittencourt.G., Tjandra, I.A., MANTRA: A Shell for Hybrid Knowledge Representation, Proceedings of the third International conference on Tools for Artificial Intelligence, San Jose USA, November 5\u20138, 1991, IEEE Computer Society Press."},{"key":"11_CR6","unstructured":"Etherington,D.W., On Inheritance Hierarchies with Exceptions, Proceedings of AAAI-83, pp. 104\u2013108, 1986."},{"key":"11_CR7","unstructured":"Frisch,A.M., Knowledge Retrieval as Specialized Inference, Report No.214, Department of Computer Science, University of Rochester, May 1987."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. and Burstall, R.M., Introducing Institutions, in Clarke, E. and Kozen, D. (Eds.), Proceedings Logics of Programming Workshop, Springer-Verlag, 1984.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"11_CR9","unstructured":"Goguen, J.A., Thatcher, J.W. and Wagner, E., An Initial Algebra Approach to the Specification Correctness and Implementation of Abstract Data Types, in Yeh, R.T. (Ed.), Current Trends in Programming Methodology IV, Prentice Hall, 1978."},{"key":"11_CR10","unstructured":"Guttag, J.: The Specification and Application to Programming of Abstract Data Types, University of Toronto, Department of Computer Science, Ph. D. Thesis, Report CSRG-59; 1975."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Guttag,J.V., The Algebraic Specification of Abstract Data Types, Acta Informatica 10, 27\u201352, Springer-Verlag, 1978.","DOI":"10.1007\/BF00260922"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Huet, G., Oppen D.: Equations and Rewrite Rules: a survey; in Book R., editor, Formal Language Theory: Perspective and Open Problems, Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"11_CR13","unstructured":"Lenat, D.B., McDermott,J., Less Than General Production Systems Architectures, Proceedings of IJCAI 5, pp. 928\u2013932, 1977."},{"key":"11_CR14","unstructured":"Mosses, P.D., Unified Algebras and Action Semantics, in Monien, B. and Cori, R. (Eds.), Proceedings of 6th Annual Symposium on Theoretical Aspects of Computet Science, Springer-Verlag, 1986."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Mosses, P.D., Unified Algebras and Institutions, in Proceedings IEEE-Logics in Computer Science, IEEE-Press, 1989.","DOI":"10.1109\/LICS.1989.39185"},{"key":"11_CR16","unstructured":"Patel-Schneider, P.F., A Decidable First-Order Logic for Knowledge Representation, Proceedings of IJCAI 9, pp. 455\u2013458, 1985."},{"key":"11_CR17","unstructured":"Stoy, J.E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, the MIT Press, 1977."},{"key":"11_CR18","series-title":"Technical Report CMU-CS-86-138","volume-title":"A Calculus for Inheritance in Monotonic Semantic Nets","author":"R.H Thomason","year":"1986","unstructured":"Thomason, R.H, Horty, J.F. and Touretzky, D.S., A Calculus for Inheritance in Monotonic Semantic Nets, Technical Report CMU-CS-86-138, Computer Science Department, Carnegie mellon University, Pittsburgh, PA, 1986."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:27Z","timestamp":1605647487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}