Forschung | AAU Campus

Die Forschungsdokumentation (FoDok) der Universität Klagenfurt erfasst die Leistungen von Wissenschaftler*innen für den Zeitraum ihres aktiven Dienstverhältnisses zur Universität Klagenfurt sowie von Doktoratsstudierenden und emeritierten/pensionierten Wissenschaftler*innen.
Bei personenbezogenen Filtereinstellungen ist zu beachten, dass die in der FoDok enthaltenen Einträge keinen Gesamtüberblick der Forschungsleistungen einer Person darstellen.

Publikationen (97)

Sortiert nach

Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning.

Tassel P. P. A., Kovács B., Gebser M., Schekotihin K., Stöckermann P., Seidel G.: In: Winter Simulation Conference (WSC 2023) IEEE Press Piscataway, 2023,
Homepage
Beitrag in Proceedings
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming (Extended Abstract).

Tarzariol A., Gebser M., Schekotihin K., Law M.: In: Proceedings 39th International Conference on Logic Programming (ICLP 2023) Imperial College London, 2023, pp. 408 - 410.
Homepage
Beitrag in Proceedings
An End-to-End Reinforcement Learning Approach for Job-Shop Scheduling Problems Based on Constraint Programming.

Tassel P. P. A., Gebser M., Schekotihin K.: In: Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (ICAPS 2023) Menlo Park (CA): AAAI Press, 2023, pp. 614 - 622.
DOI
Beitrag in Proceedings
Learning to Break Symmetries for Efficient Optimization in Answer Set Programming.

Tarzariol A., Gebser M., Schekotihin K., Law M.: In: Proceedings of the 37th AAAI Conference on Artificial Intelligence Menlo Park (CA): AAAI Press, 2023, pp. 6541 - 6549.
DOI
Beitrag in Proceedings
Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning.

Tassel P. P. A., Kovács B., Gebser M., Schekotihin K., Stöckermann P., Seidel G.: Computer Research Repository (CoRR) 14.02.2023,

Abstract
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach.

Mukhtar A., Hofer B., Jannach D., Wotawa F., Schekotihin K.: In: ASE22: 37th IEEE/ACM International Conference on Automated Software Engineering New York: Association for Computing Machinery (ACM), 2023, pp. 1 - 5.
DOI
Beitrag in Proceedings
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.

Taupe R., Friedrich G., Schekotihin K., Weinzierl A.: In: Journal of Artificial Intelligence Research 2023, pp. 59 - 114.
Homepage
Beitrag in Zeitschrift
Predicting Ion Beam Tuning Success in Semiconductor Manufacturing.

Laber A., Gebser M., Schekotihin K., Yang Y.: In: Conference Proceedings The Fourteenth International Conference on Advanced Semiconductor Devices and Microsystems (ASDAM 2022) Piscataway (NJ): IEEE, 2022, pp. 30 - 36.
DOI
Beitrag in Proceedings
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming.

Taupe R., Friedrich G., Schekotihin K., Weinzierl A.: In: CoRR Aachen: CEUR Workshop Proceedings (CEUR-WS.org), 2022,
Homepage DOI
Beitrag in Zeitschrift
Lifting Symmetry Breaking Constraints with Inductive Logic Programming. (Extended Abstract)

Tarzariol A., Gebser M., Schekotihin K.: In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 International Joint Conferences on Artificial Intelligence, 2022, pp. 1 - 2.
Homepage
Abstract
Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling.

El-Kholany M. M. S., Gebser M., Schekotihin K.: In: Theory and Practice of Logic Programming Cambridge: Cambridge University Press, 2022, pp. 623 - 639.
DOI
Beitrag in Zeitschrift
Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems.

Tarzariol A., Schekotihin K., Gebser M., LAW M.: In: Theory and Practice of Logic Programming Cambridge: Cambridge University Press, 2022, pp. 606 - 622.
DOI
Beitrag in Zeitschrift
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling.

Tassel P. P. A., Kovács B., Gebser M., Schekotihin K., Kohlenbrein W., Schrott-Kostwein P.: In: Vol. 32 (2022): Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling Menlo Park (CA): AAAI Press, 2022, pp. 638 - 646.
Homepage
Beitrag in Proceedings
Lifting symmetry breaking constraints with inductive logic programming.

Tarzariol A., Gebser M., Schekotihin K.: In: Machine Learning Berlin: Springer, 2022, pp. 1303 - 1326.
DOI
Beitrag in Zeitschrift
Decomposition-Based Job-Shop Scheduling with Constrained Clustering.

El-Kholany M. M. S., Schekotihin K., Gebser M.: In: Practical Aspects of Declarative Languages : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings (Lecture Notes in Computer Science, Band 13165 ), Springer Nature Switzerland AG, 2022, pp. 165 - 180.
DOI
Beitrag in Proceedings
Solving Configuration Problems with ASP and Declarative Domain-Specific Heuristics.

Taupe R., Friedrich G., Schekotihin K., Weinzierl A.: In: CEUR Workshop Proceedings (Proceedings of the 23rd International Configuration Workshop, Band 2945 ), Aachen: CEUR Workshop Proceedings (CEUR-WS.org), 2022, pp. 13 - 20.
Homepage
Beitrag in Proceedings
Report Classification for Semiconductor Failure Analysis.

Platter F., Safont-Andreu A., Burmer C., Schekotihin K.: In: Conference Proceedings from the 47th International Symposium for Testing and Failure Analysis (ISTFA 2021 ), New York, NY: ACM Digital Library, 2021, pp. 1 - 5.
Homepage
Beitrag in Proceedings
Using Ontologies in Failure Analysis.

Safont-Andreu A., Burmer C., Schekotihin K.: In: Conference Proceedings from the 47th International Symposium for Testing and Failure Analysis (ISTFA 2021 ), New York, NY: ACM Digital Library, 2021, pp. 23 - 26.
Homepage
Beitrag in Proceedings
A Reinforcement Learning Environment For Job-Shop Scheduling.

Tassel P. P. A., Gebser M., Schekotihin K.: In: Proceedings of the Planning and Reinforcement Learning workshop PRL2021 2021,
Homepage
Beitrag in Proceedings
Lifting Symmetry Breaking Constraints with Inductive Logic Programming.

Tarzariol A., Gebser M., Schekotihin K.: In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI) International Joint Conferences on Artificial Intelligence, 2021, pp. 2062 - 2068.
Homepage DOI
Beitrag in Proceedings