Enhancing Context Knowledge Repositories with Justifiable Exceptions

Prof. Dr. Thomas Eiter | October 25, 2019 | 14:00 | S.2.69

Abstract:

The Contextualized Knowledge Repository (CKR) framework was conceived as a logic-based approach for representing context dependent knowledge, which is a well-known area of study in AI, based on description logics. The framework has a two-layer structure with a global context that contains context-independent knowledge and meta-information about the contexts, and a set of local contexts with specific knowledge bases.  In many practical cases, it is desirable that inherited global knowledge can be „overridden“ at the local level. In order to address this need, an extension of CKR with global defeasible axioms was developed: these axioms locally apply to individuals unless an exception for overriding exists; such an exception, however, requires a justification that is provable from the knowledge base.

The formalization of this intuition has some desirable semantic properties, and furthermore allows for a translation of reasoning tasks on extended CKRs to datalog programs under the answer set (i.e., stable) semantics. This work complements other work on nonmonotonic extensions of description logics with an expressive formalism for exception handling by overriding, and adds to the body of results on using deductive database technology in these areas.

This is joint work with Loris Bozzato and Luciano Serafini (Fondazione Bruno Kessler, Trento).

CV:

Thomas Eiter is a full professor in the Faculty of Informatics at Vienna University of Technology (TU Wien), Austria, and Head of the Institute of Information Systems, where he also leads the Knowledge Based Systems Group. From 1996-1998, he was an associate professor of Computer Science at the University of Giessen, Germany.

Prof. Eiter’s current research interests include knowledge representation and reasoning, computational logic, foundations of information systems, and complexity in AI.  He has contributed to the DLV system and some of its extensions, e.g. the DLVHEX system. He has been involved in various national and international research and training projects, and he has been serving on a number of professional committees and boards. Prof. Eiter’s work has been honored with some best paper awards; he is a Fellow of the  European Association for Artificial Intelligence (EurAI), a Member of the Academia Europea, and a Corresponding Member of the Austrian Academy of Sciences.

Posted in TEWI-Kolloquium | Leave a comment

Extracting extreme aspects from time series with applications

Prof. Milan Stehlík | October 18, 2019 | 15:00 | V.1.27

Abstract:

Extracting chaotical and stochastic parts of information from time series needs very specific techniques. Motivated by two applications, image processing for cancer discrimination and methane emissions modelling we will explain the necessary techniques for statistical learning on chaotical and stochastic parts from data. In particular, Tsallis Entropy will be introduced and its role in information theory for dynamical system explained. Iterated function systems will be used as an example for chaos re-simulation. Construction of stochastic fractals will be discussed. We will show the importance of decomposition of data to stochastic, deterministic and chaotic part.

CV:

Professor Milan Stehlík  obtained his PhD in 2003 at Comenius University, Bratislava,  Slovakia,  and he habilitated in Statistics in 2011 at Johannes Kepler University in Linz, Austria. During 1.3.2014-1.10.2015 he was Associate Professor at Universidad Técnica Federico Santa María, Chile. In 2015 he received Full Professorship at University of Valparaiso, Valparaiso, Chile.

Currently he is Visiting professor at the Department of Statistics & Actuarial Science, The University of Iowa. In 2018 he was visiting Full Professor at School of Mathematics & Statistical Sciences Arizona State University, AZ, USA. He was involved in several international projects and collaborations in Austria, Spain, Russia, Canada, Germany, USA among others.

He does research in Extremes, Optimal design of experiments, Statistical Modelling, Neural Computing, Cancer discrimination. He servers as Associate Editor for Europe of Neural Computing and Applications, Associate Editor of Journal of Applied Statistics and Revstat.  He has been Principal Investigator of Innovative project LIT-2016-1-SEE-023 Title: Modeling complex dependencies: how to make strategic multicriterial decisions?  at Linz Institute of Technology, Austria and Chilean FONDECYT Regular. He published more than 180 papers and gave more than 190 talks.

Posted in TEWI-Kolloquium | Leave a comment

IMENDO erweitert das Team!

