research
∙
07/07/2020
Learning Branching Heuristics for Propositional Model Counting
Propositional model counting or #SAT is the problem of computing the num...
share
research
∙
05/13/2015
Exploring Strategy-Proofness, Uniqueness, and Pareto Optimality for the Stable Matching Problem with Couples
The Stable Matching Problem with Couples (SMP-C) is a ubiquitous real-wo...
research
∙
01/15/2014
Solving #SAT and Bayesian Inference with Backtracking Search
Inference in Bayes Nets (BAYES) is an important problem with numerous ap...
research
∙
03/27/2013
Probability Distributions Over Possible Worlds
In Probabilistic Logic Nilsson uses the device of a probability distribu...
research
∙
03/27/2013
Lp : A Logic for Statistical Information
This extended abstract presents a logic, called Lp, that is capable of r...
research
∙
03/06/2013
Using Causal Information and Local Measures to Learn Bayesian Networks
In previous work we developed a method of learning Bayesian Network mode...
research
∙
03/06/2013
Using First-Order Probability Logic for the Construction of Bayesian Networks
We present a mechanism for constructing graphical models, specifically B...
research
∙
02/27/2013
Using New Data to Refine a Bayesian Network
We explore the issue of refining an existent Bayesian network structure ...
research
∙
02/27/2013
Generating New Beliefs From Old
In previous work [BGHK92, BGHK93], we have studied the random-worlds app...
research
∙
01/10/2013
UCP-Networks: A Directed Graphical Representation of Conditional Utilities
We propose a new directed graphical representation of utility functions,...
research
∙
10/19/2012
Value Elimination: Bayesian Inference via Backtracking Search
Backtracking search is a powerful algorithmic paradigm that can be used ...
research
∙
08/25/2012
Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (2005)
This is the Proceedings of the Twenty-First Conference on Uncertainty in...
research
∙
07/20/2011
Towards Completely Lifted Search-based Probabilistic Inference
The promise of lifted probabilistic inference is to carry out probabilis...
research
∙
09/09/1998