Registered user since Fri 27 Jul 2018
Name:Martin Gebser
Country:Austria
Affiliation:University of Klagenfurt, Austria
Personal website: https://ainf.aau.at/prosys
Research interests:Knowledge Representation and Reasoning
Contributions
2020
Symposium on Practical Aspects of Declarative Languages
POPL 2020-profile
View general profile
View general profile