[Back]


Talks and Poster Presentations (without Proceedings-Entry):

T. Eiter, R. Kiesel:
"Weighted LARS for Quantitative Stream Reasoning";
Talk: Austrian Workshop on Logic in Computer Science, Turracher Höhe; 2020-01-26 - 2020-01-29.


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