William Webb

A Tractable First-Order Probabilistic Logic

2021 · Proceedings of the AAAI Conference on Artificial Intelligence

Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. However, these are intractable, losing the original motivation. Here …