Ben-Eliyahu, Rachel

3 publications

JAIR 1996 A Hierarchy of Tractable Subsets for Computing Stable Models Rachel Ben-Eliyahu

AAAI 1993 On Computing Minimal Models Rachel Ben-Eliyahu, Rina Dechter

AAAI 1991 Default Logic, Propositional Logic, and Constraints Rachel Ben-Eliyahu, Rina Dechter