TEWI Kolloquien – Stiftungsprofessur „Adaptive und vernetzte Produktionssysteme“ – 14. und 15. Mai 2018

Dienstag, 8. Mai 2018 14:11

Montag, 14. MAi 2018

9:00 – 10:00 Uhr Dr. Klaus SCHEWE

Vortragsthema: The CyPHER Model for End-to-End Hybrid Systems Engineering

11:00 – 12.00 Dr. Jan Olaf BLECH

Vortragsthema: Spatio-temporal Reasoning and Decision Support for Industrial Automation

14:00 – 15.00 Dr. Anna FENSEL

Vortragsthema: Increasing efficiency employing sensors, smart data and user engagement

16:00 – 17.00 Dr. Hans Georg FILL

Vortragsthema: Digitization of Future Production Systems Using Enterprise Modeling Methods


Dienstag, 15. Mai 2018

9:00 – 10:00 Dr. Martin GEBSER

Vortragsthema: Wissensbasierte Methoden für den Entwurf und die Optimierung von Produktionssystemen

11:00 – 12.00 DI DDr. Philipp HUNGERLÄNDER

Vortragsthema: Lösung eines Flottenoptimierungsproblems mit strukturierten Zeitfenstern für eine der weltweit größten Supermarktketten


Titel und Abstracts finden Sie hier.


Thema: AINF, Institut, Veranstaltung | Kommentare (0) | Autor:

Research Project Assistant / Doctoral Student

Mittwoch, 4. Oktober 2017 13:40

The Institute of Applied Informatics of the Alpen-Adria Universität Klagenfurt in cooperation with the DynaCon research project is seeking a

Research Project Assistant / Doctoral Student. Further informations please find here.


Thema: AINF, Institut, Jobs, Studium | Kommentare (0) | Autor:

Der nächste große Schritt für die Künstliche Intelligenz

Donnerstag, 21. April 2016 9:20

Heuristik für Industrie 4.0



Mit dem Projekt „Heuristic Intelligence“ – HINT werden buchstäblich neue Weichen gestellt. Mit der von der FFG geförderten Forschungskooperation der Angewandten Informatik unter Projektleiter Univ.-Prof. Gerhard Friedrich, des Instituts für Psychologie, der TU-Wien/Oxford, Siemens und Infineon werden neue Maßstäbe für die Industrie 4.0 gelegt.

Ausführliche Informationen über das Projekt finden Sie unter: HINT – Heuristik für Industrie 4.0



Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Gastvortrag: Dr. Carmine Dodaro (University of Calabria)

Dienstag, 12. April 2016 12:54

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „Efficient Solving Techniques for Answer Set Programming“

Zeit:           Dienstag, 19. April 2016, 14:00-16:00 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1



Answer Set Programming (ASP) is a well-established declarative programming paradigm. The high expressivity of ASP, combined with the growing number of industrial applications, made the implementation of efficient ASP solvers a challenging and crucial research topic. Efficient ASP solvers are required to address several reasoning tasks that go beyond the mere computation of answer sets. Among them are cautious reasoning, for modeling query entailment, and optimum answer set computation, for supporting numerical optimization. This talk reports on the techniques employed by the most efficient ASP solvers, and details the algorithms and the design choices for addressing several reasoning tasks in ASP.

CV: see

Die Folien zum Gastvortrag finden Sie hier: slides


Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

Vortrag: Radu Mateescu, INRIA, Grenoble

Mittwoch, 2. März 2016 12:01

(Der Vortrag wird live aus der TU-Graz übertragen)

Titel:         „On-the-Fly Verification for Extended Action-Based Temporal Logics“

Zeit:           Donnerstag, 3. März 2016, 11:00-12:30 Uhr

Ort:            Raum E 1.42, Südtrakt, Ebene 1



For analyzing the dynamic behaviour of concurrent value-passing systems, classical temporal logics must be extended with data-handling primitives. Since the early days of formal verification, many such extensions were proposed, both in the linear/branching time and the state/action based settings. We present here MCL (Model Checking Language), an extension of the alternation-free modal mu-calculus with data-handling features, generalized regular expressions over transition sequences, and fairness operators. MCL was designed to allow a versatile and succinct formulation of temporal properties interpreted on labeled transition systems (LTSs) containing data values. We illustrate the usage of MCL by means of classical examples of properties (safety, liveness, fairness). We also describe the implementation of MCL provided by the EVALUATOR 4.0 model checker of the CADP verification toolbox, which evaluates an MCL formula on-the-fly on an LTS and also produces full diagnostics (witnesses and counterexamples), i.e., subgraphs of the LTS illustrating the truth value of the formula. We discuss the expressiveness and evaluation complexity of MCL, and we outline directions of ongoing work.

CV: see



