{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:20:11Z","timestamp":1740158411757,"version":"3.37.3"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T00:00:00Z","timestamp":1710201600000},"content-version":"vor","delay-in-days":102,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002957","name":"Technische Universit\u00e4t Dresden","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002957","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>With this article, the two authors would like to pay tribute to the memory of their dear friend and colleague Steffen H\u00f6lldobler, who left us far too early in 2023. Ulrich (UF), in his time as a postdoc at the University of the Bundeswehr Munich, mentored Steffen as a student in his first logic lectures. Meghna (MB) is Steffen\u2019s last PhD student. Although there is so much more to the wonderful man Steffen was, this article strives to briefly touch upon some of the various hats he donned during his lifetime\u2014as a student, a researcher, a professor and a friend.<\/jats:p>","DOI":"10.1007\/s13218-024-00837-w","type":"journal-article","created":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T19:07:44Z","timestamp":1710270464000},"page":"249-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["In Memory of Steffen H\u00f6lldobler: From Logic to Formal and Cognitive Reasoning"],"prefix":"10.1007","volume":"37","author":[{"given":"Meghna","family":"Bhadra","sequence":"first","affiliation":[]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,12]]},"reference":[{"key":"837_CR1","unstructured":"Bader S, Hitzler P, H\u00f6lldobler S (2004) The integration of connectionism and first-order knowledge representation and reasoning as a challenge for artificial intelligence. arXiv preprint cs\/0408069"},{"key":"837_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-86814-5","volume-title":"Wissensrepr\u00e4sentation und Inferenz","author":"W Bibel","year":"1993","unstructured":"Bibel W, H\u00f6lldobler S, Schaub T (1993) Wissensrepr\u00e4sentation und Inferenz. Vieweg Verlag, Braunschweig"},{"key":"837_CR3","series-title":"Lecture notes in artificial intelligence","first-page":"94","volume-title":"CADE-92","author":"W Bibel","year":"1992","unstructured":"Bibel W, H\u00f6lldobler S, W\u00fcrtz J (1992) Cycle unification. In: Kapur D (ed) CADE-92. Lecture notes in artificial intelligence. Springer, Berlin, pp 94\u2013108"},{"issue":"1","key":"837_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"RM Byrne","year":"1989","unstructured":"Byrne RM (1989) Suppressing valid inferences with conditionals. Cognition 31(1):61\u201383","journal-title":"Cognition"},{"key":"837_CR5","unstructured":"da\u00a0Costa AO, Saldanha EAD, H\u00f6lldobler S, Ragni M (2017) A computational logic approach to human syllogistic reasoning. In: CogSci"},{"key":"837_CR6","unstructured":"Dietz EA, Holldobler S, Ragni M (2012) A computational logic approach to the suppression task. In: Proceedings of the annual meeting of the cognitive science society, vol 34"},{"key":"837_CR7","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"},{"issue":"2","key":"837_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0747-7171(86)80018-9","volume":"2","author":"U Furbach","year":"1986","unstructured":"Furbach U, H\u00f6lldobler S (1986) Modelling the combination of functional and logic programming languages. J Symb Comput 2(2):123\u2013138. https:\/\/doi.org\/10.1016\/S0747-7171(86)80018-9","journal-title":"J Symb Comput"},{"issue":"1\u20132","key":"837_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0743-1066(89)90028-9","volume":"6","author":"JH Gallier","year":"1989","unstructured":"Gallier JH, Raatz S (1989) Extending SLD resolution to equational horn clauses using e-unification. J Log Progr 6(1\u20132):3\u201343","journal-title":"J Log Progr"},{"issue":"2","key":"837_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/logcom\/6.2.233","volume":"6","author":"G Gro\u00dfe","year":"1996","unstructured":"Gro\u00dfe G, H\u00f6lldobler S, Schneeberger J (1996) Linear deductive planning. J Log Comput 6(2):233\u2013262. https:\/\/doi.org\/10.1093\/logcom\/6.2.233","journal-title":"J Log Comput"},{"key":"#cr-split#-837_CR11.1","unstructured":"Gro\u00dfe G, H\u00f6lldobler S, Schneeberger J, Sigmund UC, Thielscher M (1992) Equational logic programming actions, and change. In: Apt KR"},{"key":"#cr-split#-837_CR11.2","unstructured":"(ed) Logic programming, proceedings of the joint international conference and symposium on logic programming, JICSLP 1992. MIT Press, pp 177-191"},{"key":"837_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015791","volume-title":"Foundations of equational logic programming. LNAI","author":"S H\u00f6lldobler","year":"1989","unstructured":"H\u00f6lldobler S (1989) Foundations of equational logic programming. LNAI. Springer, Brrlin"},{"key":"837_CR13","unstructured":"H\u00f6lldobler S (1990) A structured connectionist unification algorithm. In: Proceedings of the national conference of the American Association on artificial intelligence, vol 90, pp 587\u2013593"},{"key":"837_CR14","doi-asserted-by":"publisher","unstructured":"H\u00f6lldobler S (1992) On deductive planning and the frame problem. In: Voronkov A (ed) Logic programming and automated reasoning,international conference LPAR\u201992, July 15-20, 1992, proceedings, vol 624. Lecture notes in computer science. Springer, pp 13\u201329. https:\/\/doi.org\/10.1007\/BFb0013045","DOI":"10.1007\/BFb0013045"},{"key":"837_CR15","unstructured":"H\u00f6lldobler S (2018) Ethical decision making under the weak completion semantics. In: Bridging@ IJCAI\/ECAI, p 1"},{"key":"837_CR16","doi-asserted-by":"crossref","unstructured":"H\u00f6lldobler S, Kencana\u00a0Ramli CDP (2009) Logic programs under three-valued \u0142ukasiewicz semantics. In: Logic programming: 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14\u201317, 2009. Proceedings 25. Springer, pp 464\u2013478","DOI":"10.1007\/978-3-642-02846-5_37"},{"key":"837_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler S, Schneeberger J (1990) A new deductive approach to planning. New Gener Comput 8:225\u2013244","journal-title":"New Gener Comput"},{"issue":"1","key":"837_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01530895","volume":"14","author":"S H\u00f6lldobler","year":"1995","unstructured":"H\u00f6lldobler S, Thielscher M (1995) Computing change and specificity with equational logic programs. Ann Math Artif Intell 14(1):99\u2013133. https:\/\/doi.org\/10.1007\/BF01530895","journal-title":"Ann Math Artif Intell"},{"key":"837_CR19","first-page":"7","volume-title":"Reasoning: representation and process","author":"PN Johnson-Laird","year":"2015","unstructured":"Johnson-Laird PN (2015) Models of deduction. Reasoning: representation and process. Psychology Press, London, pp 7\u201354"},{"key":"837_CR20","volume-title":"Deduction","author":"PN Johnson-Laird","year":"1991","unstructured":"Johnson-Laird PN, Byrne RMJ (1991) Deduction. Lawrence Erlbaum Associates, Hove and London"},{"issue":"3","key":"837_CR21","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","journal-title":"Psychol Bull"},{"issue":"3","key":"837_CR22","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1111\/j.2044-8295.1984.tb01907.x","volume":"75","author":"H Markovits","year":"1984","unstructured":"Markovits H (1984) Awareness of the \u2018possible\u2019 as a mediator of formal thinking in conditional reasoning problems. Br J Psychol 75(3):367\u2013376","journal-title":"Br J Psychol"},{"issue":"2","key":"837_CR23","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1111\/j.2044-8295.1985.tb01948.x","volume":"76","author":"H Markovits","year":"1985","unstructured":"Markovits H (1985) Incorrect conditional reasoning among adults: competence or performance? Br J Psychol 76(2):241\u2013247","journal-title":"Br J Psychol"},{"key":"837_CR24","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1146\/annurev-psych-010419-051132","volume":"71","author":"M Oaksford","year":"2020","unstructured":"Oaksford M, Chater N (2020) New paradigms in the psychology of reasoning. Annu Rev Psychol 71:305\u2013330","journal-title":"Annu Rev Psychol"},{"key":"837_CR25","unstructured":"Pereira LM, Dietz EA, H\u00f6lldobler S (2014) An abductive reasoning approach to the belief bias effect. In: Fourteenth international conference on the principles of knowledge representation and reasoning"},{"issue":"4","key":"837_CR26","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1037\/0012-1649.19.4.471","volume":"19","author":"B Rumain","year":"1983","unstructured":"Rumain B, Connell J, Braine MD (1983) Conversational comprehension processes are responsible for reasoning fallacies in children as well as adults: if is not the biconditional. Dev Psychol 19(4):471","journal-title":"Dev Psychol"},{"key":"837_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1613\/jair.1.11236","volume":"63","author":"EAD Saldanha","year":"2018","unstructured":"Saldanha EAD, H\u00f6lldobler S, Ramli CDPK, Medinacelli LP (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"},{"issue":"6","key":"837_CR28","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. Cognit Sci 29(6):919\u2013960","journal-title":"Cognit Sci"},{"issue":"1\u20132","key":"837_CR29","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M Thielscher","year":"1997","unstructured":"Thielscher M (1997) Ramification and causality. Artif Intell 89(1\u20132):317\u2013364. https:\/\/doi.org\/10.1016\/S0004-3702(96)00033-1","journal-title":"Artif Intell"},{"key":"837_CR30","first-page":"179","volume":"2","author":"M Thielscher","year":"1998","unstructured":"Thielscher M (1998) Introduction to the fluent calculus. Electron Trans Artif Intell 2:179\u2013192","journal-title":"Electron Trans Artif Intell"},{"key":"837_CR31","unstructured":"Wikipedia Contributors. European master program in computational logic\u2014Wikipedia, the free encyclopedia (2022). https:\/\/en.wikipedia.org\/w\/index.php?title=European_Master_Program_in_Computational_Logic &oldid=1084963861. Accessed 18 Jul 2023"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-024-00837-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-024-00837-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-024-00837-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T07:04:09Z","timestamp":1716793449000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-024-00837-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":32,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["837"],"URL":"https:\/\/doi.org\/10.1007\/s13218-024-00837-w","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2023,12]]},"assertion":[{"value":"12 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}