{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:32:57Z","timestamp":1725467577785},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647911"},{"type":"electronic","value":"9783540686736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054904","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:10:55Z","timestamp":1153991455000},"page":"51-64","source":"Crossref","is-referenced-by-count":4,"title":["Executing conceptual graphs"],"prefix":"10.1007","author":[{"given":"Walling R.","family":"Cyre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"C. Bos, B. Botella and P. Vanheeghe, \u201cModelling and Simulating Human Behaviours with Conceptual Graphs,\u201d Proc. 5th Int'l Conf. on Conceptual Structures, Seattle, WA, 275\u2013289, August 3\u20138, 1997.","DOI":"10.1007\/BFb0027876"},{"issue":"7","key":"4_CR2","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1002\/int.4550100704","volume":"10","author":"W. Cyre","year":"1995","unstructured":"Walling Cyre \u201cA Requirements Language for Automated Analysis,\u201d International Journal of Intelligent Systems, 10(7), 665\u2013689, July, 1995.","journal-title":"International Journal of Intelligent Systems"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"W. R. Cyre, S. Balachandar, and A. Thakar, \u201cKnowledge Visualization from Conceptual Structures,\u201d Proc. 2nd Int'l Conf. on Conceptual Structures, College Park, MD, 275\u2013292, August 16\u201320, 1994.","DOI":"10.1007\/3-540-58328-9_18"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/3-540-56979-0_18","volume-title":"Conceptual Graphs for Knowledge Representation","author":"W. R. Cyre","year":"1993","unstructured":"W. R. Cyre, \u201cAcquiring Temporal Knowledge from Schedules,\u201d in G. Mineau, B. Moulin, J. Sowa, eds., Conceptual Graphs for Knowledge Representation, Springer-Verlag, NY, 328\u2013344, 1993. (ICCS'93)"},{"key":"4_CR5","unstructured":"H. Delugach, \u201cDynamic Assertion and Retraction of Conceptual Graphs,\u201d Proc. 7th Workshop on Conceptual Structures, Binghamton, NY, July 11\u201313, 1991."},{"key":"4_CR6","unstructured":"H. Delugach, \u201cUsing Conceptual Graphs to Analyze Multiple Views of Software Requirements,\u201d Proc. 6th Workshop on Conceptual Structures, Boston,MA, July 29, 1990."},{"key":"4_CR7","first-page":"362","volume-title":"Lecture Notes in Computer Science","author":"J. Dennis","year":"1974","unstructured":"J. Dennis, \u201cFirst Version of a Data Flow Procedure Language,\u201d Lecture Notes in Computer Science, Springer-Verlag, NY, 362\u2013376, 1974."},{"key":"4_CR8","volume-title":"The STATEMATE Semantics of Statecharts","author":"D. Harel","year":"1995","unstructured":"D. Harel and A. Naamad, The STATEMATE Semantics of Statecharts, i-Logix, Inc. Andover, MA, June 1995."},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1631-2","volume-title":"VHDL: Hardware Description and Design","author":"R. Lipsett","year":"1989","unstructured":"R. Lipsett, C.F. Schaefer & C. Ussery, VHDL: Hardware Description and Design, Kluwer Academic, Boston, 1989."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"D. Lukose, \u201cExecutable Conceptual Structures,\u201d Proc. 1st Int'l Conf. on Conceptual Structures, Quebec City, Canada, 223\u2013237, August 4\u20137, 1993.","DOI":"10.1007\/3-540-56979-0_12"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"G. Mann, \u201cA Rational Goal-Seeking Agent using Conceptual Graphs,\u201d Proc. 2nd Int'l Conf. on Conceptual Structures, College Park, MD, 113\u2013126, August 16\u201320, 1994.","DOI":"10.1007\/3-540-58328-9_8"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"R. Raban and H. S. Delugach, \u201cAnimating Conceptual Graphs,\u201d Proc. 5th Int'l Conf. on Conceptual Structures, Seattle, WA, 431\u2013445, August 3\u20138, 1997.","DOI":"10.1007\/BFb0027889"},{"key":"4_CR13","volume-title":"Conceptual Structures","author":"J. Sowa","year":"1984","unstructured":"J. Sowa, Conceptual Structures, Addison-Wesley, Reading, MA, 1984."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Theory, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T12:10:45Z","timestamp":1549887045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647911","9783540686736"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0054904","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}