Thema: AINF, Forschung, Institut, Veranstaltung | Kommentare (0) | Autor:

FR, 15.1.2015: Gastvortrag DI Walter Strametz: Reisebericht eines Absolventen der Klagenfurter Informatik

Donnerstag, 14. Januar 2016 9:20

DI_walter_strametzDI Walter Strametz is an alumni of Alpen-Adria-Universität Klagenfurt. He is the CTO and Member of the Executive board of the Zurich based IT service provider ti&m (head of Mobile/IoT, Architecture and Agile). He has been working on agile projects as an architect and product owner, scrum master and agile coach. Agility brought him to customer centricity and innovation, which gave birth to the concept of the garage. You may follow him on LinkedIn, Xing or Twitter (@WalterStrametz) for further articles.

You may also virtually join like Walter via Google Hangouts

Save the date: FR 15.1.2015 , 15.00 Uhr, HS 2



Thema: AINF, Institut, PR_AINF, PR_Application Engineering, PR_Intelligent Systems/BI, PR_System Security, Praktikum, Studium, Veranstaltung, Verein FTF | Kommentare (0) | Autor:

Das war die Technik LIVE 2015

Montag, 21. Dezember 2015 15:59

Foto: Wolfgang HoiÜber 260 Schülerinnen und Schüler der Oberstufen kamen am 18. Dezember 2015 wieder zur alljährlichen Technik LIVE an die Universität Klagenfurt und konnten in 20 spannenden Workshops die Welt der Technik von allen Seiten betrachten und hautnah miterleben. Die Technik LIVE – Informatik, Mathematik und Informationstechnik ist mittlerweile bei den Schülerinnen und Schülern sehr beliebt und zeigte einmal mehr, wie viel Spaß technische Wissenschaften machen können und wie vielfältig ihr Einsatz ist.

Technik begeistert



Wir gratulieren den Siegern unseres Gewinnspieles Lukas und Philipp aus der HTL Mössingerstraße und Carolina aus dem BG/BRG St. Martin ganz herzlich!


Die Palette der Workshops reichte von der Programmierung kleiner Lego-Roboter, synchronisiertem Crowd-Fernsehen, Gestaltung intelligenter Wohnumgebungen bis hin über Spieleprogrammierungen und rasende Geschwindigkeiten im Fahrzeugsimulator. In zwei Workshoprunden war für jede und jeden etwas Spannendes dabei!

 Fotos: Wolfgang Hoi




Thema: Schulen, Veranstaltung | Kommentare (1) | Autor:

2. Juli, 14.00 Uhr – Gastvortrag Prof. Wolfgang Faber

Freitag, 26. Juni 2015 12:39

Titel: Aggregates in Answer Set Programming


Well-studied and commonly used in database query languages, aggregates form an intuitive means of representing knowledge. Since logic programs can be viewed as a database query language, it is natural to consider aggregates also in their context. However, logic programs allow for recursive specifications, which are either disallowed or allowed only in a restricted form in most database query languages. It turns out that aggregates used in connection with recursion raise a number of semantic issues, some of them reminiscent of issues with the semantics of negation, a hot topic in logic programming about three decades ago. One of the semantics for logic programs with negation that emerged and has proved itself to be viable is the stable model semantics or answer set semantics. In this talk we will show how ideas from this semantics can be transferred to programs with aggregates, what issues arise when doing so, and what options there are to overcome these. Furthermore, we will outline properties of the resulting semantics and the availability of system support. Finally, we show that all of these considerations are not really limited to aggregates, but more general constructs, such as those found in HEX programs or description logic programs.


Wolfgang Faber serves as Professor of Artificial Intelligence at the University of Huddersfield (UK). Before that, he was a Reader at the same university, an Associate Professor at the University of Calabria (Italy), and an Assistant Professor at the Vienna University of Technology, where he also obtained his PhD in 2002. From 2004 to 2006 he was on an APART grant of the Austrian Academy of Sciences. His general research interests are in knowledge representation, logic programming, nonmonotonic reasoning, planning, and knowledge-based agents. He has published more than 100 refereed articles in major journals, collections and conference proceedings in these areas. He is one of the architects of DLV, a state-of-the-art system for computing answer sets of disjunctive deductive databases, which is used all over the world. He has acted as a chair for several workshops and conferences, and has been on the program committees of many of the major conferences of his research areas, and has served on the editorial board and as a reviewer for many journals and conferences on Artificial Intelligence,

  • Thursday, July 2nd, 2015
  • 14:00 – 15:30
  • Room E 1.42



Thema: Veranstaltung | Kommentare (0) | Autor:

Gastvortrag Dr. Mario Alviano: „Optimization Problems in Answer Set Programming“

Dienstag, 5. Mai 2015 8:57

