Statistical relational artificial intelligence: Logic, probability, and computation

LD Raedt, K Kersting, S Natarajan, D Poole - Synthesis lectures on …, 2016 - Springer
An intelligent agent interacting with the real world will encounter individual people, courses,
test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of …

Probabilistic theorem proving

V Gogate, P Domingos - Communications of the ACM, 2016 - dl.acm.org
Many representation schemes combining first-order logic and probability have been
proposed in recent years. Progress in unifying logical and probabilistic inference has been …

[PDF][PDF] Lifted probabilistic inference by first-order knowledge compilation

G Van den Broeck, N Taghipour, W Meert, J Davis… - IJCAI, 2011 - starai.cs.ucla.edu
Probabilistic logical languages provide powerful formalisms for knowledge representation
and learning. Yet performing inference in these languages is extremely costly, especially if it …

Lifted graphical models: a survey

A Kimmig, L Mihalkova, L Getoor - Machine Learning, 2015 - Springer
Lifted graphical models provide a language for expressing dependencies between different
types of entities, their attributes, and their diverse relations, as well as techniques for …

Lifted probabilistic inference

K Kersting - ECAI 2012, 2012 - ebooks.iospress.nl
Many AI problems arising in a wide variety of fields such as machine learning, semantic
web, network communication, computer vision, and robotics can elegantly be encoded and …

On the completeness of first-order knowledge compilation for lifted probabilistic inference

G Broeck - Advances in Neural Information Processing …, 2011 - proceedings.neurips.cc
Probabilistic logics are receiving a lot of attention today because of their expressive power
for knowledge representation and learning. However, this expressivity is detrimental to the …

Query processing on probabilistic data: A survey

G Van den Broeck, D Suciu - Foundations and Trends® in …, 2017 - nowpublishers.com
Probabilistic data is motivated by the need to model uncertainty in large databases. Over the
last twenty years or so, both the Database community and the AI community have studied …

Tractability through exchangeability: A new perspective on efficient probabilistic inference

M Niepert, G Van den Broeck - Proceedings of the AAAI Conference on …, 2014 - ojs.aaai.org
Exchangeability is a central notion in statistics and probability theory. The assumption that
an infinite sequence of data points is exchangeable is at the core of Bayesian statistics …

Lifted variable elimination: Decoupling the operators from the constraint language

N Taghipour, D Fierens, J Davis, H Blockeel - Journal of Artificial …, 2013 - jair.org
Lifted probabilistic inference algorithms exploit regularities in the structure of graphical
models to perform inference more efficiently. More specifically, they identify groups of …

A tractable first-order probabilistic logic

P Domingos, W Webb - Proceedings of the AAAI Conference on …, 2012 - ojs.aaai.org
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 …