Als einer der größten SharePoint-Anbieter im deutschsprachigen Raum und langjähriger Microsoft-Partner bietet die IMENDO GmbH mit Firmensitz im Lakeside Park Klagenfurt seinen Kunden Lösungen für die Zusammenarbeit und den Datenaustausch im Unternehmen. Wir unterstützen unsere Kunden bei den bestehenden technischen Herausforderungen und dabei, den Überblick über die Einsatzvielfalt der Systeme zu behalten. Von der Konzeption bis hin zur laufenden Begleitung können unsere Kunden auf das Know-how und die langjährige Erfahrung unserer Experten zählen.

Wir erweitern unser Team und sind auf der Suche nach jungen, engagierten Mitarbeitern.

Folgende Stellen gelangen zur Besetzung:

Sende uns Deine aussagekräftigen Bewerbungsunterlagen an: claudia.kaiser@imendo.at.

Wir freuen uns auf deine Bewerbung!

www.imendo.at

Posted in Stellenausschreibungen | Leave a comment

Review: Hüttenjam 2019

The Hüttenjam 2019 is over and it has been a hugely successful event. 26 participants jammed for two days and two nights in four chalets at Marktlalm, on Turracher Höhe. Six games have been developed matching the topic “Can’t see the wood for the trees”. Games ranged from multiplayer hide and seek, to simulations, platformers, stealth, and puzzle games. All games can be found on Itch.io. Besides working on the games we could socialize and network with joint breakfast and lunches and trips to the Nockiflitzer and Panoramaalm. For the motivated participants, there were running sessions in the morning and a hike to Rinsennock.

General feedback by the participants indicated that people wanted to have a second edition next year. Responses on social networks like Twitter, Facebook and Instagram indicated that many more people are interested beyond the ones already attending. For Twitter top tweets had more than 70 likes, with the initial Facebook video we reached more than 700 people within a month, with the latest video we reached more than 70 people in a day.

Thanks a lot to all the sponsors who made this possible: Bitmovin, Förderverein Technische Fakultät, and Technische Fakultät der Universität Klagenfurt. Photos and videos are available here.

For the Hüttenjam organization team,

Mathias Lux

Posted in Veranstaltungen | Leave a comment

Fraunhofer Austria gründet Innovationszentrum „KI4LIFE“ in Klagenfurt

2.10.2019 | 10:00 Uhr | Universität Klagenfurt | Oman-Saal

Digitalisierung und Künstliche Intelligenz stellen alle – vor allem kleine und mittlere – Unternehmen vor große Herausforderungen. Als gemeinsame Initiative wesentlicher Akteure und unter Leitung von Fraunhofer Austria wird das neue Innovationszentrum „KI4LIFE“ gegründet, um dazu konkrete Antworten entwickeln zu können. Neben Wien, Graz und Wattens wird Klagenfurt somit zum vierten Standort von Fraunhofer Austria (www.fraunhofer.at).

Ziele und Aufgaben des neuen Innovationszentrums werden im Rahmen einer Pressekonferenz vorgestellt [PDF]:

2.10.2019,10:00 in der Universität Klagenfurt, Oman-Saal

in Anwesenheit von

  • Dieter W. Fellner und Wilfried Sihn, Geschäftsführer der Fraunhofer Austria Research GmbH
  • Peter Kaiser, Landeshauptmann
  • Maria-Luise Mathiaschitz, Bürgermeisterin der Stadt Klagenfurt
  • Sabine Herlitschka, Vorstandsvorsitzende Infineon Technologies Austria AG
  • Jürgen Mandl, Präsident der Wirtschaftskammer Kärnten
  • Mariana Kühnel, stv. Generalsekretärin der Wirtschaftskammer Österreich (WKÖ)
  • Timo Springer, Präsident der IV Kärnten
  • Oliver Vitouch, Rektor der Universität Klagenfurt

sowie Vertretern weiterer beteiligter Unternehmen.

Um Anmeldung wird gebeten unter: presse@fraunhofer.at

Rückfragen und Kontakt:
Dr. Elisabeth Guggenberger
Pressereferentin
Fraunhofer Austria Research GmbH
Theresianumgasse 27 | 1040 Wien
Tel: +43 676 888 61 617
elisabeth.guggenberger@fraunhofer.at
www.fraunhofer.at

Posted in Veranstaltungen | Leave a comment

16. Österreichischer IT-Sicherheitstag

16. Oktober 2019 | Messe Klagenfurt

https://www.syssec.at/de/veranstaltungen/sitag2019

  • Risikowahrnehmung und menschliche (Ir)Rationalität
  • Smartcards im Multi-Geräte und Multi-Usecase-Umfeld
  • Online-Handel: Typische Risiken und ihre Verteilung
  • Networks are dangerous and funny too 😉

