{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T02:15:49Z","timestamp":1786068949452,"version":"3.56.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030876258","type":"print"},{"value":"9783030876265","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-87626-5_16","type":"book-chapter","created":{"date-parts":[[2021,9,29]],"date-time":"2021-09-29T06:14:35Z","timestamp":1632896075000},"page":"217-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Negation in Cognitive Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2455-0974","authenticated-orcid":false,"given":"Claudia","family":"Schon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6812-796X","authenticated-orcid":false,"given":"Sophie","family":"Siebert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4037-2445","authenticated-orcid":false,"given":"Frieder","family":"Stolzenburg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,30]]},"reference":[{"key":"16_CR1","unstructured":"Agirre, E., Bos, J., Diab, M., Manandhar, S., Marton, Y., Yuret, D. (eds.): *SEM 2012: the first joint conference on lexical and computational semantics - volume 1: Proceedings of the main conference and the shared task, and Volume 2: Proceedings of the Sixth International Workshop on Semantic Evaluation (SemEval 2012). Association for Computational Linguistics, Montr\u00e9al, Canada (2012). http:\/\/www.aclweb.org\/anthology\/volumes\/S12-1\/"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"\u00c1lvez, J., Lucio, P., Rigau, G.: Adimen-SUMO: reengineering an ontology for first-order reasoning. Int. J. Semant. Web Inf. Syst. 8(4), 80\u2013116 (2012). http:\/\/doi.org\/10.4018\/jswis.2012100105","DOI":"10.4018\/jswis.2012100105"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Antoniou, G.: A tutorial on default logics. ACM Comput. Surv. 31(4), 337\u2013359 (1999). http:\/\/doi.org\/10.1145\/344588.344602","DOI":"10.1145\/344588.344602"},{"key":"16_CR4","unstructured":"Basile, V., Bos, J., Evang, K., Venhuizen, N.: UGroningen: negation detection with discourse representation structures. In: Agirre et al. [1], pp. 301\u2013309. http:\/\/www.aclweb.org\/anthology\/S12-1040"},{"key":"16_CR5","unstructured":"Basile, V., Cabrio, E., Schon, C.: KNEWS: using logical and lexical semantics to extract knowledge from natural language. In: Proceedings of the European Conference on Artificial Intelligence (ECAI) (2016). http:\/\/hal.inria.fr\/hal-01389390"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Baumgartner, P., Furbach, U., Pelzer, B.: The hyper tableaux calculus with equality and an application to finite model computation. J. Log. Comput. 20(1), 77\u2013109 (2010). http:\/\/doi.org\/10.1093\/logcom\/exn061","DOI":"10.1093\/logcom\/exn061"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-38574-2_8","volume-title":"Automated Deduction \u2013 CADE-24","author":"M Bender","year":"2013","unstructured":"Bender, M., Pelzer, B., Schon, C.: System description: E-KRHyper 1.4. In: Bonacina, M.P. (ed.) CADE 2013. LNCS (LNAI), vol. 7898, pp. 126\u2013134. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38574-2_8"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bos, J.: Wide-coverage semantic analysis with Boxer. In: Semantics in Text Processing. STEP 2008 Conference Proceedings, pp. 277\u2013286. College Publications (2008). http:\/\/www.aclweb.org\/anthology\/W08-2222","DOI":"10.3115\/1626481.1626503"},{"key":"16_CR9","unstructured":"Devlin, J., Chang, M., Lee, K., Toutanova, K.: BERT: pre-training of deep bidirectional transformers for language understanding. In: Burstein, J., Doran, C., Solorio, T. (eds.) Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL-HLT, Volume 1 (Long and Short Papers), pp. 4171\u20134186. Association for Computational Linguistics (2019). http:\/\/aclweb.org\/anthology\/papers\/N\/N19\/N19-1423\/"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Furbach, U., H\u00f6lldobler, S., Ragni, M., Schon, C., Stolzenburg, F.: Cognitive reasoning: a personal view. KI 33(3), 209\u2013217 (2019). http:\/\/link.springer.com\/article\/10.1007\/s13218-019-00603-3","DOI":"10.1007\/s13218-019-00603-3"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Habernal, I., Wachsmuth, H., Gurevych, I., Stein, B.: SemEval-2018 task 12: the argument reasoning comprehension task. In: Proceedings of The 12th International Workshop on Semantic Evaluation. pp. 763\u2013772. Association for Computational Linguistics, New Orleans, Louisiana (June 2018). http:\/\/www.aclweb.org\/anthology\/S18-1121","DOI":"10.18653\/v1\/S18-1121"},{"key":"16_CR12","unstructured":"Horn, L.R., Wansing, H.: Negation. In: Zalta, E.N. (ed.): Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2020). http:\/\/plato.stanford.edu\/entries\/negation\/"},{"key":"16_CR13","unstructured":"Janssen, T.M.V., Zimmermann, T.E.: Montague semantics. In: Zalta, E.N. (ed.): Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2021). http:\/\/plato.stanford.edu\/archives\/sum2021\/entries\/montague-semantics\/"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Zafra, S.M., Morante, R., Teresa Mart\u00edn-Valdivia, M., Ure\u00f1a-L\u00f3pez, L.A.: Corpora annotated with negation: an overview. Comput. Linguist. 46(1), 1\u201352 (2020). http:\/\/doi.org\/10.1162\/coli_a_00371","DOI":"10.1162\/coli_a_00371"},{"key":"16_CR15","unstructured":"Jurafsky, D., H. James, M.: Vector semantics and embeddings. In: Speech and Language Processing: an Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition, chap. 6, pp. 96\u2013126. Prentice Hall, Upper Saddle River, N.J., 3rd edn. (2020). http:\/\/web.stanford.edu\/~jurafsky\/slp3\/ed3book.pdf. Draft"},{"key":"16_CR16","unstructured":"Kamp, H., Reyle, U.: From discourse to logic: an introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Springer, Dordrecht (1993). http:\/\/www.springer.com\/de\/book\/9780792310280"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Kolhatkar, V., Wu, H., Cavasso, L., Francis, E., Shukla, K., Taboada, M.: The SFU opinion and comments corpus: a corpus for the analysis of online news comments. Corpus Pragmat. 4, 155\u2013190 (2020). http:\/\/link.springer.com\/article\/10.1007\/s41701-019-00065-w","DOI":"10.1007\/s41701-019-00065-w"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Liu, H., Singh, P.: ConceptNet - a practical commonsense reasoning tool-kit. BT Technol. J. 22(4), 211\u2013226 (2004). http:\/\/doi.org\/10.1023\/B:BTTJ.0000047600.45421.6d","DOI":"10.1023\/B:BTTJ.0000047600.45421.6d"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Lyons, J.: Semantics, vol. 2. Cambridge University Press, Cambridge, New York, Melbourne, Madrid (1977). http:\/\/doi.org\/10.1017\/CBO9780511620614","DOI":"10.1017\/CBO9780511620614"},{"key":"16_CR20","unstructured":"Maslan, N., Roemmele, M., Gordon, A.S.: One hundred challenge problems for logical formalizations of commonsense psychology. In: Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, CA (2015). http:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS15\/paper\/viewFile\/10252\/10080"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Miller, G.A.: WordNet: a lexical database for English. Commun. ACM 38(11), 39\u201341 (1995). http:\/\/doi.org\/10.1145\/219717.219748","DOI":"10.1145\/219717.219748"},{"key":"16_CR22","unstructured":"Morante, R., Blanco, E.: *SEM 2012 shared task: resolving the scope and focus of negation. In: Agirre et al. [1], pp. 265\u2013274. http:\/\/www.aclweb.org\/anthology\/S12-1035"},{"key":"16_CR23","unstructured":"Morante, R., Daelemans, W.: ConanDoyle-neg: annotation of negation cues and their scope in Conan Doyle stories. In: Proceedings of the Eighth International Conference on Language Resources and Evaluation (LREC\u201912). pp. 1563\u20131568. European Language Resources Association (ELRA), Istanbul, Turkey (2012). http:\/\/www.lrec-conf.org\/proceedings\/lrec2012\/pdf\/221_Paper.pdf"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Mostafazadeh, N., Roth, M., Louis, A., Chambers, N., Allen, J.: LSDSem 2017 shared task: the story cloze test. In: Proceedings of the 2nd Workshop on Linking Models of Lexical, Sentential and Discourse-level Semantics, pp. 46\u201351 (2017). http:\/\/doi.org\/10.18653\/v1\/w17-0906","DOI":"10.18653\/v1\/W17-0906"},{"key":"16_CR25","unstructured":"Mueller, E.T.: Commonsense Reasoning. Morgan Kaufmann, San Francisco, 2nd edn. (2014). http:\/\/dl.acm.org\/doi\/book\/10.5555\/2821577"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Niven, T., Kao, H.Y.: Probing neural network comprehension of natural language arguments. In: Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, pp. 4658\u20134664. Association for Computational Linguistics, Florence, Italy (July 2019). http:\/\/www.aclweb.org\/anthology\/P19-1459","DOI":"10.18653\/v1\/P19-1459"},{"key":"16_CR27","unstructured":"Radford, A., Narasimhan, K., Salimans, T., Sutskever, I.: Improving language understanding by generative pre-training. Technical report, Open AI (2018). http:\/\/openai.com\/blog\/language-unsupervised\/"},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"Schon, C., Siebert, S., Stolzenburg, F.: The CoRg project: cognitive reasoning. KI 33(3), 293\u2013299 (2019). http:\/\/link.springer.com\/article\/10.1007\/s13218-019-00601-5","DOI":"10.1007\/s13218-019-00601-5"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-030-29726-8_25","volume-title":"Machine Learning and Knowledge Extraction","author":"S Siebert","year":"2019","unstructured":"Siebert, S., Schon, C., Stolzenburg, F.: Commonsense reasoning using theorem proving and machine learning. In: Holzinger, A., Kieseberg, P., Tjoa, A.M., Weippl, E. (eds.) CD-MAKE 2019. LNCS, vol. 11713, pp. 395\u2013413. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29726-8_25"},{"key":"16_CR30","unstructured":"Speer, R., Chin, J., Havasi, C.: ConceptNet 5.5: an open multilingual graph of general knowledge. In: AAAI Conference on Artificial Intelligence, pp. 4444\u20134451 (2017). http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14972"}],"container-title":["Lecture Notes in Computer Science","KI 2021: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87626-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T07:06:48Z","timestamp":1639724808000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87626-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030876258","9783030876265"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87626-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"30 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ki2021.uni-luebeck.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}