The Satisfiability Problem in Multiple-Valued Horn Formulae.
Gonzalo Escalada-ImazFelip ManyàPublished in: ISMVL (1994)
Keyphrases
- satisfiability problem
- multiple valued
- valued logic
- propositional logic
- decision diagrams
- np complete
- multi valued
- np hard
- temporal logic
- horn clauses
- search algorithm
- file organization
- phase transition
- belief revision
- first order logic
- boolean functions
- stochastic local search algorithms
- continuous attributes
- fuzzy logic
- classical logic
- stochastic local search
- sat problem
- fuzzy sets
- constraint satisfaction problems
- logic programs
- complex valued
- truth values
- knowledge compilation
- datalog programs
- spatial data
- modal logic