Vier exemplarische Vortragstitel aus dem diesjährigen Programm des IT-Sicherheitstages.

Die Schwerpunkte der Tagung werden in den Sessions

  • Motivation & Organisatorisches
  • Technik
  • Rechtliche Aspekte
  • Hacking

zusammengefasst.

Das vollständige Programm des 16. Österreichischen IT-Sicherheitstages finden Sie hier: http://www.syssec.at/sitag2019prog

Wir würden uns über Ihre Anmeldung freuen!

Die Teilnahmegebühr für diese Veranstaltung beträgt € 99,00, für Frühbucher bis zum 09.10.2019 € 79,00.

Dr. Peter Schartner
Veranstalter

Posted in Veranstaltungen | Leave a comment

Isotonic regression by dynamic programming

Prof. Dr. Günter Rote | Freie Universität Berlin, Deutschland | Thursday, 19 September 2019 | 11:00 a.m. | N.2.01

Abstract

For a given sequence of n numbers, we want to find a monotonically in- creasing sequence of the same length that best approximates it in the sense of minimizing the weighted sum of absolute values of the differences. A conceptually easy dynamic programming approach leads to an algorithm with running time O(n log n). While other algorithms with the same run- ning time are known, our algorithm is very simple. The only auxiliary data structure that it requires is a priority queue. The approach extends to other error measures.

Posted in TEWI-Kolloquium | Leave a comment

5G SUMMIT Carinthia

Dienstag, 8. Oktober 2019 | 10:00 bis ca. 14:00 Uhr | Lakeside Science & Technology Park | Klagenfurt am Wörthersee | Kärnten | Lakeside Spitz | Raum Leibniz

Linkhttp://5gplayground.at/

PROGRAMM

10:00 – 10:30 Uhr: Registrierung & Morning Coffee

10:30 – 13:30 Uhr:

  • Begrüßung
  • Keynote „Big Data und 5G”, Univ.-Prof. Dr. Matthias Böhm | TU Graz – Institute for Interactive Systems and Data Science
  • Keynote „5G – Chancen für Österreichs Wirtschaft”, Marcus Grausam | CEO A1 Österreich
  • Präsentation des 5G Playground Carinthia mit anschließender Podiumsdiskussion
  • Vorstellung der ersten 5G Use Cases
    • Virtual Realities“ | Alpen-Adria-Universität Klagenfurt
    • Smart City“ | Fachhochschule Kärnten
    • Robotics“ | Joanneum Research – Institut für Robotics
    • Communication in Swarms“ | Lakeside Labs

ca. 13:30 Uhr: Ausklang & Networking

ANMELDUNG
Der Besuch des 5G SUMMIT CARINTHIA ist bei Anmeldung unter 5gplayground.at kostenlos. Wir ersuchen um Ihre verbindliche Anmeldung bis spätestens 30. September 2019.


Ein Projekt der BABEG Kärntner Betriebsansiedlungs- & Beteiligungs GmbH im Auftrag des Landes Kärnten und des Bundesministerium für Verkehr, Innovation und Technologie.

Mit dem 5G Playground Carinthia entsteht ein Testlabor für die Erprobung von diversen Anwendungen, Produkten, Prozessen sowie Applikationen. Der 5G Playground Carinthia ist österreichweit die erste Serviceeinrichtung für die Erforschung und Weiterentwicklung von 5G-spezifischen Anwendungen, Services und Geschäftsmodellen. Unsere Webpräsenz ist derzeit in Ausarbeitung, in wenigen Wochen finden Sie hier alle Details und Informationen über den 5G Playground Carinthia und die Technologie 5G im Allgemeinen.

Der 5G Playground Carinthia bietet allen Forschungs-, Innovations- und Bildungseinrichtungen, sowie KMUs und Start Ups die einzigartige Möglichkeit ihre Produkte und Anwendungen mit dieser neuen Technologie zu testen und im Echtbetrieb zu erproben.

Schwerpunktthemen sind aktuell virtuelle Realitäten, Schwarmintelligenz im Drohneneinsatz, Smart City Anwendungen und drahtlose Industrierobotik. Für alle weiteren Themen ist am 5G Playground Carinthia noch jede Menge Platz zum Ausprobieren und Experimentieren. Werden Sie Teil dieser einzigartigen Forschungs- und Entwicklungscommunity. Wir freuen uns auf Ihre Anfrage.

