Statistical relational artificial intelligence: Logic, probability, and computation
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 …
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 …
proposed in recent years. Progress in unifying logical and probabilistic inference has been …
[PDF][PDF] Lifted probabilistic inference by first-order knowledge compilation
Probabilistic logical languages provide powerful formalisms for knowledge representation
and learning. Yet performing inference in these languages is extremely costly, especially if it …
and learning. Yet performing inference in these languages is extremely costly, especially if it …
Lifted graphical models: a survey
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 …
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 …
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 …
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 …
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 …
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
Lifted probabilistic inference algorithms exploit regularities in the structure of graphical
models to perform inference more efficiently. More specifically, they identify groups of …
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 …
formalisms have been used as the basis for first-order probabilistic languages. However …