activity
20122026
most citedProbabilistic Theorem Proving

135 citations · 307 across the 31 of their papers we have counts for

collaborators
Showing 2012Show all

8 papers · 1 filter

cs.DS2012

A Complete Anytime Algorithm for Treewidth

Vibhav Gogate, Rina Dechter

In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect e…

cs.AI2012★ 40 cited

Approximate Inference Algorithms for Hybrid Bayesian Networks with Discrete Constraints

Vibhav Gogate, Rina Dechter

In this paper, we consider Hybrid Mixed Networks (HMN) which are Hybrid Bayesian Networks that allow discrete deterministic information to be modeled explicitly in the form of cons…

cs.AI2012★ 23 cited

Modeling Transportation Routines using Hybrid Dynamic Mixed Networks

Vibhav Gogate, Rina Dechter, Bozhena Bidyuk +2

This paper describes a general framework called Hybrid Dynamic Mixed Networks (HDMNs) which are Hybrid Dynamic Bayesian Networks that allow representation of discrete deterministic…

cs.AI2012★ 1 cited

Studies in Lower Bounding Probabilities of Evidence using the Markov Inequality

Vibhav Gogate, Bozhena Bidyuk, Rina Dechter

Computing the probability of evidence even with known error bounds is NP-hard. In this paper we address this hard problem by settling on an easier problem. We propose an approximat…

cs.AI2012★ 8 cited

AND/OR Importance Sampling

Vibhav Gogate, Rina Dechter

The paper introduces AND/OR importance sampling for probabilistic graphical models. In contrast to importance sampling, AND/OR importance sampling caches samples in the AND/OR spac…

cs.AI2012★ 27 cited

Formula-Based Probabilistic Inference

Vibhav Gogate, Pedro Domingos

Computing the probability of a formula given the probabilities or weights associated with other formulas is a natural extension of logical inference to the probabilistic setting. S…