Posted in Veranstaltungen | Leave a comment

OpenTechTable #19: Pull Request Reviews and Tensorflow Chatbots

When: Sep 19, 2019; 18:00 | Where: Bitmovin (Schleppe-Platz 7, 9020 Klagenfurt)

We are happy to invite everyone to the 19th edition of the OpenTechTable on September 19th. Our host this time will be Bitmovin (Schleppe-Platz 7, 9020 Klagenfurt).

We will be having two interesting presentations again:

  • Michaela Greiler, will presenting her talk called „Oh no! I’m the slowest code reviewer on the team„.
  • Bruno Hautzenberger, will talk about „Building a Tensorflow trained Chatbot in 10 minutes

We are looking forward to meeting all of you and would like to thank Bitmovin for hosting the event in their Klagenfurt Office.

Link: https://www.meetup.com/de-DE/OpenTechTable/events/264716132/

Posted in Veranstaltungen | Leave a comment

When Controls meet Economics and Social Sciences

Dario Bauso | Friday 6 September | 11:00am | Lakeside Labs B04b B4 1.114

Abstract: The massive penetration of smart technology has changed energy systems and many other engineering applications such as transportation, logistics, and security. In all these contexts, one often observes a large number of machines and humans interacting with each other. Thus there is a need to redefine the boundaries of some engineering disciplines to accommodate both physical and socio-economic components. Control Engineering, the discipline which studies the ways in which one can control the evolution of a system is no exception. A core concept in control is ‘feedback’ whereby a machine (the controller) gets measurements from sensors about the state of the system one wishes to control and sets the inputs to the system. In the presence of numerous machines and humans, one observes the humans turning into strategic players who learn the environment and make decisions knowing that the environment (which is constituted by the other players) is at the same time learning about them and will react accordingly. This takes the concept of feedback to the next level and opens the floor to a number of game theoretic aspects (learning, incentives, pricing).

In this tutorial I will present new perspectives and challenges arising when dealing with co-existing physical and socio-economic components. I will introduce dynamic games with a large number of players, (also known as mean-field games) and discuss recent trends. I will also discuss the role of strategic thinking and learning in competitive scenarios. The tutorial will conclude with a look at bio-inspired collective decision making problems and related evolutionary game models.

Bio: I received the Laurea degree in Aeronautical Engineering in 2000 and the Ph.D. degree in Automatic Control and System Theory in 2004 from the University of Palermo, Italy. Since 2018 I have been with the Jan C. Willems Center for Systems and Control, ENTEG, Faculty of Science and Engineering, University of Groningen (The Netherlands), where I am currently Full Professor and Chair of Operations Research for Engineering Systems. Since 2005 I have also been with the Dipartimento di Ingegneria, University of Palermo (Italy). From 2015 to 2018 I was with the Department of Automatic Control and Systems Engineering, The University of Sheffield (UK), where I was Reader in Control and Systems Engineering. From 2012 to 2014 I was also Research Fellow at the Department of Mathematics, University of Trento (Italy).

I have been academic visitor in several universities. From October 2001 to June 2002, I was a Visiting Scholar at the Mechanical and Aerospace Engineering Department, University of California, Los Angeles (USA). In 2010 I was short-term visiting scholar at the Department of Automatic Control of Lund University (Sweden) and at the Laboratory of Information and Decision Systems of the Massachusetts Institute of Technology (USA). In 2013 I was visiting lecturer at the Department of Engineering Science, University of Oxford (UK) and at the Department of Electrical and Electronic Engineering of Imperial College London (UK). In 2018-2019 I have been guest professor at Keio University, Japan.

My research interests are in the field of Optimization, Optimal and Distributed Control, and Game Theory. Since 2010 I am member of the Conference Editorial Board of the IEEE Control Systems Society. I was Associate Editor of IEEE Transactions on Automatic Control from 2011 to 2016. I am Associate Editor of IFAC Automatica, IEEE Control Systems Letters and Dynamic Games and Applications. I have also been general chair of the 6th Spain, Italy, and Netherlands Meeting on Game Theory (SING 6).

Posted in TEWI-Kolloquium | Leave a comment