{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:55:29Z","timestamp":1742918129234,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319083889"},{"type":"electronic","value":"9783319083896"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-08389-6_11","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T10:43:39Z","timestamp":1405593819000},"page":"118-129","source":"Crossref","is-referenced-by-count":2,"title":["Default Reasoning Implementation in CoGui"],"prefix":"10.1007","author":[{"given":"Patrice","family":"Buche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Fortin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Gutierrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-642-03079-6_7","volume-title":"Conceptual Structures: Leveraging Semantic Technologies","author":"J.-F. Baget","year":"2009","unstructured":"Baget, J.-F., Croitoru, M., Fortin, J., Thomopoulos, R.: Default conceptual graph rules: Preliminary results for an agronomy application. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds.) ICCS 2009. LNCS (LNAI), vol.\u00a05662, pp. 86\u201399. Springer, Heidelberg (2009)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1147\/rd.204.0336","volume":"20","author":"J.F. Sowa","year":"1976","unstructured":"Sowa, J.F.: Conceptual graphs for a database interface. IBM Journal of Research and Development\u00a020(4), 336\u2013357 (1976)","journal-title":"IBM Journal of Research and Development"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/3-540-61534-2_16","volume-title":"Conceptual Structures: Knowledge Representations as Interlingua","author":"E. Salvat","year":"1996","unstructured":"Salvat, E., Mugnier, M.L.: Sound and complete forward and backward chaining of graph rules. In: Eklund, P., Ellis, G., Mann, G. (eds.) ICCS 1996. LNCS, vol.\u00a01115, pp. 248\u2013262. Springer, Heidelberg (1996)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-642-24206-9_20","volume-title":"Datalog Reloaded","author":"A. Cal\u00ec","year":"2011","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Pieris, A.: Datalog+\/-: A family of languages for ontology querying. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol.\u00a06702, pp. 351\u2013368. Springer, Heidelberg (2011)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-23580-1_2","volume-title":"Web Reasoning and Rule Systems","author":"M.-L. Mugnier","year":"2011","unstructured":"Mugnier, M.-L.: Ontological Query Answering with Existential Rules. In: Rudolph, S., Gutierrez, C. (eds.) RR 2011. LNCS, vol.\u00a06902, pp. 2\u201323. Springer, Heidelberg (2011)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/978-3-642-14197-3_7","volume-title":"Conceptual Structures: From Information to Intelligence","author":"J.-F. Baget","year":"2010","unstructured":"Baget, J.-F., Croitoru, M., Gutierrez, A., Lecl\u00e8re, M., Mugnier, M.-L.: Translations between RDF(S) and conceptual graphs. In: Croitoru, M., Ferr\u00e9, S., Lukose, D. (eds.) ICCS 2010. LNCS, vol.\u00a06208, pp. 28\u201341. Springer, Heidelberg (2010)"},{"key":"11_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-45091-7_16","volume-title":"Conceptual Structures for Knowledge Creation and Communication","author":"J.-F. Baget","year":"2003","unstructured":"Baget, J.-F.: Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS (LNAI), vol.\u00a02746, pp. 229\u2013242. Springer, Heidelberg (2003)"},{"key":"11_CR9","unstructured":"Naveh, B., Contributors: Jgrapht (March 2014), \n                      http:\/\/jgrapht.org\/"},{"key":"11_CR10","unstructured":"Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison\u2013Wesley (1984)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-14197-3_8","volume-title":"Conceptual Structures: From Information to Intelligence","author":"J.-F. Baget","year":"2010","unstructured":"Baget, J.-F., Fortin, J.: Default conceptual graph rules, atomic negation and tic-tac-toe. In: Croitoru, M., Ferr\u00e9, S., Lukose, D. (eds.) ICCS 2010. LNCS, vol.\u00a06208, pp. 42\u201355. Springer, Heidelberg (2010)"},{"key":"11_CR12","unstructured":"Baget, J.F., Lecl\u00e8re, M., Mugnier, M.L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, pp. 677\u2013682 (2009)"},{"key":"11_CR13","unstructured":"Chein, M., Mugnier, M.L.: Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs, 1st edn. Springer Publishing Company, Incorporated (2008)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Brewka, G., Eiter, T.: Prioritizing default logic: Abridged report. In: Festschrift on the Occasion of Prof. Dr. W. Bibel\u2019s 60th Birthday. Kluwer (1999)","DOI":"10.1007\/978-94-015-9383-0_3"},{"key":"11_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-04534-4_1","volume-title":"Graph Structures for Knowledge Representation and Reasoning","author":"P. Buche","year":"2014","unstructured":"Buche, P., Cucheval, V., Diattara, A., Fortin, J., Gutierrez, A.: Implementation of a knowledge representation and reasoning tool using default rules for a decision support system in agronomy applications. In: Croitoru, M., Rudolph, S., Woltran, S., Gonzales, C. (eds.) GKR 2013. LNCS (LNAI), vol.\u00a08323, pp. 1\u201312. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Graph-Based Representation and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08389-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:24:05Z","timestamp":1676870645000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08389-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319083889","9783319083896"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08389-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}