×

zbMATH — the first resource for mathematics

Column generation methods for probabilistic logic. (English) Zbl 0800.68864

MSC:
68T27 Logic in artificial intelligence
68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
PDF BibTeX XML Cite
Full Text: DOI