Rachel Ben-Eliyahu

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Rachel Ben-Eliyahu, Rina Dechter
On Computing Minimal Models. Ann. Math. Artif. Intell. 18 (1) (1996)
Rachel Ben-Eliyahu
A Hierarchy of Tractable Subsets for Computing Stable Models. J. Artif. Intell. Res. 5 (1996)
Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker
The Expressive Power of Tractable Disjunction. ECAI (1996)
Rachel Ben-Eliyahu, Menachem Magidor
A Temporal Logic for Proving Properties of Topologically General Executions. Inf. Comput. 124 (2) (1996)
Rachel Ben-Eliyahu, Rina Dechter
Default Reasoning Using Classical Logic. Artif. Intell. 84 (1-2) (1996)
Krzysztof R. Apt, Rachel Ben-Eliyahu
Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. Fundam. Informaticae 28 (1-2) (1996)
Rachel Ben-Eliyahu
A Hierarchy of Tractable Subsets for Computing Stable Models CoRR (1996)
Rachel Ben-Eliyahu, Rina Dechter
Propositional Semantics for Disjunctive Logic Programs. Ann. Math. Artif. Intell. 12 (1-2) (1994)
Rachel Ben-Eliyahu, Luigi Palopoli
Reasoning with Minimal Models: Efficient Algorithms and Applications. KR (1994)
Shai Ben-David, Rachel Ben-Eliyahu
a modal logic for subjective default reasoning LICS (1994)
Rachel Ben-Eliyahu
Back to the Future: Program Completion, Revisited. ILPS (1993)
Rachel Ben-Eliyahu, Rina Dechter
On Computing Minimal Models. AAAI (1993)
Rachel Ben-Eliyahu, Rina Dechter
Propositional Sematics for Disjunctive Logic Programs. JICSLP (1992)
Rachel Ben-Eliyahu, Rina Dechter
Default Logic, Propositional Logic, and Constraints. AAAI (1991)