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 44 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 × Cite Format Result Cite Review PDF Full Text: DOI