TY - GEN A1 - Klimczak, Peter A1 - Hofstedt, Petra A1 - Schmitt, Ingo A1 - Petersen, Christer T1 - Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft T2 - Workshop INF-DH-2018 N2 - Zwar hat sich die elektronische Datenverarbeitung etwa im Rahmen der Archivierung, der Kategorisierung und der Suche von bzw. in Texten allgemein durchgesetzt, allerdings können deren Verfahren bisher nur bedingt auf eine Ebene des Textverständnisses vordringen. Es existieren keine Algorithmen, die menschliche Interpretation auf Subtextebene zufriedenstellend imitieren könnten. Unter Subtext wird hier eine Bedeutungsebene verstanden, die der expliziten Aussage eines Textes als zusätzliche Ausdrucksdimension unterlegt ist. Von Seiten der Computerphilologie sind bisher einzig Textanalyse und -interpretation unterstützende Verfahren entwickelt worden, die lediglich auf der Sprachoberfläche Anwendung finden (Jannidis, 2010). Von Seiten der Computerlinguistik und der Informatik existieren hingegen Text-Retrieval-Systeme, die den groben Inhalt von Texten erfassen (Manning et al., 2008). Dabei erfolgt jedoch keine ‚echte‘ Interpretation, die die impliziten Aussagen des Textes erfassen und damit die Ableitung neuen Wissens ermöglichen könnte. Aufbauend auf der 2016 vorgestellten formalen Subtextanalyse (Klimczak, 2016) erscheint aber ein algorithmisiertes Verfahren zur Rekonstruktion von komplexen Semantiken narrativer Gebrauchstexte möglich, welches die bestehenden Verfahren sowohl der Computerphilologie als auch der Computerlinguistik qualitativ übertreffen könnte, indem es hermeneutische Zugänge für informationstechnische Forschung erschließt. KW - Interpretation KW - Interdisziplinarität KW - Medienwissenschaft KW - Subtextanalyse KW - Narrativik KW - Hermeneutik KW - Semantik KW - Semiotik Y1 - 2018 U6 - https://doi.org/10.18420/infdh2018-06 PB - Gesellschaft für Informatik e.V. CY - Bonn ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Iliadis, Lazaros S. ED - Maglogiannis, Ilias ED - Plagianakos, Vassilis P. T1 - The Regularization of CSPs for Rostering, Planning and Resource Management Problems T2 - Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece KW - Artificial Intelligence KW - Constraint Programming KW - Constraint Transformation KW - Planning and Scheduling Y1 - 2018 SN - 978-3-319-92006-1 SN - 978-3-319-92007-8 U6 - https://doi.org/10.1007/978-3-319-92007-8_18 SP - 209 EP - 218 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Groza, Adrian ED - Prasath, Rajendra T1 - Solving the Traveling Tournament Problem with Predefined Vanues by Parallel Constraint Programming T2 - Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018 KW - Artificial Intelligence KW - Constraint Programming KW - Traveling Tournament Problem KW - Parallel Programming KW - Constraint Solving Y1 - 2018 SN - 978-3-030-05917-0 SN - 978-3-030-05919-4 U6 - https://doi.org/10.1007/978-3-030-05918-7_7 SP - 64 EP - 79 PB - Springer International Publishing CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step towards Parallel Constraint Solving T2 - Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers KW - Artificial Intelligence KW - Constraint Programming KW - Parallel Constraint Solving Y1 - 2018 UR - https://www.springer.com/de/book/9783030008000 SN - 978-3-030-00800-0 U6 - https://doi.org/10.1007/978-3-030-00801-7_6 SP - 81 EP - 94 PB - Springer CY - Heidelberg [u.a.] ER - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Plümicke, Martin ED - Alia, Fayez Abu T1 - Sharing Nogoods between Portfolio Instances in Choco Solver T2 - 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019 Y1 - 2019 SN - 978-3-8440-6933-4 SP - 31 EP - 36 PB - Shaker Verlag CY - Düren ER - TY - CHAP A1 - Hofstedt, Petra A1 - Hower, Walter A1 - John, Ulrich A1 - Wolf, Armin ED - Draude, Claude ED - Lange, Martin ED - Sick, Bernhard T1 - MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme T2 - INFORMATIK 2019 - 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft Y1 - 2019 UR - https://dl.gi.de/handle/20.500.12116/25099 SN - 978-3-88579-689-3 U6 - https://doi.org/10.18420/inf2019_ws40 PB - GI CY - Bonn ER - TY - RPRT ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Deklarative Ansätze zur Künstlichen Intelligenz, W(C)LP 2018, Post-Proceedings KW - Deklarative Programmierung Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up T2 - Deklarative Ansätze zur Künstlichen Intelligenz – punktuelle Beiträge - Post-Proceedings des 32. Workshops für (Constraint) Logische Programmierung KW - Constraint Programming Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf SP - 19 EP - 24 PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019 N2 - This paper describes a new approach to decompose constraint satisfaction problems (CSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects sub-CSPs which share only few common variables. The purpose of this approach is to find sub-CSPs which can be solved in parallel and combined to a complete solution of the original CSP. Therefore, our decomposition approach has two goals: 1. to evenly balance the workload distribution over all cores and solve the partial CSPs as fast as possible and 2. to minimize the number of shared variables to make the join process of the solutions as fast as possible. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007455907550761 SP - 755 EP - 761 PB - SciTePress ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence N2 - This paper describes a new approach on optimization of regular constraint satisfaction problems (rCSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects areas with a potentially high number of conflicts. The purpose of this approach is to remove conflicts by the combination of regular constraints with intersection and concatenation of their underlying deterministic finite automatons (DFAs). This, eventually, often allows to significantly speed-up the solution process of the original rCSP. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007260204350442 SP - 435 EP - 442 PB - SciTePress ER -