Campus-System

  • Research Information System
  • Staff Search
  • Courses
  • Exams

Employees-Portal

  • Organization handbook
  • Operational messages
  • Internal messages
  • Personal messages

Information for

  • Pupils
  • Alumni & Career
  • Prospective Students
  • Continuing Education
  • Researchers
  • Students
  • Staff
  • Partners & Sponsors
  • International

Links

  • Webmail
  • Library
  • Vacancies
  • University bulletin
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services (ZID)
  • eLearning Service
  • USI
  • OEH Klagenfurt
Gütesiegel evalagGütesiegel Betriebliche GesundheitsförderungSatisfaction Award 2021EMAS SiegelGütezeichen hochschuleundfamilieGütezeichen Equalita
Deutsch
search
Quicklinks +
  • English English English en
  • Deutsch Deutsch German de
  • Twitter
  • Facebook
  • Youtube
  • Instagram
  • LinkedIn
University of Klagenfurt
  • Home
  • University
        • Organisation
          • Management
          • Academic affairs and organisation
          • Faculties, departments and faculty centres
          • University centres
          • University Executive support offices
          • Administration and management
          • Representations and commissioners
          • Organisational plan
          • Statute
        • Profile
          • Mission statement
          • Quality strategy
          • Rankings
          • University history
          • Roll of honour
          • Health Management
          • Gender and equality
          • The Carinthian University Conference
          • Alps-Adriatic Rectors‘ Conference
          • The university and the region
        • Campus
          • On Campus
          • Art and Culture
          • Accommodation
          • Catering
          • Sports and leisure
          • Green campus
          • Car parks and parking regulations
          • More light, air, and openness
        • Contact
          • Vacancies
          • University bulletin
          • Partners & Sponsors
          • Media services
          • Family services
          • Services for disabled students
          • University library
          • Covid19 Information
  • Study
        • Courses offered
          • List of degree programmes
          • Extension programmes
          • Specialist courses & optional subjects
          • Continuing education programmes
          • Doctoral Degree Programme
          • Degree Programmes in English
        • Studying at AAU
          • New starter checklist
          • Applying to study
          • Starting your programme
          • During your programme
          • Completing your programme
          • Search for courses
        • Student Life
          • Scholarships & grants
          • Offices and services
          • Campus
          • Accommodation
          • Catering
          • Accessibility
          • Sport & leisure
          • Work & study
          • Family & study
        • Study abroad
          • Study in Klagenfurt
          • Study abroad
          • Summer schools
          • Support & advice
        • Support & Information
          • Term dates and deadlines
          • FAQs
          • Admissions and Examinations Office
          • Office of Academic Affairs
          • Student Guidance Service
          • Union of Students (ÖH)
          • International Office
          • Doc.Service
          • Student Ombudsman
          • Alumni & careers
          • University library
  • Research
        • Research profile
          • Grants & Winners
          • Main research areas
          • Institutional partnerships
          • Good academic practice
          • Institutional Review Board for Research Ethics
          • Open Access
          • Knowledge transfer
          • Kollegs
        • Research funding
          • Internal funding
          • External funding
        • Career progression for young researchers
          • Thematic Doctoral Programmes
          • Young scientists mentoring
          • Career paths
          • Continuing education programme for young researchers
          • Think Tank
        • Support & communications
          • The Research Support Service
          • Science communications
          • Research Information System (FoDok)
  • International
        • International Profile
          • Courses offered in English
          • Partner universities
        • Study abroad
          • Joint-Study
          • Joint and double degrees
          • Short-term research placements abroad
          • Summer schools
          • Further outgoing grants
          • FAQ for outgoing students
          • Erasmus+ student mobility
        • Work and research abroad
          • Lecturers
          • Young researchers
          • General staff
          • Subject-specific international placements
          • Teaching German abroad
          • Erasmus+ student internships
        • Study in Klagenfurt
          • Students in mobility programmes
          • Entry & Residence (VISA)
          • Accommodation
          • MORE programme for refugees
        • Information & advice
          • International Office
          • Admissions and Examinations Office
          • Language Centre German in Austria
          • ESN Klagenfurt
          • Student Union Section for International Students
          • Language certificates

DEPARTMENT OF ARTIFICIAL INTELLIGENCE AND CYBERSECURITY

AAU1/...Department of Artificial Intelligence and Cybersecurity2/Research Groups3/Research Group Production Systems4/Publications

Publications

PROSYS Publications (coming from CRIS)

Univ.-Prof. Dr. Martin Gebser

Univ.-Ass. El-Kholany Mohammed Mahmoud Saadeldin

Univ.-Ass. Alice Tarzariol

Univ.-Ass. Pierre Paul Alain Tassel

