Contributions to Proceedings:

M. Fang, H. Tompits:
"An Approach for Representing Answer Sets in Natural Language";
in: "Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers.", Springer LNCS, 2018, ISBN: 978-3-030-00800-0, 115 - 131.

English abstract:
In recent years, different methods for supporting the development of answer-set programming (ASP) code have been introduced. During such a development process, often it would be desirable to have a natural-language representation of answer sets, e.g., when dealing with domain experts unfamiliar with ASP. In this paper, we address this point and provide an approach for such a representation, defined in terms of a controlled natural language (CNL), which in turn relies on the annotation language Lana for the specification of meta-information for answer-set programs. Our approach has been implemented as an Eclipse plug-in for SeaLion, a dedicated IDE for ASP.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.