Talks and Poster Presentations (with Proceedings-Entry):

B. Kiesl, P. Schüller, H. Tompits:
"On Structural Analysis of Non-Ground Answer-Set Programs";
Talk: International Conference on Logic Programming (ICLP), Cork, Irland; 2015-08-31 - 2015-09-04; in: "Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)", M. De Vos, T. Eiter, Y. Lierler, F. Toni (ed.); 1433 (2015), ISSN: 1613-0073; 14 pages.

English abstract:
The development of answer-set programs often involves domain experts without a background in logic programming. In such situations, it would be beneficial to translate programs into a form which is easier to understand and closer to natural language. Since the structure of a program determines to a great extent how a program should be explained in a clear and comprehensible way, as a first step towards a natural-language representation of answer-set programs, in this paper, we introduce methods for analysing the structure of disjunctive non-ground answer-set programs. In particular, as most programs follow the generate-define-test paradigm, we introduce formal definitions to characterise the respective generate, define, and test parts of a program. Thereby, we define the non-deterministic
core of a program, effectively determining the programīs active solution-space generators, following ideas of the weakly perfect model semantics as introduced by Przymusinska and Przymusinski, and we prove that our definitions fulfil desirable properties. Moreover,
we also provide an implementation of a tool, using a metaprogramming approach, which classifies the rules of a given program according to our definitions. Finally, we propose an algorithm that, based on our generate-define-test classification, computes the order in which the rules of a program should be explained when translated into natural language.

answer-set programming, generate-define-test paradigm, program analysis

Electronic version of the publication:

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