Sen. Scientist Benjamin Kovács, BSc.MSc.

    2021
  • Benjamin Kovács, Pierre Paul Alain Tassel, Martin Gebser, Wolfgang Kohlenbrein, Philipp Schrott-Kostwein: Utilizing Constraint Optimization for Industrial Machine Workload Balancing. 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 210, Dagstuhl, 2021, S. 551 - 567.

  • Pierre Paul Alain Tassel, Martin Gebser, Konstantin Schekotihin: A Reinforcement Learning Environment For Job-Shop Scheduling. Proceedings of the Planning and Reinforcement Learning workshop PRL2021, 2021,

  • Alice Tarzariol, Martin Gebser, Konstantin Schekotihin: Lifting Symmetry Breaking Constraints with Inductive Logic Programming. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI), International Joint Conferences on Artificial Intelligence, 2021, S. 2062 - 2068.

  • Pierre Paul Alain Tassel, Mohamed Rbaia: A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Logics in Artificial Intelligence, Springer Nature Switzerland AG, 2021, S. 442 - 457.

  • Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak: Logics in Artificial Intelligence. Lecture Notes in Computer Science, 12678, 2021,

  • Mohammed Mahmoud Saadeldin El-Kholany, Konstantin Schekotihin: Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP. Logics in Artificial Intelligence, Springer Nature Switzerland AG, 2021,

  • 2020
  • Alice Tarzariol, Eugenia Zanazzo, Agostino Dovier, Alberto Policriti: Towards a Logic Programming Tool for Cancer Data Analysis. Fundamenta Informaticae, 176, 2020, S. 299 - 319.

  • Pierre Paul Alain Tassel, Martin Gebser, Mohamed Rbaia: An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

  • Alice Tarzariol, Martin Gebser, Konstantin Schekotihin: Lifting Symmetry Breaking Constraints with Inductive Logic Programming. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

  • Mohammed Mahmoud Saadeldin El-Kholany, Martin Gebser: Job Shop Scheduling with Multi-shot ASP. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

  • Martin Gebser, Felicitas Fabricius, Marco De Bortoli, Gerald Steinbauer, Maximilian Selmair, Michael Reip: Towards ASP-based Scheduling for Industrial Transport Vehicles. Proceedings of the Fourth Workshop on Trends and Applications of Answer Set Programming (TAASP 2020), 2020,

  • Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, Jessica Zangari: International Conference on Logic Programming 2020 Workshop Proceedings (ICLP20WS). CEUR Workshop Proceedings (CEUR-WS.org), 2678, Aachen, 2020,

  • Pierre Paul Alain Tassel, Martin Gebser, Mohamed Rbaia: An ASP Multi-Shot Encoding for the Aircraft Routing and Maintenance Planning Problem. Proceedings of the International Conference on Logic Programming 2020 Workshops, CEUR Workshop Proceedings (CEUR-WS.org), Aachen, 2020,

  • Martin Gebser, Tomi Janhunen, Jussi Rintanen: Declarative encodings of acyclicity properties. Journal of Logic and Computation, Oxford University Press, 30, New York, 2020, S. 923 - 952.

  • Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub: ASP-Core-2 Input Language Format. Theory and Practice of Logic Programming, Cambridge University Press, Cambridge, 2020,

  • Felicitas Fabricius, Martin Gebser, Marco De Bortoli, Maximilian Selmair, Gerald Steinbauer, Michael Reip: Towards ASP-based Scheduling for Industrial Transport Vehicles. Proceedings of the Joint Austrian Computer Vision and Robotics Workshop 2020, Verlag der Technischen Universität Graz, Graz, 2020, S. 34 - 41.

  • 2019
  • Martin Gebser, Marco Maratea, Francesco Ricca: The Seventh Answer Set Programming Competition: Design and Results. Theory and Practice of Logic Programming, Cambridge University Press, Cambridge, 2019, S. 1 - 29.

  • Alice Tarzariol: Evolution of Algorithm Portfolio Methods for Combinatorial Search and Optimization Strategies. Proceedings of the Third Workshop on Trends and Applications of Answer Set Programming (TAASP 2019), 2019,

  • Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming, Cambridge University Press, 19, Cambridge, 2019, S. 27 - 82.

  • Yannis Dimopoulus, Martin Gebser, Patrick Lühne, Javier Romero, Torsten Schaub: plasp 3: Towards Effective ASP Planning. Theory and Practice of Logic Programming, Cambridge University Press, 19, Cambridge, 2019, S. 477 - 504.

Some PROSYS publications have not been available yet in the University Research Information System (CRIS) or have been published before authors became members of the Alpen-Adria-Universität Klagenfurt. These publications can be found on the personal homepages in the ‘Team’ menu on the right.

