{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:46Z","timestamp":1725663286203},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540505174"},{"type":"electronic","value":"9783540460305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50517-2_97","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:27:21Z","timestamp":1330201641000},"page":"469-486","source":"Crossref","is-referenced-by-count":1,"title":["Knowledgebases as structured theories"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Fiadeiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"31_CR1","unstructured":"M. Arbib and E. Manes, Arrows, Structures, and Functors, Academic Press 1975"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"R. Burstall and J. Goguen, \"The Semantics of Clear, a Specification Language\", in LNCS 86, Proc. 1979 Copenhagen Winter School on Abstract Software Specification, Springer-Verlag 1980, 292\u2013332","DOI":"10.1007\/3-540-10007-5_41"},{"key":"31_CR3","unstructured":"R. Carapu\u00e7a and J. Fiadeiro, \"Varying Representation Schemata vs Fact Updating in Knowledge Base Management\", in Knowledge and Data, R. Meersman and A. Sernadas (eds), (to be published by North-Holland)"},{"key":"31_CR4","unstructured":"J. Cartmell, \"Formalizing the Network and Hierarchical Data Models \u2014 an Application of Categorical Logic\", in [Pitt et al 86]"},{"key":"31_CR5","unstructured":"J. Fiadeiro and A. Sernadas, \"Behavioural Aspects of Intelligent Knowledge Based Information Systems\", in Temporal Aspects in Information Systems, C. Rolland, M. L\u00e9onard and F. Bodart (eds), North-Holland 1988, 77\u201392"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro and A. Sernadas, \"Structuring Theories on Consequence\", in Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types \u2014 Selected Papers, D. Sannella and A. Tarlecki (eds), Springer-Verlag (to be published)","DOI":"10.1007\/3-540-50325-0_3"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall, \"Institutions: Abstract Model Theory for Computer Science\", CSLI \u2014 85-30, Stanford University, 1985 (preliminary version in LNCS 164, Proc. Logics of Programming Workshop, E. Clarke and D. Kozen (eds), Springer-Verlag 1984, 221\u2013256)","DOI":"10.1007\/3-540-12896-4_366"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"J. Goguen and R. Burstall, \"A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments\", in [Pitt et al 86], 313\u2013333","DOI":"10.1007\/3-540-17162-2_131"},{"key":"31_CR9","unstructured":"P. Ng, \"A Formal Definition of Entity-Relationship Models\", in Entity-Relationship Approach to Systems Analysis and Design, P. Chen (ed), North-Holland 1980"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"D. Pitt, S. Abramski, A. Poign\u00e9 and D. Rydeheard, Category Theory and Computer Programming, LNCS 240, Springer-Verlag 1986","DOI":"10.1007\/3-540-17162-2"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"D. Sannella and R. Burstall, \"Structured Theories in LCF\", in LNCS 159 CAAP'83: 8th Colloquium on Trees in Algebra and Programming, G. Ausiello and M. Protasi (eds), Springer-Verlag 1983, 377\u2013391","DOI":"10.1007\/3-540-12727-5_24"},{"key":"31_CR12","first-page":"337","volume":"173","author":"D. Sannella","year":"1984","unstructured":"D. Sannella and A. Tarlecki, \"Specifications in an Arbitrary Institution\", in LNCS 173, Proc. Int. Symposium on Semantics of Data Types, Springer-Verlag 1984, 337\u2013356","journal-title":"LNCS"},{"key":"31_CR13","unstructured":"A. Sernadas and C. Sernadas, \"The Use of E-R Abstractions for Knowledge Representation\", in Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, P. Chen (ed), North-Holland and IEEE 1985, 224\u2013231"},{"key":"31_CR14","unstructured":"C. Sernadas and A. Sernadas, \"Conceptual Schema Abstraction Mechanisms for Knowledge Representation\", in Information Modelling and Data Base Management, H. Kangassalo (ed), Proc. Workshop, Tampere, 1985 (to be published by Springer-Verlag)"},{"key":"31_CR15","unstructured":"C. Sernadas and A. Sernadas, \"The Institutional Approach to Conceptual Schema Transformations\", Infolog RR 41, 1985"},{"key":"31_CR16","unstructured":"C. Sernadas and A. Sernadas, \"Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions\", in Database Semantics (DS-1), R. Meersman and T. Steel (eds), North-Holland 1986, 121\u2013140"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"A. Sernadas and C. Sernadas, \"Abstraction and Inference Mechanisms for Knowledge Representation\", in Foundations of Knowledge Base Management, J. Schmidt and C. Thanos (eds), Springer-Verlag 1988 (in print)","DOI":"10.1007\/978-3-642-83397-7_5"},{"key":"31_CR18","unstructured":"A. Sernadas, C. Sernadas and H.-D. Ehrich, \"Object-Oriented Specification of Databases: an Algebraic Approach\", Proc. 13th VLDB, P. Hammersley (ed), VLDB 1987, 107\u2013116"},{"issue":"3","key":"31_CR19","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1080\/08839518708927973","volume":"1","author":"C. Sernadas","year":"1987","unstructured":"C. Sernadas, H. Coelho and G. Gaspar, \"Communicating Knowledge Systems: Part I \u2014 Big Talk among Small Systems\", Applied Artificial Intelligence 1(3), 1987, 233\u2013260","journal-title":"Applied Artificial Intelligence"},{"issue":"4","key":"31_CR20","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1080\/08839518708927978","volume":"1","author":"C. Sernadas","year":"1987","unstructured":"C. Sernadas, H. Coelho and G. Gaspar, \"Communicating Knowledge Systems: Part II \u2014 Big Talk among Small Systems\", Applied Artificial Intelligence 1(4), 1987, 315\u2013335","journal-title":"Applied Artificial Intelligence"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas and H.-D. Ehrich, \"Abstract Object Types: A Temporal Perspective\", in Colloquium on Temporal Logic and Specification, A. Pnueli, H. Barringer and B. Banieqbal (eds), 1988 (to be published by Springer-Verlag)","DOI":"10.1007\/3-540-51803-7_33"},{"key":"31_CR22","first-page":"67","volume":"1","author":"A. Tarski","year":"1972","unstructured":"A. Tarski, \"Fundamentale Begriffe der Methodologie der Deduktiven Wissenschaften\", french translation in Logique, S\u00e9mantique, M\u00e9tamath\u00e9matique, vol. 1, Armand Colin 1972, 67\u2013116","journal-title":"Logique, S\u00e9mantique, M\u00e9tamath\u00e9matique"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50517-2_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:26Z","timestamp":1605647906000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50517-2_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505174","9783540460305"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-50517-2_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}