Knowledge Compilation Languages as Proof Systems.

Florent Capelli

Published in: SAT (2019)

Keyphrases

knowledge compilation
management system
databases
information extraction
knowledge based systems
target language
machine learning
information retrieval
expert systems
product configuration
prime implicates
logical inference