Campus-System

  • Research Information System
  • Staff Search
  • Courses
  • Exams

Employees-Portal

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

Information for

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

Links

  • Webmail
  • Library
  • Vacancies
  • University bulletin
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services
  • USI
  • OEH Klagenfurt
Logo QS Top 50 Under 50 UniversitiesLogo The Times Higher Education World University RankingLogo Academic Ranking of World UniversitiesGütesiegel evalagGütesiegel Betriebliche Gesundheitsförderung
Prix 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
      • University history
      • Roll of honour
      • Gender and equality
      • Health Management
      • The Kärntner 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 / Open positions
      • University bulletin
      • Media services
      • Family services
      • Services for disabled students
      • University library
  • Study
    • Courses offered
      • List of degree programmes
      • Doctoral Degree Programme
      • Degree Programmes in English
      • Extension programmes & extension curricula
      • Specialist courses & optional subjects
      • Continuing education programmes
    • Studying at AAU
      • New starter checklists
      • Applying to study
      • Starting your programme
      • During your programme
      • Completing your programme
      • Search for courses
    • Student Life
      • Campus
      • Accommodation
      • Catering
      • Accessibility
      • Sport & leisure
      • Work & study
      • Family & study
      • Scholarships & grants
      • Offices and services
    • Study abroad
      • Study in Klagenfurt
      • Study abroad
      • Summer schools
      • Support & advice
    • Support & Information
      • Term dates and deadlines
      • FAQs
      • Admissions and Examinations Office
      • Student Guidance Service
      • Office of Academic Affairs
      • International Office
      • Doc.Service
      • Union of Students (ÖH)
      • Student Ombudsman
      • Alumni & careers
      • University library
  • Research
    • Research profile
      • Research activities
      • Main research areas
      • Good academic practice
      • Institutional Review Board for Research Ethics
      • Open Access
      • Knowledge transfer
      • The Karl Popper Kolleg
    • 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
      • Research Information System (FoDok)
      • Science communications
  • International
    • International Profile
      • Courses offered in English
      • Partner universities
    • Study abroad
      • Erasmus+ student mobility
      • Joint-Study
      • Joint and double degrees
      • Short-term research placements abroad
      • Summer schools
      • Weitere Förderungen
      • FAQ for outgoing students
    • Study in Klagenfurt
      • Students in mobility programmes
      • Entry & Residence (VISA)
      • Accommodation
      • MORE programme for refugees
    • Work and research abroad
      • Lecturers
      • Young researchers
      • General staff
      • Erasmus+ student internships
      • Subject-specific international placements
      • Teaching German abroad
    • Information & advice
      • International Office
      • Admissions and Examinations Office
      • Entrée – ESN Klagenfurt
      • ÖH Referat Interkulturalität
      • Language Centre German in Austria
  • Menu

DEPARTMENT OF APPLIED INFORMATICS

AAU / Department of Applied Informatics / Research Groups / Research Group Semantic Systems / 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

    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.

  • 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 Applied Informatics (AINF) can also be found in the University Research Information System (CRIS).

  • Department of Applied Informatics
  • 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
        • Martin Gebser
      • Publications
      • Projects
      • Teaching
    • Semantic Systems
      • Team
        • Wolfgang Faber
      • Publications
      • Projects
      • Teaching
    • System Security
      • Publications
      • Team
      • Projects
      • Teaching (extern)
      • Events (extern, German)
  • Research
    • Publications
    • Projects (extern CRIS)
  • Teaching
    • Studying Technical Sciences
    • Templates
  • Administrative Functions at AINF
  • Contact

Quicklinks

  • Webmail
  • Library
  • Vacancies
  • University bulletin
  • 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
  • Prospective Students
  • Students
  • Continuing Education
  • Researchers
  • Staff
  • Partners & Supporters
  • Alumni & Career
  • 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
Logo QS Top 50 Under 50 Universities Logo The Times Higher Education World University Ranking Logo Academic Ranking of World Universities
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
  • Webredaktion
Scroll to top