Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.
Victor ChepoiNadia CreignouMiki HermannGernot SalzerPublished in: ISMVL (2008)
Keyphrases
- propositional formulas
- propositional logic
- valued logic
- propositional variables
- belief revision
- first order logic
- propositional satisfiability
- conjunctive normal form
- normal form
- expressive power
- belief change
- cnf formula
- inference rules
- sat problem
- database
- modal logic
- logic programs
- knowledge representation
- knowledge base