Christian Reotutar

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Modulo Theories

Answer Set Programming

Development Environment

Logic Programming

Top Venues

Publications

Elias Marcopoulos, Christian Reotutar, Yuanlin Zhang
An Online Development Environment for Answer Set Programming. CoRR (2017)
Christian Reotutar, Mbathio Diagne, Evgenii Balai, Edward Wertz, Peter Lee, Shao-Lon Yeh, Yuanlin Zhang
An Online Logic Programming Development Environment. AAAI (2016)