{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:11:04Z","timestamp":1743095464974,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540412762"},{"type":"electronic","value":"9783540443995"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44399-1_21","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T05:07:57Z","timestamp":1186895277000},"page":"196-206","source":"Crossref","is-referenced-by-count":1,"title":["Sharing Resource-Sensitive Knowledge Using Combinator Logics"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wamberto","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"James Allen. Natural Language Understanding. Benjamin-Cummings Publishing Co., 2nd edition, 1994."},{"key":"21_CR2","unstructured":"A. R. Anderson and N. D. Belnap Jr. Entailment: The Logic of Relevance and Necessity. Princeton Univ. Press, 1975."},{"key":"21_CR3","unstructured":"H. P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. Elsevier Science Publishers, 1981."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bob Carpenter. Type-Logica Semantics. MIT press, 1997.","DOI":"10.7551\/mitpress\/6945.001.0001"},{"key":"21_CR5","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli and J. Meseguer. May I borrow your Logic? (Transporting Logical Structures along Maps). Theoretical Computer Science, 173:311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"21_CR6","unstructured":"F. S. Correa da Silva, W. W. Vasconcelos, and D. S. Robertson. Cooperation Between Knowledge-Based Systems. In Proc. IV World Congress on Expert Systems, pages 819\u2013825, Mexico City, Mexico, 1998."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"F. S. Correa da Silva, W. W. Vasconcelos, D. S. Robertson, J. Agust\u00ed, and A. C. V. Melo. Why Ontologies are not Enough for Knowledge Sharing. In Springer-Verlag, editor, LNAI, vol. 1611, pages 520\u2013529, 1999.","DOI":"10.1007\/978-3-540-48765-4_56"},{"key":"21_CR8","unstructured":"D. Van Dalen. Intuitionistic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosoph. Log., volume III, 1984."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"K. Do\u0161en. A Historical Introduction to Substructural Logics. In P. S. Heister and K. Do\u0161en, editors, Substructural Logics, pages 1\u201331. Oxford Univ. Press, 1993.","DOI":"10.1093\/oso\/9780198537779.003.0001"},{"issue":"4","key":"21_CR10","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J. M. Dunn","year":"1997","unstructured":"J. M. Dunn and R. K. Meyer. Combinators and Structurally Free Logic. Logic Journal of the IGPL, 5(4):505\u2013538, 1997.","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"21_CR11","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/jigpal\/6.3.425","volume":"6","author":"M. Finger","year":"1998","unstructured":"M. Finger. Towards structurally-free theorem proving. Logic Journal of the IGPL, 6(3):425\u2013449, 1998.","journal-title":"Logic Journal of the IGPL"},{"key":"21_CR12","unstructured":"M. Finger. Structurally-free theorem proving and the learning of structural permissions in categorial grammar. In Proc. 4th Workshop on Logical Aspects of Comp. Ling. (LACL98), 1998."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Dov M. Gabbay. Labelled Deductive Systems, volume 1 of Oxford Logic Guides: 33. Oxford Univ. Press, 1996.","DOI":"10.1093\/oso\/9780198538332.003.0001"},{"key":"21_CR14","unstructured":"J. Giarratano and G. Riley. Expert Systems: Principles and Programming. PWS Publ. Co., 3rd. edition, 1999."},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"J. Y. Girard. Linear Logic. Theor. Comp. Sc., 50:1\u2013102, 1987.","journal-title":"Theor. Comp. Sc."},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. J. ACM, 39:95\u2013146, 1992.","journal-title":"J. ACM"},{"key":"21_CR17","unstructured":"P. Gray et al. KRAFT-Knowledge Reuse and Fusion\/Transformation. http:\/\/www.csd.abdn.ac.uk\/apreece\/Research\/KRAFT\/KRAFTinfo.html."},{"key":"21_CR18","unstructured":"N. Guarino, editor. Formal Ontology in Information Systems. IOS Press, 1998."},{"issue":"2","key":"21_CR19","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. S. Hodas","year":"1994","unstructured":"J. S. Hodas and D. Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic. Inf. & Comput., 110(2):327\u2013365, 1994.","journal-title":"Inf. & Comput"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"M. Moortgat. Categorial type logics. In J. Van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, pages 93\u2013178. Elsevier North-Holland\/MIT Press, 1997.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"21_CR21","unstructured":"R. Neches and D. Gunning. The Knowledge Sharing Effort. http:\/\/www-ksl.stanford.edu\/knowledge-sharing\/papers\/kse-overview.html."},{"key":"21_CR22","volume-title":"From Frege to G\u00f6del","author":"A. Sch\u00f6nfinkel","year":"1924","unstructured":"A. Sch\u00f6nfinkel. \u00dcber die Bausteine der Mathematischen Logik. In J. van Heijenoort, editor, From Frege to G\u00f6del. Harvard Univ. Press, Cambridge, Mass., 1924. Reprinted."},{"key":"21_CR23","unstructured":"V. S. Subrahmanian (project director). Hermes-a Heterogeneous Reasoning and Mediator System. http:\/\/www.cs.umd.edu\/projects\/hermes\/index.html."},{"issue":"2","key":"21_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0269888900007797","volume":"11","author":"M. Uschold","year":"1996","unstructured":"M. Uschold and M. Gruninger. Ontologies: Principles, Methods and Applications. Knowl. Eng. Review, 11(2):93\u2013136, 1996.","journal-title":"Knowl. Eng. Review"},{"key":"21_CR25","unstructured":"M. Winikoff and J. Harland. Implementation and Development Issues for the Linear Logic Programming Language Lygon. In Proc. 8th Australasian Computer Science Conf., pages 562\u2013573, Adelaide, Australia, February 1995."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44399-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T10:06:37Z","timestamp":1708337197000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44399-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540412762","9783540443995"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44399-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}