-> Note that the publication lists in the University Research Information System (CRIS) might be incomplete. More information can be found on the personal homepages of the team members.

All Publications of the Department of Artificial Intelligence and Cybersecurity (AICS) can also be found in the University Research Information System (CRIS).

  • Department of Artificial Intelligence and Cybersecurity
    • News
      • News in German (extern, new Tab)
    • Team
    • Research Groups
      • Information Systems
        • Team
          • Dietmar Jannach
        • Publications
        • Projects
        • Teaching
      • Intelligent Systems and Business Informatics
        • Team
        • Publications
        • Projects
        • Teaching
      • Production Systems
        • Team
        • Publications
        • Projects
        • Teaching
      • Semantic Systems
        • Team
        • Publications
        • Projects
        • Teaching
      • System Security
        • Team
        • Publications
        • Projects
        • Teaching (extern)
        • Events (extern, German)
      • Cybersecurity
    • Research
      • Publications
      • Projects (extern CRIS)
    • Teaching
      • Studying Technical Sciences
      • Templates
    • Contact

Quicklinks

  • Webmail
  • University bulletin
  • Library
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services (ZID)
  • USI
  • OEH Klagenfurt
  • Index A-Z

Portals

  • Campus-­System
  • Employees-­Portal
  • Moodle
  • Facebook
  • Twitter
  • Youtube
  • Instagram
  • LinkedIn
Siegel der Alpen-Adria-Universität Klagenfurt

Information for

  • Pupils
  • Alumni & Career
  • Prospective Students
  • Continuing Education
  • Researchers
  • Students
  • Staff
  • Partners & Sponsors
  • International

Address

University of Klagenfurt
Universitätsstraße 65-67
9020 Klagenfurt am Wörthersee
Austria

+43 463 2700
uni [at] aau [dot] at
www.aau.at
Campus Plan
Gütesiegel evalag Gütesiegel Betriebliche Gesundheitsförderung EMAS Siegel Satisfaction Award 2021 Gütezeichen hochschuleundfamilie Logo KWF-Förderemblem Gütezeichen Equalita
© University of Klagenfurt
  • Legal notice
  • Privacy policy
  • Accessibility
  • Webredaktion

Your privacy is important to us!


This website uses cookies to ensure the basic functionality of our website. We also use Cookies cookies to optimally redesign our website and to improve it continuously for you. For this purpose, it is necessary to pass on information to the respective service providers. By clicking on the "Accept all cookies" button, you agree to the use of cookies.
You can subsequently modify your preferred settings at any time under "Manage settings".
For further information on the cookies used, please refer to our privacy policy.

Manage settingsAccept all cookies

Cookie and Privacy Settings



How we use cookies

We use cookies to optimally redesign our website and to improve it continuously for you.
Click on the different category headings to view further information and to change the default settings.
Please note that refusing some cookies may affect the way our website works. Web pages may not be displayed correctly and may not function properly.

Reference to processing of your data collected on this website in countries without an adequate level of data protection:

By clicking on "Accept all cookies", you also consent to your data being processed by Google, Facebook, LinkedIn, Twitter and YouTube, including the USA in accordance with Art. 49 (1) sentence 1 lit. a DSGVO.
The European Court of Justice considers the USA to be a country with an insufficient level of data protection according to EU standards.

Essential Cookies & Cookie Notice

Essential cookies

These cookies are strictly necessary for the functioning of the website. Essential cookies enable basic functions and are necessary for the proper functioning of the website. You can set your browser to block these cookies or to notify you about these cookies. However, some parts of the website may not work as expected.
These cookies do not store any personal data.


Hiding the cookie notice

Two cookies are required for this setting to be saved. Otherwise this hint will be displayed again every time the page is loaded.

Google Analytics Cookies

We use tracking and analysis tools to ensure continuous optimisation and needs-based design of our website. Tracking measures also enable us to record statistics regarding the use of our website by visitors and to develop our website further on the basis of these findings.
If you do not want Google Analytics to track your use of our website and transmit your visits, you can disable tracking in your browser here:

Different external services

We also use different external services including Google Webfonts, Google Maps, and external video providers.
Since these providers may collect personal data such as your IP address we allow you to block them here.
Please be aware that this might significantly limit the functionality and appearance of our site. Changes will take effect once you reload the page.
Google Webfont Settings:

Google Maps Settings:

Google reCaptcha Settings:

Vimeo and Youtube video embeds:

Privacy policy

For further information on the cookies used, please refer to our

Datenschutzerklärung der Universität Klagenfurt
Save and accept selectionCancel
Open Message Bar
Scroll to top