[Back]


Talks and Poster Presentations (without Proceedings-Entry):
T. Eiter:
"Answer Set Programming and Extensions";
Talk: Summer School 2016: Verification Technology, Systems & Applications, Liege, Belgium (invited); 2016-08-29 - 2016-09-02.

Created from the Publication Database of the Vienna University of Technology.