Not registered as user yet

Name: Christoph Redl

Affiliation: Vienna University of Technology

POPL 2017 Activities

• Author of Integrating Answer Set Programming with Object-oriented Languages within the PADL-track in PADL 2017
• Author of Extending Answer Set Programs with Interpreted Functions as First-class Citizens within the PADL-track in PADL 2017
• Show activities from other conferences