30 citations · 50 across the 3 of their papers we have counts for
3 papers · 1 filter
Verifying Tight Logic Programs with anthem and Vampire
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne +1
This paper continues the line of research aimed at investigating the relationship between logic programs and first-order theories. We extend the definition of program completion to…
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…
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…