{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:38Z","timestamp":1725664118983},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583288"},{"type":"electronic","value":"9783540386759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58328-9_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:46:33Z","timestamp":1330271193000},"page":"144-159","source":"Crossref","is-referenced-by-count":6,"title":["Basic Conceptual Structures Theory"],"prefix":"10.1007","author":[{"given":"Michel","family":"Wermeliager","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Gabriel","family":"Lopes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"10_CR1","unstructured":"C. Beierle, U. Hedst\u00fcck, U. Pletat, P. H. Schmitt, and J. Siekmann. An order-sorted logic for knowledge representation systems. Technical Report 113, IWBS, April 1990."},{"issue":"4","key":"10_CR2","first-page":"365","volume":"6","author":"M. Chein","year":"1992","unstructured":"Michel Chein and Marie-Lanre Mugnier. Conceptual graphs: fundamental notions. R\u00e9vue d'Intelligence Artificielle, 6(4):365\u2013406, 1992.","journal-title":"R\u00e9vue d'Intelligence Artificielle"},{"key":"10_CR3","unstructured":"B. A. Davey and H. A. Priestley. Introduction to Order and Lattices. Cambridge University Press, 1990."},{"key":"10_CR4","unstructured":"Gerard Ellis and Robert A. Levinson, editors. Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench, Las Cruces, New Mexico, 10 July 1992. Available as University of Queensland Technical Report 241."},{"key":"10_CR5","unstructured":"John W. Esch. Contexts as white box concepts. In Mineau et al. [10], pages 17\u201329."},{"key":"10_CR6","unstructured":"David A. Gardiner, Bosco S. Tjan, and James R. Slagle. Extending conceptual structures: Representation issues and reasoning operations. In Nagle et al. [12], pages 67\u201385."},{"key":"10_CR7","unstructured":"Michael R. Genesereth and Richard E. Fikes. Knowledge interchange format version 3.0 reference manual. Technical Report Logic-92-1, Computer Science Department, Stanford University, June 1992. \u201cLiving document\u201d of the Interlingua Working Group of the DARPA Knowledge Sharing Effort."},{"key":"10_CR8","volume-title":"Declarative semantics of conceptual graph semantics","author":"B. C. Ghosh","year":"1993","unstructured":"Bikash Chandra Ghosh and Vilas Wuwongse. Declarative semantics of conceptual graph semantics. In Robert Levinson and Gerard Ellis, editors, Proceedings of the Second International Workshop on PEIRCE: A Conceptual Graphs Workbench, Quebec, Canada, 7 August 1993. Laval University."},{"key":"10_CR9","series-title":"number 699 in Lecture Notes in Artificial Intelligence","volume-title":"Conceptual Graphs for Knowledge Representation","year":"1993","unstructured":"Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors. Conceptual Graphs for Knowledge Representation, number 699 in Lecture Notes in Artificial Intelligence, Qu\u00e9bec City, Canada, 4\u20137 August 1993. Springer-Verlag. Proceedings of the First International Conference on Conceptual Structures."},{"key":"10_CR10","unstructured":"Guy W. Mineau, Bernard Moulin, and John F. Sowa, editors. International Conference on Conceptual Structures: Theory and Applications, Qu\u00e9bec City, Canada, 4\u20137 August 1993. Complementary proceedings."},{"key":"10_CR11","first-page":"294","volume-title":"number 699 in Lecture Notes in Artificial Intelligence","author":"M. L. Mugnier","year":"1993","unstructured":"M.L. Mugnier and M. Chein. Characterization and algorithmic recognition of canonical conceptual graphs. In Mineau et al[9], pages 294\u2013311."},{"key":"10_CR12","unstructured":"Timothy E. Nagle, Janice A. Nagle, Laurie L. Gerholz, and Peter W. Eklund, editors. Conceptual Structures: Current Research and Practice. Ellis Horwood Series in Workshops. Ellis Horwood, 1992."},{"key":"10_CR13","unstructured":"S. Perez and A. Sarris, editors. Information resource dictionary system conceptual schema. Technical Report X3H4\/92-003 and ISO\/IEC JTC1\/SC21 N7486, American National Standards Institute and International Organisation for Standardization, 1993."},{"key":"10_CR14","unstructured":"G\u00e9rard Sabah and Anne Vilnat. Hierarchy of relational types in conceptual graphs to handle natural language parsing. In Mineau et al. [10], pages 198\u2013215."},{"key":"10_CR15","unstructured":"Jan Schmidt and Pavel Kocura. Generalized referents: a neat interface for the scruffy work. In Mineau et al. [10], pages 1\u201316."},{"key":"10_CR16","unstructured":"John F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. The System Programming Series. Addison-Wesley Publishing Company, 1984."},{"key":"10_CR17","unstructured":"John F. Sowa. Conceptual graph summary. In Nagle et al. [12], pages 3\u201351."},{"key":"10_CR18","first-page":"1","volume-title":"number 699 in Lecture Notes in Artificial Intelligence","author":"John F. F. Sowa","year":"1993","unstructured":"John F. Sowa. Relating diagrams to logic. In Mineau et al. [9], pages 1\u201335."},{"key":"10_CR19","unstructured":"Bosco S. Tjan, David A. Gardiner, and James R. Slagle. Representing and reasoning with set referents and numerical quantifiers. In Nagle et al. [12], pages 53\u201366."},{"key":"10_CR20","first-page":"345","volume-title":"number 699 in Lecture Notes in Artificial Intelligence","author":"M. Wermelinger","year":"1993","unstructured":"Michel Wermelinger and Alex Bejan. Conceptual structures for modeling in CIM. In Mineau et al. [9], pages 345\u2013360."},{"key":"10_CR21","first-page":"262","volume-title":"Conceptual Structures: Theory and Implementation, number 754 in Lecture Notes in Artificial Intelligence","author":"M. Wermelinger","year":"1993","unstructured":"Michel Wermelinger and Jos\u00e9 Gabriel Lopes. An X-Windows toolkit for knowledge acquisition and representation based on conceptual structures. In Heather D. Pfeiffer and Timothy E. Nagle, editors, Conceptual Structures: Theory and Implementation, number 754 in Lecture Notes in Artificial Intelligence, pages 262\u2013271. Springer Verlag, 1993. Proceedings of the Seventh Annual Workshop on Conceptual Graphs, Las Cruces, New Mexico, USA, 8-10 July 1992."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Current Practices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58328-9_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:13:51Z","timestamp":1619572431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58328-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583288","9783540386759"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58328-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}