plakat kostya gastvortrag 2015Abstract:

The goal of the lecture is to present the latest achievements in Answer Set Programming (ASP). In particular, the focus of the lecture is on algorithms  for solving optimization problems in ASP, that is, problems encoded by ASP programs with weak constraints. As usual in ASP, solutions of a problem instance are represented by its stable models, or answer sets. If the input program also comprises weak constraints, each of its stable model is associated with a cost determined by the unsatisfied weak constraints. Hence, weak constraints define a cost function, so that stable models of smaller cost are preferred.

The lecture overviews several algorithms for computing the most preferred, or optimal, stable models, and provides some details on core-guided algorithms, which proved to be effective on industrial instances of MaxSAT, the optimization variant of the satisfiability problem for propositional formulas. These algorithms work by iteratively checking satisfiability of a formula that is relaxed at each step by using the information provided by unsatisfiable cores, i.e., sets of weak constraints that cannot be jointly satisfied by any stable model of the input program.

The lecture is of the interest for both students visiting Logic Programming course as well as researchers of technical faculty working on declarative solving of hard problems.


Dr. Mario Alviano received his master degree from University of Calabria in 2007 and his PhD in 2010 from the same university. Both works were distinguished by awards: the master thesis won the “Italian best thesis in Artificial Intelligence” a prize awarded by AI*IA, the Italian Association for Artificial Intelligence and PhD thesis was one among three dissertations awarded with a honorable mention by the European Coordinating Committee for Artificial Intelligence (ECCAI). Since 2011 he worked as a post doc and then as Assistant Professor at the Department of Mathematics and Computer Science, University of Calabria. The research interests of Dr. Alviano are spread throughout the field of knowledge representation and reasoning with the main focus on theoretical background and applications of answer set programming.

  • Friday, May 29, 2015
  • 10:00 – 12:00
  • Room E 1.42

The slides to the lecture you can find here: slides alviano


Thema: AE_Events, AINF, Forschung, Institut, Studium, Veranstaltung | Kommentare (0) | Autor:

(Junior) Consultant SAP Business One (m/w) – Vollzeit

Dienstag, 13. Januar 2015 13:10

Die SAPalot IT-Consulting GmbH ist ein Kärntner IT-Beratungsunternehmen, das seine Kunden seit 2005 im Bereich betriebswirtschaftlicher Standardsoftware unterstützt. Unser Schwerpunkt dabei liegt im Bereich SAP, in dem wir individuelle Lösungen erarbeiten und innovative Produkte konzipieren. Außerdem vertreibt und implementiert SAPalot SAP Business One – die führende ERP-Lösung für KMUs.

Zur Verstärkung unseres Teams suchen wir eine/n:

  • (Junior) Consultant SAP Business One (m/w) – Vollzeit
  • Ihre Aufgaben: Sie sind operativ in Kundenprojekten bei der Software-einführung in KMUs tätig.
  • Sie begleiten unsere Kunden von der Prozess-Analyse bis zur Implementierung.
  • Sie sind zentraler Ansprechpartner für unsere Kunden im Rahmen der Wartung und des Betriebs.
  • Tätigkeiten in Marketing und Vertrieb runden Ihre Aufgaben ab.

Ihr Profil:

  • Sie sind Jungabsolvent(in) einer Universität oder Fachhochschule (Wirtschaftsinformatik);
  • Sie verfügen über analytisches Denkvermögen, Flexibilität, sowie ein hohes Maß an Eigeninitiative;
  • Als „Allrounder“ sehen Sie Ihren Schwerpunkt nicht nur im technischen Bereich, sondern haben auch Interesse, betriebswirtschaftliche Zusammenhänge zu verstehen, Prozesse abzubilden und zu gestalten.
  • Sie sind kommunikationsfreudig;
  • Ihr Englisch ist verhandlungssicher in Wort und Schrift;
  • Sie zeichnen sich durch soziale Kompetenz und ausgeprägte Teamorientierung aus sowie durch Zuverlässigkeit und Sorgfalt, auch unter Belastung.

Wir bieten Ihnen einen interessanten Job in einem jungen, motivierten Team mit herausfordernden und vielseitigen Aufgabenstellungen und Weiterbildungs-möglichkeiten in den neuesten Technologiebereichen.

Aus gesetzlichen Gründen weisen wir darauf hin, dass das kollektivvertragliche Mindestgehalt dieser Position bei €2.227,00 brutto/Monat (ST1/ES) liegt. Je nach Qualifizierung ist die Möglichkeit zur Überzahlung gegeben.

Wir freuen uns  auf Ihre aussagekräftigen Bewerbungsunterlagen per E-Mail an



Thema: AINF, Institut, Jobs | Kommentare (0) | Autor: