Autorenarchiv

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

Donnerstag, 21. April 2016 9:20

Heuristik für Industrie 4.0

artikel_siemens_geleise

 

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

 

Share

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

 

Abstract:

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 http://www.cdodaro.eu

Die Folien zum Gastvortrag finden Sie hier: slides

Share

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

 

Abstract:

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 http://convecs.inria.fr/people/Radu.Mateescu/

 

Share

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

https://plus.google.com/hangouts/_/e4pd3mv2muc3z7dxssfdihkeuqa

http://de.slideshare.net/WalterStrametz/folien-zur-vorlesung-wirtschaftsinformatik

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

 

Share

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

IMG_0858IMG_1139

 

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

 

 

Share

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

Abstract

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.

Biography

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

 

Share

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.

Biography:

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

Share

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 jobs@sapalot.at

 

Share

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

Continuous Time Bayesian Networks For Mining Streaming Data

Dienstag, 4. November 2014 10:07

Prof. Fabio Stella, Department of Informatics, Systems and Communication, Università degli Studi di Milano-Bicocca

11. 11. 2014,   15:30 Uhr,   Z.1.29

Abstract: Streaming data are relevant in finance, computer science, and engineering while they are becoming increasingly important in medicine and biology. In particular, classification, clustering and structural learning of streaming data are receiving increasing attention. These tasks require algorithms and models capable to represent dynamic, sequence and time. Dynamic Bayesian networks and hidden Markov models are used to analyze streaming data. However, these models are concerned with equally spaced time data and thus suffer from several limitations because it is not clear how to discretize timestamps. The talk introduces continuous time Bayesian networks and continuous time Bayesian networks classifiers. Algorithms for parametric and structural learning of continuous time Bayesian network models to solve classification, clustering and structural learning based on multivariate discrete state continuous time trajectories are described. Stationary and non-stationary continuous time Bayesian networks are presented together with their structural learning based on the marginal likelihood approach. Numerical experiments concerning real world applications in finance, biomedicine, neurology and biology are presented.

CV: Prof Fabio Stella is an associate professor at the Dipartimento di Informatica, Sistemistica e Comunicazione of the Università degli Studi di Milano-Bicocca. His research focuses on models and algorithms for data analysis and decision making under uncertainty in the areas of Business Intelligence, Data and Text Mining and Computational Finance. In the winter term 2014/15 he is giving the course 625.605 – Business Intelligence in Klagenfurt.

image001

Share

Thema: Veranstaltung | Kommentare (0) | Autor:

Best Paper Award

Mittwoch, 24. September 2014 8:51

We are proud to announce, that the research team of the Institute of Applied Informatics (Intelligent Systems and Business Informatics) won the Best Paper Award at the 25th International Workshop on Principles of Diagnosis (DX 2014) in Graz.

Title of paper: A direct approach to sequential diagnosis of high cardinality faults in knowledge-bases“

Authors: Kostyantyn Shchekotykhin, Gerhard Friedrich, Patrick Rodler and Philipp Fleiss

20140924_082442

 

Share

Thema: AINF, Forschung, Hall of Fame, Institut, Konferenzbesuch, Preis/Auszeichnung | Kommentare (0) | Autor: