Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hybrid Processing of Beliefs and Constraints   This paper explores algorithms for processing probabilistic and deterministic
information when the former is represented as a belief network and the latter
as a set of boolean clauses. The motivating tasks are 1. evaluating beliefs
networks having a large number of deterministic relationships and2. evaluating
probabilities of complex boolean querie over a belief network. We propose a
parameterized family of variable elimination algorithms that exploit both types
of information, and that allows varying levels of constraint propagation
inferences. The complexity of the scheme is controlled by the induced-width of
the graph {em augmented} by the dependencies introduced by the boolean
constraints. Preliminary empirical evaluation demonstrate the effect of
constraint propagation on probabilistic computation.

20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph