{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T15:35:03Z","timestamp":1787931303844,"version":"build-2784847793"},"reference-count":85,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T00:00:00Z","timestamp":1561766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T00:00:00Z","timestamp":1561766400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1007\/s13218-019-00603-3","type":"journal-article","created":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T15:02:21Z","timestamp":1561820541000},"page":"209-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Cognitive Reasoning: A Personal View"],"prefix":"10.1007","volume":"33","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steffen","family":"H\u00f6lldobler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Ragni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Claudia","family":"Schon","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":[[2019,6,29]]},"reference":[{"issue":"4","key":"603_CR1","doi-asserted-by":"publisher","first-page":"80","DOI":"10.4018\/jswis.2012100105","volume":"8","author":"J \u00c1lvez","year":"2012","unstructured":"\u00c1lvez J, Lucio P, Rigau G (2012) Adimen-SUMO: reengineering an ontology for first-order reasoning. Int J Semant Web Inform Syst (IJSWIS) 8(4):80\u2013116","journal-title":"Int J Semant Web Inform Syst (IJSWIS)"},{"key":"603_CR2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001","volume-title":"How can the human mind occur in the physical universe?","author":"JR Anderson","year":"2007","unstructured":"Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New York"},{"issue":"4","key":"603_CR3","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson JR, Bothell D, Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036\u20131060. https:\/\/doi.org\/10.1037\/033-295X.111.4.1036","journal-title":"Psychol Rev"},{"key":"603_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68875-4","volume-title":"Cognitive reasoning\u2014a formal approach","author":"OM Anshakov","year":"2010","unstructured":"Anshakov OM, Gergely T (2010) Cognitive reasoning\u2014a formal approach. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-68875-4"},{"key":"603_CR5","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K Apt","year":"1982","unstructured":"Apt K, van Emden M (1982) Contributions to the theory of logic programming. J ACM 29:841\u2013862","journal-title":"J ACM"},{"issue":"4","key":"603_CR6","first-page":"292","volume":"4","author":"BJ Baars","year":"1997","unstructured":"Baars BJ (1997) In the theatre of consciousness. global workspace theory, a rigorous scientific theory of consciousness. J Conscious Stud 4(4):292\u2013309","journal-title":"J Conscious Stud"},{"key":"603_CR7","unstructured":"Bader S (2009) Neural-symbolic integration. Ph.D. thesis, Technische Universit\u00e4t Dresden, Faculty of Computer Science"},{"key":"603_CR8","unstructured":"Baker CF, Fillmore CJ, Lowe JB (1998) The berkeley framenet project. In: C. Boitet, P. Whitelock (eds) 36th annual meeting of the association for computational linguistics and 17th international conference on computational linguistics, COLING-ACL \u201998, August 10-14, 1998, Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Quebec, Canada. Proceedings of the Conference., pp. 86\u201390. Morgan Kaufmann Publishers \/ ACL. http:\/\/aclweb.org\/anthology\/P\/P98\/P98-1013.pdf"},{"key":"603_CR9","doi-asserted-by":"crossref","unstructured":"Baumgartner P, Furbach U, Niemel\u00e4 I (1996) Hyper tableaux. In: European workshop on logics in artificial intelligence, Springer, pp 1\u201317","DOI":"10.1007\/3-540-61630-6_1"},{"key":"603_CR10","doi-asserted-by":"crossref","unstructured":"Bender M, Pelzer B, Schon C (2013) System description: E-KRHyper 1.4. In: International conference on automated deduction, Springer Nature Switzerland AG, pp 126\u2013134","DOI":"10.1007\/978-3-642-38574-2_8"},{"key":"603_CR11","volume-title":"Handbook of linguistic annotation","author":"L Bentivogli","year":"2017","unstructured":"Bentivogli L, Dagan I, Magnini B (2017) The recognizing textual entailment challenges: datasets and methodologies. In: Ide N, Pustejovsky J (eds) Handbook of linguistic annotation. Springer, Berlin"},{"key":"603_CR12","doi-asserted-by":"crossref","unstructured":"Bergk T, Furbach U, Schon C (2019) Names are not just sound and smoke: word embeddings for axiom selection. In: Conference on automated deduction, CADE 27. Springer Nature Switzerland AG","DOI":"10.1007\/978-3-030-29436-6_15"},{"key":"603_CR13","unstructured":"Besold TR, d\u2019Avila Garcez AS, Bader S, Bowman H, Domingos PM, Hitzler P, K\u00fchnberger KU, Lamb LC, Lowd D, Lima PMV, de Penning L, Pinkas G, Poon H, Zaverucha G (2017) Neural-symbolic learning and reasoning: a survey and interpretation. CoRR. arXiv:abs\/1711.03902"},{"key":"603_CR14","doi-asserted-by":"publisher","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"MDS Braine","year":"1998","unstructured":"Braine MDS, O\u2019Brien DP (1998) Mental logic. Erlbaum, Mahwah"},{"issue":"4","key":"603_CR15","doi-asserted-by":"publisher","first-page":"726","DOI":"10.3758\/BF03211565","volume":"27","author":"RM Byrne","year":"1999","unstructured":"Byrne RM, Tasso A (1999) Deductive reasoning with factual, possible, and counterfactual conditionals. Mem Cognit 27(4):726\u2013740","journal-title":"Mem Cognit"},{"key":"603_CR16","doi-asserted-by":"crossref","unstructured":"Curran JR, Clark S, Bos J (2007) Linguistically motivated large-scale NLP with C&C and Boxer. In: Proceedings of the ACL 2007 demo and poster sessions, Prague, Czech Republic. Association for Computational Linguistics, Stroudsburg PA, USA, pp. 33\u201336","DOI":"10.3115\/1557769.1557781"},{"key":"603_CR17","unstructured":"Dennett D (1993) Consciousness explained. Penguin books. Penguin Adult. https:\/\/books.google.de\/books?id=d2P_QS6AwgoC . Accessed 27 June 2019"},{"key":"603_CR18","unstructured":"Devlin J, Chang M, Lee K, Toutanova K (2018) BERT: pre-training of deep bidirectional transformers for language understanding. CoRR. arXiv:1810.04805"},{"key":"603_CR19","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-642-05177-7_24","volume-title":"Advances in machine learning I: dedicated to the memory of professor Ryszard S. Michalski, studies in computational intelligence","author":"J Diederich","year":"2010","unstructured":"Diederich J, Tickle AB, Geva S (2010) Quo vadis? Reliable and practical rule extraction from neural networks. In: Koronacki J, Ras ZW, Wierzchon ST, Kacprzyk J (eds) Advances in machine learning I: dedicated to the memory of professor Ryszard S. Michalski, studies in computational intelligence, vol 262. Springer, Berlin, pp 479\u2013490. https:\/\/doi.org\/10.1007\/978-3-642-05177-7_24"},{"key":"603_CR20","unstructured":"Dietz EA, H\u00f6lldobler S, Ragni M (2012) A computational logic approach to the suppression task. In: N Miyake, D Peebles, RP Cooper (eds) Proceedings of the 34th annual conference of the cognitive science society, Cognitive Science Society. Curran Associates Inc. proceedings.com, pp 1500\u20131505"},{"key":"603_CR21","unstructured":"Dietz EA, H\u00f6lldobler S, Ragni M (2013) A computational logic approach to the abstract and the social case of the selection task. In: Proceedings eleventh international symposium on logical formalizations of commonsense reasoning. http:\/\/commonsensereasoning.org\/2013\/proceedings.html"},{"key":"603_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1613\/jair.1.11236","volume":"63","author":"EA Dietz Saldanha","year":"2018","unstructured":"Dietz Saldanha EA, H\u00f6lldobler S, Kencana Ramli CDP, Palacios Medinacelli L (2018) A core method for the weak completion semantics with skeptical abduction. J Artif Intell Res 63:51\u201386","journal-title":"J Artif Intell Res"},{"key":"603_CR23","unstructured":"Dietz Saldanha EA, H\u00f6lldobler S, Lour\u00eado Rocha I (1994) The weak completion semantics. In: C Schon, U Furbach (eds) Proceedings of the workshop on bridging the gap between human and automated reasoning\u2014is logic and automated reasoning a foundation for human reasoning?, vol 1994, pp 18\u201330. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-1994\/"},{"key":"603_CR24","series-title":"Lecture notes in artificial intelligence","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-030-00801-7_10","volume-title":"Declarative programming and knowledge management","author":"EA Dietz Saldanha","year":"2018","unstructured":"Dietz Saldanha EA, H\u00f6lldobler S, M\u00f6rbitz R (2018) The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters. In: Seipel D, Hanus M, Abreu S (eds) Declarative programming and knowledge management, vol 10997. Lecture notes in artificial intelligence. Springer, Berlin, Heidelberg, pp 149\u2013165"},{"key":"603_CR25","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199794546.001.0001","volume-title":"How to build a brain: a neural architecture for biological cognition","author":"C Eliasmith","year":"2013","unstructured":"Eliasmith C (2013) How to build a brain: a neural architecture for biological cognition. Oxford University Press, Oxford"},{"issue":"10","key":"603_CR26","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.tics.2003.08.012","volume":"7","author":"JSB Evans","year":"2003","unstructured":"Evans JSB (2003) In two minds: dual-process accounts of reasoning. TRENDS Cogn Sci 7(10):459\u2013459","journal-title":"TRENDS Cogn Sci"},{"key":"603_CR27","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1146\/annurev.psych.59.103006.093629","volume":"59","author":"JSBT Evans","year":"2008","unstructured":"Evans JSBT (2008) Dual-processing accounts of reasoning, judgment, and social cognition. Ann Rev Psychol 59:255\u2013278","journal-title":"Ann Rev Psychol"},{"issue":"3","key":"603_CR28","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1609\/aimag.v31i3.2303","volume":"31","author":"DA Ferrucci","year":"2010","unstructured":"Ferrucci DA, Brown EW, Chu-Carroll J, Fan J, Gondek D, Kalyanpur A, Lally A, Murdock JW, Nyberg E, Prager JM, Schlaefer N, Welty CA (2010) Building watson: an overview of the DeepQA project. AI Mag 31(3):59\u201379","journal-title":"AI Mag"},{"key":"603_CR29","unstructured":"Furbach U, Schon C (2018) Reasoning and Consciousness. Teaching a Theorem Prover to let its Mind Wander. In: The third conference on artificial intelligence and theorem proving, AITP2018. http:\/\/aitp-conference.org\/2018\/aitp18-proceedings.pdf"},{"key":"603_CR30","volume-title":"Neural-symbolic cognitive reasoning","author":"A d\u2019Avila Garcez","year":"2009","unstructured":"d\u2019Avila Garcez A, Lamb L, Gabbay D (2009) Neural-symbolic cognitive reasoning. Springer, Berlin, Heidelberg"},{"key":"603_CR31","first-page":"33","volume-title":"Knowledge representation in neural networks","author":"A d\u2019Avila Garcez","year":"1997","unstructured":"d\u2019Avila Garcez A, Zaverucha G, de Carvalho L (1997) Logic programming and inductive learning in artificial neural networks. In: Herrmann C, Reine F, Strohmaier A (eds) Knowledge representation in neural networks. Logos Verlag, Berlin, pp 33\u201346"},{"issue":"1\u20132","key":"603_CR32","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0004-3702(00)00077-1","volume":"125","author":"AS d\u2019Avila Garcez","year":"2001","unstructured":"d\u2019Avila Garcez AS, Broda K, Gabbay DM (2001) Symbolic knowledge extraction from trained neural networks: a sound approach. Artif Intell 125(1\u20132):155\u2013207. https:\/\/doi.org\/10.1016\/S0004-3702(00)00077-1","journal-title":"Artif Intell"},{"issue":"1","key":"603_CR33","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1008328630915","volume":"11","author":"AS d\u2019Avila Garcez","year":"1999","unstructured":"d\u2019Avila Garcez AS, Zaverucha G (1999) The connectionist inductive learning and logic programming system. Appl Intell 11(1):59\u201377. https:\/\/doi.org\/10.1023\/A:1008328630915","journal-title":"Appl Intell"},{"key":"603_CR34","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1654.001.0001","volume-title":"Bounded rationality: the adaptive toolbox","author":"G Gigerenzer","year":"2002","unstructured":"Gigerenzer G, Selten R (2002) Bounded rationality: the adaptive toolbox. MIT Press, Cambridge, MA, USA"},{"key":"603_CR35","volume-title":"Simple heuristics that make us smart","author":"G Gigerenzer","year":"1999","unstructured":"Gigerenzer G, Todd P (1999) Simple heuristics that make us smart. Oxford University Press, New York"},{"key":"603_CR36","unstructured":"Goodfellow I, Bengio Y, Courville A (2016) Deep Learning. Adaptive Computation and Machine Learning. MIT Press, Cambridge, London. http:\/\/www.deeplearningbook.org"},{"key":"603_CR37","doi-asserted-by":"crossref","unstructured":"Gordon AS (2016) Commonsense interpretation of triangle behavior. In: D Schuurmans, MP Wellman (eds) Proceedings of the thirtieth AAAI conference on artificial intelligence, February 12\u201317, 2016, Phoenix, Arizona, USA., pp 3719\u20133725. AAAI Press http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI16\/paper\/view\/11790","DOI":"10.1609\/aaai.v30i1.9881"},{"key":"603_CR38","volume-title":"Perspectives of neural-symbolic integration","year":"2007","unstructured":"Hammer B, Hitzler P (eds) (2007) Perspectives of neural-symbolic integration. Springer, Berlin, Heidelberg"},{"issue":"8","key":"603_CR39","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","volume":"9","author":"S Hochreiter","year":"1997","unstructured":"Hochreiter S, Schmidhuber J (1997) Long short-term memory. Neural Comput 9(8):1735\u20131780. https:\/\/doi.org\/10.1162\/neco.1997.9.8.1735","journal-title":"Neural Comput"},{"key":"603_CR40","unstructured":"H\u00f6lldobler S (2018) Ethical decision making under the weak completion semantics. In: C Schon (ed) Proceedings of the workshop on bridging the gap between human and automated reasoning, vol 2261, pp 1\u20135. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-2261\/"},{"key":"603_CR41","unstructured":"H\u00f6lldobler S, Kalinke Y (1994) Towards a new massively parallel computational model for logic programming. In: Proceedings of the ECAI94 workshop on combining symbolic and connectionist processing, ECCAI - European Association for Artificial Intelligence, pp. 68\u201377"},{"issue":"1","key":"603_CR42","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1008376514077","volume":"11","author":"S H\u00f6lldobler","year":"1999","unstructured":"H\u00f6lldobler S, Kalinke Y, St\u00f6rr H (1999) Approximating the semantics of logic programs by recurrent neural networks. Appl Intell 11(1):45\u201358. https:\/\/doi.org\/10.1023\/A:1008376514077","journal-title":"Appl Intell"},{"key":"603_CR43","first-page":"464","volume-title":"LNCS","author":"S H\u00f6lldobler","year":"2009","unstructured":"H\u00f6lldobler S, Kencana Ramli CDP (2009) Logic programs under three-valued \u0141ukasiewicz\u2019s semantics. In: Hill PM, Warren DS (eds) LNCS, vol 5649. Springer-Verlag, Berlin Heidelberg, pp 464\u2013478"},{"issue":"2","key":"603_CR44","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/s00287-018-1102-5","volume":"41","author":"A Holzinger","year":"2018","unstructured":"Holzinger A (2018) Explainable AI (ex-AI). Informatik Spektrum 41(2):138\u2013143. https:\/\/doi.org\/10.1007\/s00287-018-1102-5 (Aktuelles Schlagwort, in German)","journal-title":"Informatik Spektrum"},{"key":"603_CR45","doi-asserted-by":"crossref","unstructured":"Indiveri G, Linares-Barranco B, Hamilton T, van Schaik A, Etienne-Cummings R, Delbruck T, Liu SC, Dudek P, H\u00e4fliger P, Renaud S, Schemmel J, Cauwenberghs G, Arthur J, Hynna K, Folowosele F, Sa\u00efghi S, Serrano-Gotarredona T, Wijekoon J, Wang Y, Boahen K (2011) Neuromorphic silicon neuron circuits. Front Neurosci 5:73. https:\/\/www.frontiersin.org\/article\/10.3389\/fnins.2011.00073","DOI":"10.3389\/fnins.2011.00073"},{"key":"603_CR46","volume-title":"How we reason","author":"PN Johnson-Laird","year":"2006","unstructured":"Johnson-Laird PN (2006) How we reason. Oxford University Press, New York"},{"key":"603_CR47","volume-title":"Thinking, fast and slow","author":"D Kahneman","year":"2011","unstructured":"Kahneman D (2011) Thinking, fast and slow. Macmillan Publishers, London"},{"issue":"3","key":"603_CR48","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1037\/a0026841","volume":"138","author":"S Khemlani","year":"2012","unstructured":"Khemlani S, Johnson-Laird PN (2012) Theories of the syllogism: a meta-analysis. Psychol Bull 138(3):427\u2013457","journal-title":"Psychol Bull"},{"key":"603_CR49","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1080\/096725500750039282","volume":"8","author":"N Kompridis","year":"2000","unstructured":"Kompridis N (2000) So we need something else for reason to mean. Int J Philos Stud 8:271\u2013295","journal-title":"Int J Philos Stud"},{"issue":"11","key":"603_CR50","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/219717.219745","volume":"38","author":"DB Lenat","year":"1995","unstructured":"Lenat DB (1995) CYC: a large-scale investment in knowledge infrastructure. Commun ACM 38(11):33\u201338","journal-title":"Commun ACM"},{"key":"603_CR51","unstructured":"Levesque HJ (2011) The winograd schema challenge. In: Logical formalizations of commonsense reasoning, papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI. http:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS11\/paper\/view\/2502"},{"key":"603_CR52","unstructured":"Liao Y, Li H (2017) Reservoir computing trend on software and hardware implementation. Global J Res Eng (F) 17(5). https:\/\/engineeringresearch.org\/index.php\/GJRE\/article\/download\/1654\/1585"},{"key":"603_CR53","unstructured":"\u0141ukasiewicz J (1920) O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny 5:169\u2013171. English translation: On Three-Valued Logic. In: Jan \u0141ukasiewicz Selected Works. (L.\u00a0Borkowski, ed.), North Holland, 87-88, 1990"},{"key":"603_CR54","volume-title":"Vision: a computational investigation into the human representation and processing of visual information","author":"D Marr","year":"1982","unstructured":"Marr D (1982) Vision: a computational investigation into the human representation and processing of visual information. W. H. Freeman and Company, New York"},{"key":"603_CR55","volume-title":"The place of modeling in cognitive science. Topics in cognitive science","author":"J McClelland","year":"2009","unstructured":"McClelland J (2009) The place of modeling in cognitive science. Topics in cognitive science. Wiley Online Library, Hoboken"},{"key":"603_CR56","doi-asserted-by":"crossref","unstructured":"Mead C (1990) Neuromorphic electronic systems. Proceedings of the IEEE 78(10):1629\u20131636. https:\/\/ieeexplore.ieee.org\/document\/58356","DOI":"10.1109\/5.58356"},{"key":"603_CR57","unstructured":"Michael L (2019) Cognitive reasoning and learning mechanisms. In: Proceedings of the 2019 towards concious AI system symposium, vol. 2287. CEUR Workshop Proceedings"},{"issue":"11","key":"603_CR58","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller GA (1995) WordNet: a lexical database for english. Commun ACM 38(11):39\u201341","journal-title":"Commun ACM"},{"key":"603_CR59","doi-asserted-by":"crossref","unstructured":"Mostafazadeh N, Roth M, Louis A, Chambers N, Allen J (2017) LSDSem 2017 shared task: The story cloze test. In: Proceedings of the 2nd workshop on linking models of lexical, sentential and discourse-level semantics. Association for Computational Linguistics, pp 46\u201351","DOI":"10.18653\/v1\/W17-0906"},{"key":"603_CR60","volume-title":"Commonsense reasoning","author":"ET Mueller","year":"2014","unstructured":"Mueller ET (2014) Commonsense reasoning, 2nd edn. Morgan Kaufmann, San Francisco","edition":"2"},{"key":"603_CR61","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1007\/s10994-018-5707-3","volume":"107","author":"SH Muggleton","year":"2018","unstructured":"Muggleton SH, Schmid U, Zeller C, Tamaddoni-Nezhad A, Besold T (2018) Ultra-strong machine learning: comprehensibility of programs learned with ilp. Mach Learn 107:1119\u20131140. https:\/\/doi.org\/10.1007\/s10994-018-5707-3","journal-title":"Mach Learn"},{"key":"603_CR62","unstructured":"Nagel T (1974) What is it like to be a bat? Philos Rev 83(4):435\u2013450. http:\/\/www.jstor.org\/stable\/2183914"},{"key":"603_CR63","volume-title":"Unified theories of cognition","author":"A Newell","year":"1990","unstructured":"Newell A (1990) Unified theories of cognition. Harvard University Press, Cambridge"},{"key":"603_CR64","volume-title":"Human problem solving","author":"A Newell","year":"1972","unstructured":"Newell A, Simon HA (1972) Human problem solving. Prentice-Hall, Englewood Cliffs"},{"key":"603_CR65","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198524496.001.0001","volume-title":"Bayesian rationality: the probabilistic approach to human reasoning","author":"M Oaksford","year":"2007","unstructured":"Oaksford M, Chater N (2007) Bayesian rationality: the probabilistic approach to human reasoning. Oxford University Press, Oxford Cognitive Science Series"},{"key":"603_CR66","first-page":"883","volume-title":"Proceedings of the 39th annual conference of the cognitive science society","author":"A Oliviera da Costa","year":"2017","unstructured":"Oliviera da Costa A, Dietz Saldanha EA, H\u00f6lldobler S, Ragni M (2017) A computational logic approach to human syllogistic reasoning. In: Gunzelmann G, Howes A, Tenbrink T, Davelaar EJ (eds) Proceedings of the 39th annual conference of the cognitive science society. Cognitive Science Society, Austin, pp 883\u2013888888"},{"key":"603_CR67","doi-asserted-by":"crossref","unstructured":"Ostermann S, Roth M, Modi A, Thater S, Pinkal M (2018) SemEval-2018 task 11: Machine comprehension using commonsense knowledge. In: Proceedings of the 12th international workshop on semantic evaluation. Association for Computational Linguistics, pp 747\u2013757","DOI":"10.18653\/v1\/S18-1119"},{"key":"603_CR68","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-53-4","volume-title":"Integration of world knowledge for natural language understanding, Atlantis thinking machines","author":"E Ovchinnikova","year":"2012","unstructured":"Ovchinnikova E (2012) Integration of world knowledge for natural language understanding, Atlantis thinking machines, vol 3. Atlantis Press, New York. https:\/\/doi.org\/10.2991\/978-94-91216-53-4"},{"key":"603_CR69","doi-asserted-by":"crossref","unstructured":"Pagel P, Portmann E, Vey K (2018) Cognitive computing. Informatik Spektrum 41(1\u20132) (Edited special issues)","DOI":"10.1007\/s00287-018-1091-4"},{"key":"603_CR70","first-page":"653","volume-title":"Principles of knowledge representation and reasoning: proceedings of the 14th international conference","author":"LM Pereira","year":"2014","unstructured":"Pereira LM, Dietz EA, H\u00f6lldobler S (2014) An abductive reasoning approach to the belief-bias effect. In: Baral C, Giacomo GD, Eiter T (eds) Principles of knowledge representation and reasoning: proceedings of the 14th international conference. AAAI Press, Cambridge, pp 653\u2013656656"},{"key":"603_CR71","unstructured":"Perlis D, Brody J (2019) Operationalizing consciousness. In: Proceedings of the 2019 towards conscious AI system symposium, vol 2287"},{"key":"603_CR72","unstructured":"Radford A, Narasimhan K, Salimans T, Sutskever I (2018) Improving language understanding by generative pre-training. https:\/\/openai.com\/blog\/language-unsupervised\/ . Accessed: 13 May 2019"},{"key":"603_CR73","unstructured":"Ragni M, Dietz EA, Kola I, H\u00f6lldobler S (2016) Two-valued logic is not sufficient to model human reasoning, but three-valued logic is: a formal analysis. In: U Furbach, C Schon (eds) Bridging 2016\u2014bridging the gap between human and automated reasoning, CEUR Workshop Proceedings, vol 1651, pp 61\u201373. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1651\/"},{"issue":"1","key":"603_CR74","doi-asserted-by":"publisher","first-page":"53","DOI":"10.3758\/s13421-013-0349-y","volume":"42","author":"M Ragni","year":"2013","unstructured":"Ragni M, Khemlani S, Johnson-Laird PN (2013) The evaluation of the consistency of quantified assertions. Mem Cognit 42(1):53\u201366","journal-title":"Mem Cognit"},{"issue":"3","key":"603_CR75","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1037\/a0032460","volume":"120","author":"M Ragni","year":"2013","unstructured":"Ragni M, Knauff M (2013) A theory and a computational model of spatial reasoning with preferred mental models. Psychol Rev 120(3):561\u2013588","journal-title":"Psychol Rev"},{"key":"603_CR76","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5680.001.0001","volume-title":"The psychology of proof: deductive reasoning in human thinking","author":"LJ Rips","year":"1994","unstructured":"Rips LJ (1994) The psychology of proof: deductive reasoning in human thinking. The MIT Press, Cambridge"},{"key":"603_CR77","unstructured":"Roemmele M, Bejan CA, Gordon AS (2011) Choice of plausible alternatives: an evaluation of commonsense causal reasoning. In: Logical formalizations of commonsense reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI. http:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS11\/paper\/view\/2418"},{"key":"603_CR78","unstructured":"Roemmele M, Bejan CA, Gordon AS (2011) Choice of plausible alternatives: an evaluation of commonsense causal reasoning. In: AAAI spring symposium: logical formalizations of commonsense reasoning, pp 90\u201395"},{"key":"603_CR79","unstructured":"Rouse M, Wigmore I (2019) Definition explainable AI (XAI) (2018). https:\/\/whatis.techtarget.com\/definition\/explainable-AI-XAI . Accessed: 13 May 2019"},{"key":"603_CR80","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF03354931","volume":"8","author":"H Simon","year":"1999","unstructured":"Simon H, Wallach D (1999) Cognitive modeling in perspective. Kognitionswissenschaft 8:1\u20134","journal-title":"Kognitionswissenschaft"},{"key":"603_CR81","unstructured":"Speer R, Chin J, Havasi C (2017) ConceptNet 5.5: an open multilingual graph of general knowledge. In: AAAI conference on artificial intelligence, pp 4444\u20134451 http:\/\/aaai.org\/ocs\/index.php\/AAAI\/AAAI17\/paper\/view\/14972"},{"key":"603_CR82","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1207\/s15516709cog0000_36","volume":"29","author":"K Stenning","year":"2005","unstructured":"Stenning K, van Lambalgen M (2005) Semantic interpretation as computation in nonmonotonic logic: the real meaning of the suppression task. Cogn Sci 29:919\u2013960","journal-title":"Cogn Sci"},{"key":"603_CR83","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human reasoning and cognitive science","author":"K Stenning","year":"2008","unstructured":"Stenning K, van Lambalgen M (2008) Human reasoning and cognitive science. MIT Press, Cambridge"},{"issue":"4","key":"603_CR84","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s10817-017-9407-7","volume":"59","author":"G Sutcliffe","year":"2017","unstructured":"Sutcliffe G (2017) The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. J Autom Reason 59(4):483\u2013502","journal-title":"J Autom Reason"},{"issue":"6","key":"603_CR85","doi-asserted-by":"publisher","first-page":"495","DOI":"10.3233\/AIC-180773","volume":"31","author":"G Sutcliffe","year":"2018","unstructured":"Sutcliffe G (2018) The 9th IJCAR automated theorem proving system competition\u2014CASC-J9. AI Commun 31(6):495\u2013507. https:\/\/doi.org\/10.3233\/AIC-180773","journal-title":"AI Commun"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-019-00603-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-019-00603-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-019-00603-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T12:00:22Z","timestamp":1663848022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-019-00603-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,29]]},"references-count":85,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["603"],"URL":"https:\/\/doi.org\/10.1007\/s13218-019-00603-3","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,29]]},"assertion":[{"value":"29 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 June 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}