Search the dblp DataBase

Publications of Author

1. Rachel Ben-Eliyahu, Rina Dechter
   Propositional Sematics for Disjunctive Logic Programs. [Citation Graph (1, 0)][DBLP]
   JICSLP, 1992, pp:813-827 [Conf]
   
2. Rachel Ben-Eliyahu, Luigi Palopoli
   Reasoning with Minimal Models: Efficient Algorithms and Applications. [Citation Graph (1, 0)][DBLP]
   KR, 1994, pp:39-50 [Conf]
   
3. Rachel Ben-Eliyahu, Rina Dechter
   Default Logic, Propositional Logic, and Constraints. [Citation Graph (0, 0)][DBLP]
   AAAI, 1991, pp:379-385 [Conf]
   
4. Rachel Ben-Eliyahu, Rina Dechter
   On Computing Minimal Models. [Citation Graph (0, 0)][DBLP]
   AAAI, 1993, pp:2-8 [Conf]
   
5. Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker
   The Expressive Power of Tractable Disjunction. [Citation Graph (0, 0)][DBLP]
   ECAI, 1996, pp:345-349 [Conf]
   
6. Shai Ben-David, Rachel Ben-Eliyahu
   a modal logic for subjective default reasoning [Citation Graph (0, 0)][DBLP]
   LICS, 1994, pp:477-486 [Conf]
   
7. Rachel Ben-Eliyahu
   Back to the Future: Program Completion, Revisited. [Citation Graph (0, 0)][DBLP]
   ILPS, 1993, pp:642- [Conf]
   
8. Rachel Ben-Eliyahu, Rina Dechter
   Default Reasoning Using Classical Logic. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1996, v:84, n:1-2, pp:113-150 [Journal]
   
9. Rachel Ben-Eliyahu, Rina Dechter
   Propositional Semantics for Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1994, v:12, n:1-2, pp:53-87 [Journal]
   
10. Rachel Ben-Eliyahu, Rina Dechter
    On Computing Minimal Models. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:18, n:1, pp:3-27 [Journal]
    
11. Rachel Ben-Eliyahu
    A Hierarchy of Tractable Subsets for Computing Stable Models [Citation Graph (0, 0)][DBLP]
    CoRR, 1996, v:0, n:, pp:- [Journal]
    
12. Krzysztof R. Apt, Rachel Ben-Eliyahu
    Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:23-36 [Journal]
    
13. Rachel Ben-Eliyahu, Menachem Magidor
    A Temporal Logic for Proving Properties of Topologically General Executions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:124, n:2, pp:127-144 [Journal]
    
14. Rachel Ben-Eliyahu
    A Hierarchy of Tractable Subsets for Computing Stable Models. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 1996, v:5, n:, pp:27-52 [Journal]