Rachel Ben-Eliyahu

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