#### Filter Results:

- Full text PDF available (249)

#### Publication Year

1980

2017

- This year (6)
- Last 5 years (53)
- Last 10 years (114)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Rina Dechter, Itay Meiri, Judea Pearl
- Artif. Intell.
- 1989

- Rina Dechter
- 2003

- Rachel Ben-Eliyahu-Zohary, Rina Dechter
- Annals of Mathematics and Artificial Intelligence
- 1992

In this paper we study the properties of the class of head-cycle-free extended disjunctive logic programs (HEDLPs), which includes, as a special case, all nondisjunctive extended logic programs. We show that any propositional HEDLP can be mapped in polynomial time into a propositional theory such that each model of the latter corresponds to an answer set,… (More)

- Rina Dechter
- Artif. Intell.
- 1999

Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolution for propositional satis ability, adaptive-consistency for constraint satisfaction, Fourier and Gaussian elimination for solving linear equalities and inequalities, and dynamic… (More)

- Rina Dechter, Judea Pearl
- Artif. Intell.
- 1989

- Rina Dechter, Judea Pearl
- Artif. Intell.
- 1987

- Rina Dechter
- UAI
- 1996

Probabilistic inference algorithms for belief updating, nding the most probable explanation, the maximum a posteriori hypothesis, and the maximum expected utility are reformulated within the bucket elimination framework. This emphasizes the principles common to many of the algorithms appearing in the probabilistic inference literature and clari es the… (More)

- Rina Dechter
- Artif. Intell.
- 1990

- Rina Dechter, Judea Pearl
- J. ACM
- 1985

This paper reports several properties of heuristic best-first search strategies whose scoring functions ƒ depend on all the information available from each candidate path, not merely on the current cost <italic>g</italic> and the estimated completion cost <italic>h</italic>. It is shown that several known properties of A* retain their form (with the… (More)

- Rina Dechter
- 1992

1 Introduction Constraint-based reasoning is a paradigm for formulating knowledge as a set of constraints without specifying the method by which these constraints are to be satised. A variety of techniques have been developed for nding partial or complete solutions for dierent kinds of constraint expressions. These have been successfully applied to diverse… (More)