research
∙
08/01/2018
Debugging Non-Ground ASP Programs: Technique and Graphical Tools
Answer Set Programming (ASP) is one of the major declarative programming...
share
research
∙
11/16/2016
Driving CDCL Search
The CDCL algorithm is the leading solution adopted by state-of-the-art s...
research
∙
11/15/2016
An integrated Graphical User Interface for Debugging Answer Set Programs
Answer Set Programming (ASP) is an expressive knowledge representation a...
research
∙
08/02/2016