Explaining Robust Classification Through Prime Implicants.
Hénoïk WillotSébastien DesterckeKhaled BelahcènePublished in: SUM (2022)
Keyphrases
- robust classification
- prime implicants
- prime implicates
- boolean functions
- abductive reasoning
- automated reasoning
- normal form
- belief change
- desirable properties
- modal logic
- subspace methods
- propositional formulas
- logic programs
- belief revision
- plan recognition
- nearest neighbor
- inference rules
- natural language understanding