Veranstaltungen Suche und Ansichten, Navigation
11:00
TEWI-Kolloquium: A Survey of Evaluation Techniques and Systems for Answer Set Programming
Prof. Francesco Ricca Abstract: 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 ... Weiterlesen
Erfahren Sie mehr »