Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ijcai/BenferhatP05, title={Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic}, pages={1281-1286}, year={2005}, crossref={DBLP:conf/ijcai/2005}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers/1475.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2005.html#BenferhatP05}, author={Salem Benferhat and Henri Prade} }\end{bibtex}
