exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules.
Ly Ly T. TrieuTran Cao SonMarcello BalducciniPublished in: ICLP Workshops (2021)
Keyphrases
- answer sets
- answer set programming
- answer set semantics
- logic programs
- normal logic programs
- answer set programs
- logic programming
- rule sets
- background knowledge
- artificial intelligence
- production rules
- data mining
- web applications
- upper bound
- data sets
- sat solvers
- human experts
- association rules
- decision rules
- linear constraints
- fixpoint
- rule discovery
- consistency constraints
- transformation rules
- information systems
- semantic constraints
- association rule mining
- linear combination