Prime Compilation of Non-Clausal Formulae.
Alessandro PrevitiAlexey IgnatievAntónio MorgadoJoão Marques-SilvaPublished in: IJCAI (2015)
Keyphrases
- knowledge compilation
- decomposable negation normal form
- prime implicates
- horn clauses
- normal form
- defeasible logic
- inductive logic programming
- constraint propagation
- model counting
- decision procedures
- data sets
- information systems
- information retrieval
- computer vision
- inference rules
- real time
- belief change
- first order logic
- logic programming
- machine learning
- logic programs
- databases
- high resolution
- video sequences