Decomposition of multi-operator queries on semiring-based graphical models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4204 LNCS, Issue , 2006, Pages 437-452

  Pralet, Cédric ^a,b   Schiex, Thomas ^b   Verfaillie, Gérard ^c  

^a LAAS CNRS   (France)

^b CEMAGREF   (France)

^c ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER GRAPHICS; CONSTRAINT THEORY; FUNCTIONS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; UNCERTAIN SYSTEMS;

ALGEBRAIC FRAMEWORKS; GRAPHICAL MODELS; MULTI-OPERATOR QUERIES;

QUERY LANGUAGES;

EID: 33750306706     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11889205_32     Document Type: Conference Paper

References (20)

1. Mackworth, A.: Consistency in Networks of Relations. Artificial Intelligence 8 (1977) 99-118
2. Bordeaux, L., Monfroy, E.: Beyond NP: Arc-consistency for Quantified Constraints. In: Proc. of the 8th International Conference on Principles and Practice of Constraint Programming (CP-02), Ithaca, New York, USA (2002)
3. Littman, M., Majercik, S., Pitassi, T.: Stochastic Boolean Satisfiability. Journal of Automated Reasoning 27 (2001) 251-296
4. Walsh, T.: Stochastic Constraint Programming. In: Proc. of the 15th European Conference on Artificial Intelligence (ECAI-02), Lyon, France (2002)
5. Benedetti, M.: Quantifier Trees for QBF. In: Proc. of the 8th International Conference on Theory and Applications of Satisfiability Testing (SAT-05), St. Andrews, Scotland (2005)
6. Kjaerulff, U.: Triangulation of Graphs - Algorithms Giving Small Total State Space. Technical Report R 90-09, Aalborg University, Denmark (1990)
7. Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann (1988)
8. Giang, P., Shenoy, P.: A Qualitative Linear Utility Theory for Spohn's Theory of Epistemic Beliefs. In: Proc. of the 16th International Conference on Uncertainty in Artificial Intelligence (UAI-00), Stanford, California, USA (2000) 220-229
9. Sabbadin, R.: A Possibilistic Model for Qualitative Sequential Decision Problems under Uncertainty in Partially Observable Environments. In: Proc. of the 15th International Conference on Uncertainty in Artificial Intelligence (UAI-99), Stockholm, Sweden (1999)
10. Puterman, M.: Markov Decision Processes, Discrete Stochastic Dynamic Programming. John Wiley & Sons (1994)
11. Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties and Comparison. Constraints 4 (1999) 199-240
12. Howard, R., Matheson, J.: Influence Diagrams. In: Readings on the Principles and Applications of Decision Analysis. Menlo Park, CA, USA (1984) 721-762
13. Ndilikilikesha, P.: Potential Influence Diagrams. International Journal of Approximated Reasoning 10 (1994) 251-285
14. Pralet, C., Verfaillie, G., Schiex, T.: From Influence Diagrams to Multioperator Cluster DAGs. In: Proc. of the 22nd International Conference on Uncertainty in Artificial Intelligence (UAI-06), Cambridge, MA, USA (2006)
15. Dechter, R., Fattah, Y.E.: Topological Parameters for Time-Space Tradeoff. Artificial Intelligence 125 (2001) 93-118
16. Jensen, F., Jensen, F., Dittmer, S.: From Influence Diagrams to Junction Trees. In: Proc. of the 10th International Conference on Uncertainty in Artificial Intelligence (UAI-94), Seattle, WA, USA (1994) 367-373
17. Park, J., Darwiche, A.: Complexity Results and Approximation Strategies for MAP Explanations. Journal of Artificial Intelligence Research 21 (2004) 101-133
18. Marinescu, R., Dechter, R.: AND/OR Branch-and-Bound for Graphical Models. In: Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), Edinburgh, Scotland (2005)
19. Jégou, P., Terrioux, C.: Hybrid Backtracking bounded by Tree-decomposition of Constraint Networks. Artificial Intelligence 146 (2003) 43-75
20. Knuth, D., Moore, R.: An Analysis of Alpha-Beta Pruning. Artificial Intelligence 8 (1975) 293-326