![Martin Gebser](https://popl20.sigplan.org/getProfileImage/martingebser/2f2c45f5-3383-4f62-b1dc-090d55815901/small.jpg?1711486925000)
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