@inproceedings{54578, abstract = {{Argumentation is a well-established formalism for nonmonotonic reasoning and a vibrant area of research in AI. Claim-augmented argumentation frameworks (CAFs) have been introduced to deploy a conclusion-oriented perspective. CAFs expand argumentation frameworks by an additional step which involves retaining claims for an accepted set of arguments. We introduce a novel concept of a justification status for claims, a quantitative measure of extensions supporting a particular claim. The well-studied problems of credulous and skeptical reasoning can then be seen as simply the two endpoints of the spectrum when considered as a justification level of a claim. Furthermore, we explore the parameterized complexity of various reasoning problems for CAFs, including the quantitative reasoning for claim assertions. We begin by presenting a suitable graph representation that includes arguments and their associated claims. Our analysis includes the parameter treewidth, and we present decomposition-guided reductions between reasoning problems in CAF and the validity problem for QBF.}}, author = {{Fichte, Johannes K. and Hecher, Markus and Mahmood, Yasir and Meier, Arne}}, booktitle = {{Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence}}, publisher = {{International Joint Conferences on Artificial Intelligence Organization}}, title = {{{Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation}}}, doi = {{10.24963/ijcai.2023/358}}, year = {{2023}}, } @inbook{54579, author = {{Mahmood, Yasir and Virtema, Jonni}}, booktitle = {{Logic, Language, Information, and Computation}}, isbn = {{9783031397837}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Parameterized Complexity of Propositional Inclusion and Independence Logic}}}, doi = {{10.1007/978-3-031-39784-4_17}}, year = {{2023}}, } @inproceedings{54089, author = {{Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni}}, booktitle = {{18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings}}, keywords = {{dice enexa mahmood}}, title = {{{Logics with probabilistic team semantics and the Boolean negation}}}, year = {{2023}}, } @inbook{54613, author = {{Hanselle, Jonas Manuel and Hüllermeier, Eyke and Mohr, Felix and Ngonga Ngomo, Axel-Cyrille and Sherif, Mohamed and Tornede, Alexander and Wever, Marcel Dominik}}, booktitle = {{On-The-Fly Computing – Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, keywords = {{dice ngonga sfb901 sherif}}, pages = {{85–104}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Configuration and Evaluation}}}, doi = {{10.5281/zenodo.8068466}}, volume = {{412}}, year = {{2023}}, } @inproceedings{54614, author = {{Srivastava, Nikit and Perevalov, Aleksandr and Kuchelev, Denis and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille and Both, Andreas}}, booktitle = {{Proceedings of the 12th Knowledge Capture Conference 2023, {K-CAP} 2023, Pensacola, FL, USA, December 5-7, 2023}}, editor = {{Venable, Kristen Brent and Garijo, Daniel and Jalaian, Brian}}, keywords = {{dice kuchelev moussallem ngonga srivastava}}, pages = {{122–130}}, publisher = {{ACM}}, title = {{{Lingua Franca - Entity-Aware Machine Translation Approach for Question Answering over Knowledge Graphs}}}, doi = {{10.1145/3587259.3627567}}, year = {{2023}}, } @inproceedings{54615, author = {{Demir, Caglar and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Advances in Intelligent Data Analysis XXI: 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12–14, 2023, Proceedings}}, keywords = {{318 SFB-TRR demir dice enexa ngonga sail}}, pages = {{103–115}}, title = {{{Learning Permutation-Invariant Embeddings for Description Logic Concepts}}}, year = {{2023}}, } @inproceedings{54616, author = {{Becker, Alexander and Ahmed, Abdullah Fathi Ahmed and Sherif, Mohamed and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{SEMANTiCS}}, keywords = {{ahmed becker dice ngonga sail sherif}}, title = {{{COBALT: A Content-Based Similarity Approach for Link Discovery over Geospatial Knowledge Graphs}}}, year = {{2023}}, } @inproceedings{54618, author = {{Wilke, Daria and Grewe, Carolin and Thavathilakarjah, Dhusjanth and Anacker, Harald and Dumitrescu, Roman}}, location = {{Kapstadt}}, title = {{{Method Engineering – a Systematic Literature Review on Scopus Base}}}, year = {{2023}}, } @inproceedings{54620, author = {{Seidenberg, Tobias and Ayoub, Joe and Figge, Mike and Anacker, Harald and Dumitrescu, Roman}}, location = {{Bangkok}}, title = {{{Method to support the selection of localization technologies for Industry 4.0}}}, year = {{2023}}, } @inproceedings{54621, author = {{Schreiner, Nick and Kürpick, Christian and Kühn, Arno and Dumitrescu, Roman}}, location = {{Buenos Aires}}, title = {{{Sustainability Data Map: Framework for Data-Based Product Carbon Footprinting of Technical Products}}}, year = {{2023}}, } @article{47845, author = {{Aslan, Fatma and Duman, Papatya and Trockel, Walter}}, journal = {{Economics Bulletin}}, number = {{3}}, pages = {{1279--1285}}, title = {{{PEA: core-analogue for non-cohesive games}}}, volume = {{43}}, year = {{2023}}, } @misc{54622, author = {{Gabriel, Stefan and Fechtelpeter,, Christian and Wulf, Jessica and Leßmann, Salome and Dumitrescu, Roman}}, title = {{{Transferkonzept eines Kompetenzzentrums der Arbeitsforschung in einer von mittelständischen Unternehmen geprägten Region}}}, year = {{2023}}, } @inproceedings{47306, author = {{Herbert, Franziska and Becker, Steffen and Schaewitz, Leonie and Hielscher, Jonas and Kowalewski, Marvin and Sasse, M. Angela and Acar, Yasemin and Dürmuth, Markus}}, booktitle = {{Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023}}, editor = {{Schmidt, Albrecht and Väänänen, Kaisa and Goyal, Tesh and Kristensson, Per Ola and Peters, Anicia and Mueller, Stefanie and Williamson, Julie R. and Wilson, Max L.}}, pages = {{582:1–582:23}}, publisher = {{ACM}}, title = {{{A World Full of Privacy and Security (Mis)conceptions? Findings of a Representative Survey in 12 Countries}}}, doi = {{10.1145/3544548.3581410}}, year = {{2023}}, } @inproceedings{47304, author = {{Wermke, Dominik and Klemmer, Jan H. and Wöhler, Noah and Schmüser, Juliane and Sri Ramulu, Harshini and Acar, Yasemin and Fahl, Sascha}}, booktitle = {{44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023}}, pages = {{1545–1560}}, publisher = {{IEEE}}, title = {{{"Always Contribute Back": A Qualitative Study on Security Challenges of the Open Source Supply Chain}}}, doi = {{10.1109/SP46215.2023.10179378}}, year = {{2023}}, } @inproceedings{47299, author = {{Krause, Alexander and Klemmer, Jan H. and Huaman, Nicolas and Wermke, Dominik and Acar, Yasemin and Fahl, Sascha}}, booktitle = {{32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023}}, editor = {{Calandrino, Joseph A. and Troncoso, Carmela}}, publisher = {{USENIX Association}}, title = {{{Pushed by Accident: A Mixed-Methods Study on Strategies of Handling Secret Information in Source Code Repositories}}}, year = {{2023}}, } @inproceedings{47310, author = {{Fourné, Marcel and Wermke, Dominik and Enck, William and Fahl, Sascha and Acar, Yasemin}}, booktitle = {{44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023}}, pages = {{1527–1544}}, publisher = {{IEEE}}, title = {{{It’s like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security}}}, doi = {{10.1109/SP46215.2023.10179320}}, year = {{2023}}, } @inproceedings{47311, author = {{Munyendo, Collins W. and Acar, Yasemin and Aviv, Adam J.}}, booktitle = {{44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023}}, pages = {{570–587}}, publisher = {{IEEE}}, title = {{{"In Eighty Percent of the Cases, I Select the Password for Them": Security and Privacy Challenges, Advice, and Opportunities at Cybercafes in Kenya}}}, doi = {{10.1109/SP46215.2023.10179410}}, year = {{2023}}, } @inproceedings{47303, author = {{Keküllüoglu, Dilara and Acar, Yasemin}}, booktitle = {{44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023}}, pages = {{2015–2031}}, publisher = {{IEEE}}, title = {{{"We are a startup to the core": A qualitative interview study on the security and privacy development practices in Turkish software startups}}}, doi = {{10.1109/SP46215.2023.10179339}}, year = {{2023}}, } @article{47296, author = {{Kohno, Tadayoshi and Acar, Yasemin and Loh, Wulf}}, journal = {{CoRR}}, title = {{{Ethical Frameworks and Computer Security Trolley Problems: Foundations for Conversations}}}, doi = {{10.48550/arXiv.2302.14326}}, volume = {{abs/2302.14326}}, year = {{2023}}, } @inproceedings{47305, author = {{Amft, Sabrina and Höltervennhoff, Sandra and Huaman, Nicolas and Acar, Yasemin and Fahl, Sascha}}, booktitle = {{Nineteenth Symposium on Usable Privacy and Security, SOUPS 2023, Anaheim, CA, USA, August 5-7, 2023}}, editor = {{Kelley, Patrick Gage and Kapadia, Apu}}, pages = {{171–190}}, publisher = {{USENIX Association}}, title = {{{"Would You Give the Same Priority to the Bank and a Game? I Do Not!" Exploring Credential Management Strategies and Obstacles during Password Manager Setup}}}, year = {{2023}}, }