Login / Signup
Efficient Explanations for Knowledge Compilation Languages.
Xuanxiang Huang
Yacine Izza
Alexey Ignatiev
Martin C. Cooper
Nicholas Asher
João Marques-Silva
Published in:
CoRR (2021)
Keyphrases
</>
knowledge compilation
target language
databases
artificial intelligence
knowledge base
knowledge representation
computer aided
product configuration
logical inference