
Tractable Explanations for d-DNNF Classifiers
Author(s) -
Xuanxiang Huang,
Yacine Izza,
Alexey Ignatiev,
Martin Cooper,
Nicholas Asher,
João Marques-Silva
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i5.20514
Subject(s) - propositional calculus , propositional variable , computer science , negation , propositional formula , artificial intelligence , constraint (computer aided design) , natural language processing , stable model semantics , programming language , theoretical computer science , mathematics , geometry , intermediate logic , description logic , multimodal logic