Lade Veranstaltungen

« Alle Veranstaltungen

  • Diese Veranstaltung hat bereits stattgefunden.

TEWI-Kolloquium: A Survey of Evaluation Techniques and Systems for Answer Set Programming

3. Mai 2019 um 11:00 - 13:00

Veranstaltungskategorie Vortrag

Veranstaltungsort
S.1.42

Veranstalter
Fakultät für Technische Wissenschaften


Beschreibung

Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this talk we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.

Vortragende(r)
Prof. Francesco Ricca

Kontakt
Kerstin Smounig (Kerstin [dot] Smounig [at] aau [dot] at)

Details

Termine:
3. Mai 2019 um 11:00 - 13:00 Uhr
Veranstaltungskategorie:
zum Veranstaltungskalender

Details

Termine:
3. Mai 2019 um 11:00 - 13:00 Uhr
Veranstaltungskategorie:
zum Veranstaltungskalender