Annotating answer-set programs in Lana
While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology,
and applications, the present work situates itself in the context of a quite recent research trend:
development support...