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