On valued negation normal form formulas

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 360-365

  Fargier, Hélène ^a   Marquis, Pierre ^b  

^a CNRS   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DECOMPOSABILITY; GENERAL CLASS; NORMAL FORM; POLYNOMIAL-TIME; PROPOSITIONAL LOGIC; REPRESENTATION LANGUAGES; SEMI-RING;

BOOLEAN FUNCTIONS; POLYNOMIAL APPROXIMATION;

ARTIFICIAL INTELLIGENCE;

EID: 77952713588     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. R.I. Bahar, E.A. Frohm, C.M. Gaona, G.D. Hachtel, E. Macii, A. Pardo, and F. Somenzi. Algebraic Decision Diagrams and Their Applications. In Proc. ICAD'93, pages 188-191, 1993.
2. S. Bistarelli, U. Montanari, and F. Rossi. Constraint solving over semirings. In Proc. IJCAI'95, pages 624-630, 1995.
3. A. Darwiche and P. Marquis. A knowledge compilation map. Journal of Artificial Intelligence Research, 17:229-264, 2002.
4. A. Darwiche. Decomposable negation normal form. JACM, 48(4):608-647, 2001.
5. A. Darwiche. A logical approach to factoring belief networks. In Proc. KR'02, pages 409-420, 2002.
6. J. Kohlas and P.P. Shenoy. Computation in valuation algebras. In J. Kohlas and S. Moral, editors, Handbook of DRUMS, Volume 5, pages 5-39. Kluwer, Dordrecht, 2000.
7. C. Pralet, G. Verfaillie, and T. Schiex. Decision with uncertainties, feasibilities, and utilities: towards a unified algebraic framework. In Proc. ECAI'06, 2006.
8. S. Sanner and D. A. McAllester. Affine algebraic decision diagrams (AADDs) and their application to structured probabilistic inference. In Proc. IJCAI'05, pages 1384-1390, 2005.
9. T. Schiex, H. Fargier, and G. Verfaillie. Valued constraint satisfaction problems: Hard and easy problems. In Proc. IJCAI'05, pages 631-639, 1995.
10. P. Shenoy and G. Shafer. Axioms for probability and belief-function propagation. In Proc. UAI'88, pages 169-198, 1988.
11. N. Wilson. Decision diagrams for the computation of semiring valuations. In Proc. IJCAI'05, pages 331-336, 2005.