Interactive Query-Based Debugging of ASP Programs.
Kostyantyn M. ShchekotykhinPublished in: AAAI (2015)
Keyphrases
- answer set programming
- java programs
- answer set programs
- hardware designs
- novice programmers
- program slicing
- web applications
- stable model semantics
- declarative programming
- answer sets
- control structures
- automatic programming
- fault localization
- stable models
- databases
- parallel programming
- fixpoint
- programming environment
- logic programming
- general purpose