Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
plasp 3: Towards Effective ASP Planning
Yannis Dimopoulos, Martin Gebser, Patrick Lühne +2
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 b…
cs.LO2018
anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)
Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
In a recent paper by Harrison et al., the concept of program completion is extended to a large class of programs in the input language of the ASP grounder gringo. We would like to…