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
  • USI
  • OEH Klagenfurt
Gütesiegel evalagGütesiegel Betriebliche GesundheitsförderungPrix VersaillesEMAS SiegelGütezeichen hochschuleundfamilie
Deutsch
search
Quicklinks +
  • English English English en
  • Deutsch Deutsch German de
  • Twitter
  • Facebook
  • Youtube
  • Instagram
University of Klagenfurt
  • Home
  • University
        • Organisation
          • Management
          • Academic affairs and organisation
          • Faculties, departments and 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 & extension curricula
          • Specialist courses & optional subjects
          • Continuing education programmes
          • Doctoral Degree Programme
          • Degree Programmes in English
        • Studying at AAU
          • New starter checklists
          • 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
          • Entrée - ESN Klagenfurt
          • ÖH Referat Interkulturalität
          • Language certificates

DEPARTMENT OF ARTIFICIAL INTELLIGENCE AND CYBERSECURITY

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

Publications

SEMSYS Publications (coming from CRIS)

Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Faber

Univ.-Ass. Dipl.-Ing. Dr. Michael Morak

Univ.-Ass. Haya Majid Qureshi

    2020
  • Lukáš Chrpa, Wolfgang Faber, Michael Morak, Daniel Fišer: Determining Action Reversibility in STRIPS Using Answer Set Programming. ICLP20WS 2020, 2678, 2020,

  • Wolfgang Faber, Michael Morak: Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. ICLP20WS 2020, 2678, 2020,

  • Michael Morak, Lukáš Chrpa, Wolfgang Faber, Daniel Fišer: On the Reversibility of Actions in Planning. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, IJCAI Inc., Menlo Park (CA), 2020, S. 652 - 661.

  • Haya Majid Qureshi, Wolfgang Faber: Supporting Metamodeling in Ontologies UsingRules. Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020, 2020, S. 95 - 102.

  • 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,

  • 2019
  • Wolfgang Faber, Michael Morak, Stefan Woltran: On Uniform Equivalence of Epistemic Logic Programs. Theory and Practice of Logic Programming, 35th Int'l. Conference on Logic Programming (ICLP 2019) Special Issue, Cambridge University Press, 19, Cambridge, 2019, S. 826 - 840.

  • Wolfgang Faber: Die Maschine als Experte für besondere Jobs. Der Standard, Standard Verlagsgesellschaft m.b.H., Wien, 2019, S. 12 - 12.

  • Wolfgang Faber: Maschine soll Veränderung einbeziehen. Kleine Zeitung, Mediaprint Zeitungs- und Zeitschriftenverlag GmbH & Co KG, Wien, 2019,

  • Wolfgang Faber, Michael Morak, Stefan Woltran: Strong Equivalence for Epistemic Logic Programs Made Easy. 33rd AAAI Conference on Artificial Intelligence (AAAI-19), AAAI Press, Menlo Park (CA), 2019, S. 2809 - 2816.

  • Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca: Algorithm Selection for Paracoherent Answer Set Computation. Proceedings of the 16th European Conference on Logics in Artificial Intelligence, Springer Verlag GmbH, 11468, Berlin, Heidelberg, New York, 2019, S. 479 - 489.

  • Mario Alviano, Wolfgang Faber: Chain Answer Sets for Logic Programs with Generalized Atoms. Proceedings of the 16th European Conference on Logics in Artificial Intelligence, Springer Verlag GmbH, 11468, Berlin, Heidelberg, New York, 2019, S. 462 - 478.

  • Wolfgang Faber, Michael Morak, Stefan Woltran: Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract. Proceedings 35th International Conference on Logic Programming (Technica Communications), {ICLP} 2019 Technical Communications, 306, 2019, S. 365 - 366.

  • 2018
  • Tomáš Škeřík, Lukáš Chrpa, Wolfgang Faber, Mauro Vallati: Automated Training Plan Generation For Athletes. 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) , IEEE, Piscataway (NJ), 2018, S. 3865 - 3870.

  • Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin: Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. Computational Models of Argument - Proceedings of COMMA 2018, IOS Press, 305, Amsterdam, 2018, S. 459 - 460.

  • Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca: Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. Proceedings of the 25th RCRA International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2018,

  • Mario Alviano, Wolfgang Faber: Aggregates in Answer Set Programming. KI - Künstliche Intelligenz, 32, 2018, S. 119 - 124.

  • Mario Alviano, Wolfgang Faber: Chain Answer Sets for Logic Programs with Generalized Atoms - How Not To Fix a Semantic Problem. Proceedings of the Second Workshop on Answer Set Programming and Other Computing Paradigms (TAASP 2018), 2018,

Some SEMSYS 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
    • Administrative Functions at AICS
    • Contact

Quicklinks

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

Portals

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

Information for

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

Address

Alpen-Adria-Universität 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 Prix Versailles Gütezeichen hochschuleundfamilie Logo KWF-Förderemblem
© University of Klagenfurt
  • Legal notice
  • Disclaimer
  • Privacy policy
  • Accessibility
  • Webredaktion
Scroll to top