exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules.
Ly Ly T. TrieuTran Cao SonMarcello BalducciniPublished in: ICLP Technical Communications (2021)
Keyphrases
- answer sets
- answer set programming
- logic programs
- answer set semantics
- answer set programs
- normal logic programs
- association rules
- rule sets
- classification rules
- declarative programming
- stable models
- web applications
- association rule mining
- linear combination
- production rules
- upper bound
- semantics for logic programs
- artificial intelligence
- decision rules
- logic programming
- constraint networks
- linear constraints
- rule extraction
- fixpoint
- stable model semantics
- information systems
- data mining