University of Klagenfurt (AAU)

Filter
Conference paper

Search results

  • 2023

    Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)

    Ali, R., El-Kholany, M. M. S. & Gebser, M., 2023, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 85-95 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13880 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes

    El-Kholany, M. M. S., Ali, R. & Gebser, M., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 243-252 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Learning to Break Symmetries for Efficient Optimization in Answer Set Programming

    Tarzariol, A., Gebser, M., Schekotihin, K. & Law, M., 27 Jun 2023, Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023: AAAI-23 Technical Tracks 5. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 6541-6549 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review