25 Okt

Enhancing Context Knowledge Repositories with Justifiable Exceptions

VeranstaltungsortUniversität KlagenfurtS.2.69Veranstalter Fakultät für Technische WissenschaftenBeschreibungThe 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) https://www.ftf.or.at/kategorie/tewi-kolloquium/Vortragende(r)Prof. Dr. Thomas EiterKontaktChristian Timmerer (christian.timmerer@itec.aau.at)

28 Okt
Recurring

Deutsch Intensivkurs H3

VeranstaltungsortJGHJGHVeranstalter Deutsch in ÖsterreichBeschreibungDeutsch-Intensivkurs für Teilnehmer/innen ab 17 Jahren. Alle Niveaustufen im Angebot. Einstufungstest am ersten Kurstag. Mo-Fr 9-12:30 Uhr, Di und Do zusätzlich 13:30-15:00 Uhr kommunikativer Sprachunterricht mit Training der 4 Fertigkeiten (Hören, Lesen, Schreiben, Sprechen) 2- bis 3-wöchiger Kurs möglich (24 UE/Woche) oder LangzeitvarianteVortragende(r)muttersprachliche Lektor/inn/en von "Deutsch in Österreich"KontaktMonika Rader (monika.rader@aau.at) Anmeldepflichtig!ps://dia.aau.at/de/deutschkurse/intensivkurse/termine-anmeldung/Kostenpflichtig!Zahlungsbedingung:online oder im Sprachkursbüro

29 Okt

Online-Umfragen: Einführung in LimeSurvey

Veranstaltungsort Z.0.19 Veranstalter Zentraler Informatikdienst (ZID) Beschreibung LimeSurvey ist ein webgestütztes Tool, das die Entwicklung von Online-Umfragen ohne eigene Programmierkenntnisse ermöglicht. In diesem Workshop lernen Sie die wichtigsten Funktionen, um eine Umfrage zu erstellen, diese auszuführen und anschließend die Ergebnisse zu exportieren. Vortragende(r) Bernhard Meixner, BA Kontakt Isolde Dueller (isolde.dueller@aau.at) Anmeldepflichtig! siehe www.pe.aau.at, Kurscode 28.09zid Kostenpflichtig!   Zahlungsbedingung: bar bzw. per Rechnung

29 Okt

Einführung in die Bibliotheksbenützung

VeranstaltungsortUniversitätsbibliothek - EingangsbereichVeranstalter Universitätsbibliothek (UB)BeschreibungZiel: Kennenlernen des Angebots der Universitätsbibliothek und räumliche OrientierungInhalt:Benützung des Online-Katalogs, Benützungs- und Ausleihmodalitäten, Rundgang durch die Bibliothek(Lehrbuchsammlung, Zeitschriftenaufstellung, Semesterapparate, Freihandaufstellungen)Methoden: Vortrag mit anschließendem Rundgang durch die BibliothekVortragende(r)MitarbeiterInnen der UniversitätsbibliothekKontaktMag. Georg Klutz (georg.klutz@aau.at) Anmeldepflichtig!ab 24.09. Anmeldung möglich!