Sciweavers

2 search results - page 1 / 1
» Forgetting Literals with Varying Propositional Symbols
Sort
View
LOGCOM
2007
59views more  LOGCOM 2007»
13 years 7 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 11 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