 | Up a level |
Wachter, Michael; Haenni, Rolf (2007). Logical Compilation of Bayesian Networks with Discrete Variables. In: Mellouli, Khaled (ed.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings. Lecture Notes in Computer Science: Vol. 4724 (pp. 536-547). Heidelberg: Springer Verlag 10.1007/978-3-540-75256-1_48
Wachter, Michael; Haenni, Rolf; Pouly, Marc (2007). Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras. In: Gelbukh, Alexander; Kuri Morales, Ángel Fernando (eds.) MICAI 2007: Advances in Artificial Intelligence. 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings. Lecture Notes in Computer Science: Vol. 4827 (pp. 236-247). Heidelberg: Springer Verlag 10.1007/978-3-540-76631-5_23
Pouly, Marc; Haenni, Rolf; Wachter, Michael (2007). Compiling Solution Configurations in Semiring Valuation Systems. In: Gelbukh, Alexander; Kuri Morales, Ángel Fernando (eds.) MICAI 2007: Advances in Artificial Intelligence. 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings. Lecture Notes in Computer Science: Vol. 4827 (pp. 248-259). Heidelberg: Springer Verlag 10.1007/978-3-540-76631-5_24
Wachter, Michael; Haenni, Rolf (2007). Multi-State Directed Acyclic Graphs. In: Kobti, Ziad; Wu, Dan (eds.) Advances in Artificial Intelligence. 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings. Lecture Notes in Computer Science: Vol. 4509 (pp. 464-475). Heidelberg: Springer Verlag 10.1007/978-3-540-72665-4_40
Wachter, Michael; Haenni, Rolf; Jonczy, Jacek (2006). Reliability and Diagnostics of Modular Systems: a New Probabilistic Approach. In: González, C.A.; Escobet, T.; Pulido, B. (eds.) DX'06, 17th International Workshop on Principles of Diagnosis, Peñaranda de Duero, Burgos, Spain (pp. 273-280). Linköping: The Institute of Technology, Linköping University
Wachter, Michael; Haenni, Rolf (2006). Propositional DAGs: a New Graph-Based Language for Representing Boolean Functions. In: Doherty, Patrick; Mylopoulos, John; Welty, Christopher (eds.) Principles of Knowledge Representation and Reasoning: The Tenth International Conference 2006 (pp. 277-285). Menlo Park, California: AAAI Press
Wachter, Michael (2006). Representing Boolean Functions with Propositional Directed Acyclic Graphs. In: Darwiche, A; Dechter, R; Fargier, H; Kohlas, J; Mengin, J; Verfaillie, G; , (eds.) WIGSK'06. A one day ECAI workshop, Riva del Garda, Italy, 29th August 2006 (pp. 31-35). Toulouse: Institut de Recherche en Informatique de Toulouse
