research
∙
08/05/2020
Verifying Tight Logic Programs with anthem and Vampire
This paper continues the line of research aimed at investigating the rel...
share
research
∙
05/08/2019
Discovering and Proving Invariants in Answer Set Programming and Planning
Answer set programming (ASP) and planning are two widely used paradigms ...
research
∙
12/11/2018
plasp 3: Towards Effective ASP Planning
We describe the new version of the PDDL-to-ASP translator plasp. First, ...
research
∙
09/30/2018