Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints.
Axel PolleresMelanie FrühstückGottfried SchennerGerhard FriedrichPublished in: LPNMR (2013)
Keyphrases
- cardinality constraints
- java programs
- rule based systems
- answer set programming
- association rules
- novice programmers
- semantic constraints
- rule sets
- data mining
- weighting scheme
- hardware designs
- program slicing
- constraint programming
- classification rules
- decision rules
- programming environment
- fixpoint
- global constraints
- function symbols
- constraint satisfaction
- answer set programs
- domain experts
- derivation rules