@article{61160, abstract = {{As a possible solution to the demographic change and the resulting knowledge loss due to retirements in the Energy sector, this study aimed to develop a generic pipeline to implement and evaluate proof-of-concepts (PoCs) for LLM-based assistance systems in new domains. Our pipeline contains an LLM-based data generation strategy based on documents, a retrieval-augmented generation (RAG) architecture utilizing prompting techniques on existing German LLMs, and an LLM-based automatic evaluation strategy. We leverage our pipeline to evaluate five LLMs using data from a German DSO. We found that the Llama3 and the Mistral model are appropriately aligned for the task. We plan to pilot the RAG architecture in the DSO's infrastructure for future research and continuously research improvements using the generated human demonstrations.}}, author = {{Kaltenpoth, Sascha Benjamin and Müller, Oliver}}, issn = {{2770-5331}}, journal = {{ACM SIGEnergy Energy Informatics Review}}, number = {{4}}, pages = {{16--22}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Don't Touch the Power Line - A Proof-of-Concept for Aligned LLM-Based Assistance Systems to Support the Maintenance in the Electricity Distribution System}}}, doi = {{10.1145/3717413.3717415}}, volume = {{4}}, year = {{2025}}, } @misc{61157, author = {{Schroeter-Wittke, Harald}}, booktitle = {{Jahrbuch für Evangelische Kirchengeschichte des Rheinlandes}}, pages = {{232--237}}, title = {{{Bernd Schröder: Religionspädagogische Ökumenik. Weltweites polyzentrisch-plurales Christentum als Bildungsreligion, Tübingen 2025}}}, volume = {{74}}, year = {{2025}}, } @article{61158, author = {{Schroeter-Wittke, Harald}}, journal = {{Pastoraltheologie}}, number = {{9}}, pages = {{432--443}}, title = {{{"Seine besondere Chance ist, dass er sterben kann." (Helmut Simon) Verausgabung, Popkulur und Erneuerung als grundlegende Dimensionen des Kirchentags}}}, volume = {{114}}, year = {{2025}}, } @article{61165, abstract = {{Building on and methodologically extending conceptual metaphor theory, the article examines how personal agency as a discursively produced sociopsychological phenomenon can be studied in elicited metaphors through a discourse-analytical approach. More concretely, the study illustrates how early-career researchers experience and express their agency in research writing through personal metaphors of academic writing such as riding a roller coaster or baking a wedding cake. A two-step discursive analysis adapts Hopper and Thompson's multidimensional approach to linguistic transitivity to study agency in language. The analytical approach involves both an in-depth parametrized analysis of all metaphors in the sample and a qualitative cross-analysis of the data. The results show that the participants' metaphors reflect both nuanced personal experiences and cultural expectations of academic writing, the writer, and the text. This emphasizes that research writing is not only a highly subjective practice but also one that is socially and culturally influenced. The article argues that research on agency thus needs elaborate methodological tools to trace discursive and sociopsychological trajectories of complex socio-cognitive practices like academic writing. This has implications not only for the nexus of research writing, identity, and academic enculturation but also for other fields focusing on agency in language.}}, author = {{Karsten, Andrea}}, issn = {{2813-4605}}, journal = {{Frontiers in Language Sciences}}, publisher = {{Frontiers Media SA}}, title = {{{Understanding personal agency through metaphor, or Why academic writing is (not) like a roller-coaster ride}}}, doi = {{10.3389/flang.2025.1567498}}, volume = {{4}}, year = {{2025}}, } @techreport{61170, author = {{Dahl, Stephanie and Aschebrock, Kathrin and von Plettenberg, Elisabeth and Neuber, Nils}}, title = {{{Pilotprojekt zur Erfassung der Sportverhaltensdaten von Kindern und Jugendlichen in NRW}}}, volume = {{9}}, year = {{2025}}, } @inproceedings{61174, abstract = {{Abstract. Mechanical joining methods, such as clinching, are characterised by locally large plastic deformations of the sheet metal to be joined. The majority of the thereby inserted work is transformed into heat. The heat generation and temperature evolution are systematically studied herein by means of thermomechanical process simulations for joining the dual-phase steel HCT590X and the aluminium alloy EN-AW 6014. The thermal-induced softening of the material is incorporated by a suitable coupled thermoplastic constitutive model. It is observed how the tools significantly and importantly contribute to the heat exchange. They reduce peak temperature increases of 225 K (without heat transfer to tools) to less than 90 K for realistic behaviour of contact heat transfer. Overall, increases in temperature during clinch joining can be expected to remain below 90 K for steel-steel joints and around 50 K for aluminium-aluminium joints.}}, author = {{Friedlein, J. and Steinmann, P. and Mergheim, J.}}, booktitle = {{Materials Research Proceedings}}, issn = {{2474-395X}}, publisher = {{Materials Research Forum LLC}}, title = {{{Influence of thermal effects on clinch joining of sheet metal}}}, doi = {{10.21741/9781644903551-22}}, volume = {{52}}, year = {{2025}}, } @inproceedings{61154, author = {{Türk, Olcay and Lazarov, Stefan Teodorov and Buschmeier, Hendrik and Wagner, Petra and Grimminger, Angela}}, booktitle = {{LingCologne 2025 – Book of Abstracts}}, location = {{Cologne, Germany}}, pages = {{36}}, title = {{{Acoustic detection of false positive backchannels of understanding in explanations}}}, year = {{2025}}, } @inbook{61183, author = {{Vukadinovic, Vojin Sasa}}, booktitle = {{Sarah Schumann. Schockcollagen 1957-1964}}, editor = {{Keller, Christoph}}, pages = {{79--95}}, title = {{{Das Bild der Femme Future im Spiegel der Geschichte. Sarah Schumanns Collagen, das Grauen und das Unbewusste}}}, year = {{2025}}, } @inproceedings{61184, author = {{Augustine, John and Scheideler, Christian and Werthmann, Julian}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783031998713}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Supervised Distributed Computing}}}, doi = {{10.1007/978-3-031-99872-0_4}}, year = {{2025}}, } @article{59226, author = {{Herzig, Bardo}}, issn = {{0937-7239}}, journal = {{SchulVerwaltung NRW}}, number = {{1/25}}, pages = {{18--20}}, publisher = {{Carl Link}}, title = {{{Künstliche Intelligenz und professionsbezogene Aufgaben von Lehrkräften}}}, year = {{2025}}, } @article{60949, author = {{Giese, Henning and Holtmann, Svea and Koch, Reinald and Langenmayr, Dominika}}, journal = {{ifo Schnelldienst}}, number = {{8}}, pages = {{34--40}}, title = {{{Steuerliches Investitionssofortprogramm: Ausreichender Schritt zur Stärkung des Wirtschaftsstandorts Deutschland?}}}, volume = {{78}}, year = {{2025}}, } @inproceedings{61190, author = {{Sengupta, Meghdut and Muschalik, Maximilian and Fumagalli, Fabian and Hammer, Barbara and Hüllermeier, Eyke and Ghosh, Debanjan and Wachsmuth, Henning}}, booktitle = {{Accepted in Findings }}, publisher = {{EMNLP }}, title = {{{Investigating the Impact of Conceptual Metaphors on LLM-based NLI through Shapley Interactions}}}, year = {{2025}}, } @article{61123, abstract = {{Knowledge graphs are used by a growing number of applications to represent structured data. Hence, evaluating the veracity of assertions in knowledge graphs—dubbed fact checking—is currently a challenge of growing importance. However, manual fact checking is commonly impractical due to the sheer size of knowledge graphs. This paper is a systematic survey of recent works on automatic fact checking with a focus on knowledge graphs. We present recent fact-checking approaches, the varied sources they use as background knowledge, and the features they rely upon. Finally, we draw conclusions pertaining to possible future research directions in fact checking knowledge graphs.}}, author = {{Qudus, Umair and Röder, Michael and Saleem, Muhammad and Ngonga Ngomo, Axel-Cyrille}}, issn = {{0360-0300}}, journal = {{ACM Computing Surveys}}, keywords = {{fact checking, knowledge graphs, fact-checkers, check worthiness, evidence retrieval, trust, veracity.}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Fact Checking Knowledge Graphs -- A Survey}}}, doi = {{10.1145/3749838}}, volume = {{58}}, year = {{2025}}, } @article{59912, abstract = {{Abstract We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic first-order theory of random variables with probabilistic independence. We give several results that compare the expressivity of these logics with the most studied logics in probabilistic team semantics setting, as well as relating their expressivity to a numerical variant of second-order logic. In addition, we introduce novel entropy atoms and show that the extension of first-order logic by entropy atoms subsumes probabilistic independence logic. Finally, we obtain some results on the complexity of model checking, validity and satisfiability of our logics.}}, author = {{Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni}}, issn = {{0955-792X}}, journal = {{Journal of Logic and Computation}}, number = {{3}}, publisher = {{Oxford University Press (OUP)}}, title = {{{Logics with probabilistic team semantics and the Boolean negation}}}, doi = {{10.1093/logcom/exaf021}}, volume = {{35}}, year = {{2025}}, } @inproceedings{59054, author = {{Firmansyah, Asep Fajar and Zahera, Hamada Mohamed Abdelsamee and Sherif, Mohamed and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{ESWC2025}}, isbn = {{978-3-031-94575-5}}, keywords = {{firmansyah mousallem ngonga sherif zahera}}, pages = {{133----151}}, publisher = {{pringer Nature Switzerland}}, title = {{{ANTS: Abstractive Entity Summarization in Knowledge Graphs}}}, doi = {{10.1007/978-3-031-94575-5_8}}, year = {{2025}}, } @unpublished{61066, abstract = {{Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. The semantics of abstract argumentation frameworks (AFs) is given by sets of arguments (extensions) and conditions on the relationship between them, such as stable or admissible. Today's solvers implement tasks such as finding extensions, deciding credulous or skeptical acceptance, counting, or enumerating extensions. While these tasks are well charted, the area between decision, counting/enumeration and fine-grained reasoning requires expensive reasoning so far. We introduce a novel concept (facets) for reasoning between decision and enumeration. Facets are arguments that belong to some extensions (credulous) but not to all extensions (skeptical). They are most natural when a user aims to navigate, filter, or comprehend the significance of specific arguments, according to their needs. We study the complexity and show that tasks involving facets are much easier than counting extensions. Finally, we provide an implementation, and conduct experiments to demonstrate feasibility.}}, author = {{Fichte, Johannes and Fröhlich, Nicolas and Hecher, Markus and Lagerkvist, Victor and Mahmood, Yasir and Meier, Arne and Persson, Jonathan}}, booktitle = {{arXiv:2505.10982}}, title = {{{Facets in Argumentation: A Formal Approach to Argument Significance}}}, year = {{2025}}, } @article{61198, author = {{Rogge, Tim and Herzig, Bardo}}, journal = {{education sciences}}, number = {{15}}, publisher = {{MDPI}}, title = {{{Enhancing Pre-Service Teachers' Reflective Competence Through Structured Video Annotation}}}, year = {{2025}}, } @inbook{61150, abstract = {{Since the emergence of the field of eXplainable Artificial Intelligence (XAI), a growing number of researchers have argued that XAI should consider insights from the social sciences in order to adapt explanations to the expectations and needs of human users. This has led to the emergence of a field called Social XAI, which is concerned with understanding how explanations are actively shaped in the interaction between a human user and an AI system. Recognizing this turn in XAI toward making XAI systems more “social” by providing explanations that focus on human information needs and incorporating insights from human–human explanatory interactions, in this paper we provide a formal foundation for Social XAI. We do so by proposing novel ontological accounts of the key terms used in Social XAI based on Basic Formal Ontology (BFO). Specifically, we provide novel ontological accounts for explanandum, explanans, understanding, explanation, explainer, explainee, and context. In doing so, we discuss multifaceted entities in Social XAI (having both continuant and occurrent facets; e.g., explanation) and the relationship between understanding and explanation. Additionally, we propose solutions to seemingly paradoxical views on some terms (e.g., social constructivist vs. individual constructivist perspective on explanandum).}}, author = {{Booshehri, Meisam and Buschmeier, Hendrik and Cimiano, Philipp}}, booktitle = {{Proceedings of the 15th International Conference on Formal Ontology in Information Systems}}, isbn = {{9781643686172}}, issn = {{0922-6389}}, location = {{Catania, Italy}}, pages = {{255–268}}, publisher = {{IOS Press}}, title = {{{A BFO-based ontological analysis of entities in Social XAI}}}, doi = {{10.3233/faia250498}}, year = {{2025}}, } @inproceedings{61202, abstract = {{The number of datasets on the web of data increases continuously. However, the knowledge contained therein cannot be fully utilized without finding links between the entities contained in these datasets. Equivalent entities can not be identified solely by checking the equivalence of IRIs because of the different origins and naming schemes of different data providers. Yet, such equivalences can be discovered by computing the similarity of their attributes. In this paper we propose GLIDE, an approach that links entities from two different datasets by embedding a joint model of these datasets enriched by additional relations describing the similarity of literals. The joint model is embedded into a latent vector space while paying attention to juxtaposing similar literals. We evaluate our approach against state-of-the-art algorithms using real-world datasets commonly used in link discovery literature. The results show that GLIDE outperforms all baselines on 5 of 7 datasets with perfect or near-perfect accuracy. Our approach achieves its best performance on datasets that feature several literals with similarities. Our experiments indicate that researchers should not only pay attention to equal literals in knowledge graph embedding but should also be aware of the distance between similar literals.}}, author = {{Becker, Alexander and Ngonga Ngomo, Axel-Cyrille and Sherif, Mohamed }}, booktitle = {{The Semantic Web – ISWC 2025}}, keywords = {{becker sherif enexa sailproject dice simba ngonga whale}}, title = {{{GLIDE: Knowledge Graph Linking using Distance-Aware Embeddings}}}, year = {{2025}}, } @unpublished{61213, abstract = {{Understanding how scaffolding strategies influence human understanding in human-robot interaction is important for developing effective assistive systems. This empirical study investigates linguistic scaffolding strategies based on negation as an important means that de-biases the user from potential errors but increases processing costs and hesitations as a means to ameliorate processing costs. In an adaptive strategy, the user state with respect to the current state of understanding and processing capacity was estimated via a scoring scheme based on task performance, prior scaffolding strategy, and current eye gaze behavior. In the study, the adaptive strategy of providing negations and hesitations was compared with a non-adaptive strategy of providing only affirmations. The adaptive scaffolding strategy was generated using the computational model SHIFT. Our findings indicate that using adaptive scaffolding strategies with SHIFT tends to (1) increased processing costs, as reflected in longer reaction times, but (2) improved task understanding, evidenced by a lower error rate of almost 23%. We assessed the efficiency of SHIFT's selected scaffolding strategies across different cognitive states, finding that in three out of five states, the error rate was lower compared to the baseline condition. We discuss how these results align with the assumptions of the SHIFT model and highlight areas for refinement. Moreover, we demonstrate how scaffolding strategies, such as negation and hesitation, contribute to more effective human-robot explanatory dialogues.}}, author = {{Groß, André and Richter, Birte and Thomzik, Bjarne and Wrede, Britta}}, booktitle = {{arXiv:2503.19692}}, title = {{{Leveraging Cognitive States for Adaptive Scaffolding of Understanding in Explanatory Tasks in HRI}}}, year = {{2025}}, }