Pedro Domingos

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 …

Learning and inference in tractable probabilistic knowledge bases

2015 · Uncertainty in Artificial Intelligence

Building efficient large-scale knowledge bases (KBs) is a longstanding goal of AI. KBs need to be first-order to be sufficiently expressive, and probabilistic to handle uncertainty, but these lead to intractable inference. Recently, tractable Markov …

Learning Tractable Probabilistic Models for Fault Localization

2015 · arXiv (Cornell University)

In recent years, several probabilistic techniques have been applied to various debugging problems. However, most existing probabilistic debugging systems use relatively simple statistical models, and fail to generalize across multiple programs. In this work, we …