Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Lühne, P."
Now showing items 1-1 of 1
-
Article
Plasp 3: Towards effective ASP planning
Dimopoulos, Yannis; Gebser, M.; Lühne, P.; Romero, J.; Schaub, T. (2017)We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ASP ...