Jaumard, Brigitte; Hansen, Pierre; Poggi de Aragão, Marcus Column generation methods for probabilistic logic. (English) Zbl 0800.68864 ORSA J. Comput. 3, No. 2, 135-148 (1991). Cited in 43 Documents MSC: 68T27 Logic in artificial intelligence 68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence Keywords:probabilistic satisfiability; column generation algorithm; Nilsson’s model; artificial intelligence; expert systems; column generation PDF BibTeX XML Cite \textit{B. Jaumard} et al., ORSA J. Comput. 3, No. 2, 135--148 (1991; Zbl 0800.68864) Full Text: DOI OpenURL