A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics.
Joan Ramon SolerFelip ManyàPublished in: ISMVL (2016)
Keyphrases
- bit vector
- satisfiability testing
- valued logic
- propositional logic
- first order logic
- belief revision
- tie breaking
- fuzzy sets
- classical logic
- logic programs
- special case
- database systems
- machine learning
- graphical models
- expressive power
- knowledge representation
- automated reasoning
- bayesian networks
- artificial intelligence