Sciweavers

2 search results - page 1 / 1
» Forgetting Literals with Varying Propositional Symbols
Sort
View
LOGCOM
2007
59views more  LOGCOM 2007»
13 years 4 months ago
Forgetting Literals with Varying Propositional Symbols
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...
Yves Moinard
ECAI
2006
Springer
13 years 8 months ago
Compiling Possibilistic Knowledge Bases
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
Salem Benferhat, Henri Prade