Debugging Non-ground ASP Programs: Technique and Graphical Tools.
Carmine DodaroPhilip GasteigerKristian RealeFrancesco RiccaKonstantin SchekotihinPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- hardware designs
- answer set programs
- web applications
- programs written
- answer set programming
- free software
- decision support
- program slicing
- novice programmers
- java programs
- computer programs
- programming environments
- artificial intelligence
- answer sets
- software tools
- building blocks
- end users
- visual representations
- visualization tools
- model based diagnosis
- source code