{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:52:15Z","timestamp":1725468735723},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540358930"},{"type":"electronic","value":"9783540359029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787181_24","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T13:06:40Z","timestamp":1156511200000},"page":"331-345","source":"Crossref","is-referenced-by-count":4,"title":["Simple Conceptual Graphs with Atomic Negation and Difference"],"prefix":"10.1007","author":[{"given":"Michel","family":"Lecl\u00e8re","sequence":"first","affiliation":[]},{"given":"Marie-Laure","family":"Mugnier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BFb0027876","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"C. Bos","year":"1997","unstructured":"Bos, C., Botella, B., Vanheeghe, P.: Modeling and Simulating Human Behaviors with Conceptual Graphs. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol.\u00a01257, pp. 275\u2013289. Springer, Heidelberg (1997)"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.918","volume":"16","author":"J.-F. Baget","year":"2002","unstructured":"Baget, J.-F., Mugnier, M.-L.: The Complexity of Rules and Constraints. JAIR\u00a016, 425\u2013465 (2002)","journal-title":"JAIR"},{"key":"24_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-540-27769-9_20","volume-title":"Conceptual Structures at Work","author":"M. Chein","year":"2004","unstructured":"Chein, M., Mugnier, M.-L.: Types and Coreference in Simple Conceptual Graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 303\u2013318. Springer, Heidelberg (2004)"},{"key":"24_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/b94030","volume-title":"The Logic System of Concept Graphs with Negation","author":"F. Dau","year":"2003","unstructured":"Dau, F.: The Logic System of Concept Graphs with Negation. LNCS (LNAI), vol.\u00a02892. Springer, Heidelberg (2003)"},{"key":"24_CR5","volume-title":"Intuitionistic Logic, Model Theory and Forcing","author":"M.C. Fitting","year":"1969","unstructured":"Fitting, M.C.: Intuitionistic Logic, Model Theory and Forcing. North Holland, Amsterdam (1969)"},{"key":"24_CR6","unstructured":"Kerdiles, G.: Saying it with Pictures: a Logical Landscape of Conceptual Graphs. PhD thesis, Univ. Montpellier II \/ Amsterdam (November 2001), \n                    \n                      http:\/\/turing.wins.uva.nl\/~kerdiles\/"},{"key":"24_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/11524564_14","volume-title":"Conceptual Structures: Common Semantics for Sharing Knowledge","author":"J. Klinger","year":"2005","unstructured":"Klinger, J.: Local Negation in Concept Graphs. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS 2005. LNCS (LNAI), vol.\u00a03596, pp. 209\u2013222. Springer, Heidelberg (2005)"},{"key":"24_CR8","unstructured":"Mugnier, M.L., Lecl\u00e8re, M.: On Querying Simple Conceptual Graphs with Negation. Research Report LIRMM 05-051 (July 2005); revised version to appear in Data and Knowledge Engineering (2006)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/10722280_12","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"M.-L. Mugnier","year":"2000","unstructured":"Mugnier, M.-L.: Knowledge Representation and Reasoning based on Graph Homomorphism. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867, pp. 172\u2013192. Springer, Heidelberg (2000)"},{"key":"24_CR10","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J.F. Sowa","year":"1984","unstructured":"Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24572-8_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Ma\u0142uszy\u0144ski, J. (eds.) PPSWR 2003. LNCS, vol.\u00a02901, pp. 33\u201350. Springer, Heidelberg (2003), \n                    \n                      http:\/\/tmitwww.tm.tue.nl\/staff\/gwagner"},{"key":"24_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-58328-9_10","volume-title":"Conceptual Structures: Current Practices","author":"M. Wermelinger","year":"1994","unstructured":"Wermelinger, M., Lopes, J.G.: Basic Conceptual Structures Theory. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F. (eds.) ICCS 1994. LNCS (LNAI), vol.\u00a0835, pp. 144\u2013159. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Inspiration and Application"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787181_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:38Z","timestamp":1619508038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787181_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540358930","9783540359029"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11787181_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}