BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
2 × USA
Collaborated with:
A.K.Jagota P.v.Beek I.Rish R.Ben-Eliyahu I.Meiri J.Pearl
Talks about:
constraint (2) relat (2) distribut (1) algorithm (1) proposit (1) procedur (1) disjunct (1) decompos (1) revisit (1) resolut (1)

Person: Rina Dechter

DBLP DBLP: Dechter:Rina

Contributed to:

SAC 19971997
KR 19941994
JICSLP 19921992
KR 19891989
PODS 19871987

Wrote 6 papers:

SAC-1997-JagotaD #algorithm #distributed #problem
Simple distributed algorithms for the cycle cutset problem (AKJ, RD), pp. 366–373.
KR-1994-BeekD #consistency #constraints
Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.
KR-1994-DechterR #revisited
Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.
JICSLP-1992-Ben-EliyahuD #logic programming #source code
Propositional Sematics for Disjunctive Logic Programs (RBE, RD), pp. 813–827.
KR-1989-DechterMP #constraints #network
Temporal Constraint Networks (RD, IM, JP), pp. 83–93.
Decomposing an N-ary Relation into a Tree of Binary Relations (RD), pp. 185–189.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.