Default Logic, Propositional Logic, and Constraints. - Rachel Ben-Eliyahu; Rina Dechter (AAAI, 1991)

Propositional Sematics for Disjunctive Logic Programs. - Rachel Ben-Eliyahu; Rina Dechter (JICSLP, 1992)

Back to the Future: Program Completion, Revisited. - Rachel Ben-Eliyahu (ILPS, 1993)

Propositional Semantics for Disjunctive Logic Programs. - Rachel Ben-Eliyahu; Rina Dechter (Ann. Math. Artif. Intell., 1994)

The Expressive Power of Tractable Disjunction. - Rachel Ben-Eliyahu; Luigi Palopoli 001; Victoria Zemlyanker (ECAI, 1996)

Default Reasoning Using Classical Logic. - Rachel Ben-Eliyahu; Rina Dechter (Artif. Intell., 1996)

On Computing Minimal Models. - Rachel Ben-Eliyahu; Rina Dechter (Ann. Math. Artif. Intell., 1996)

Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. - Krzysztof R. Apt; Rachel Ben-Eliyahu (Fundam. Informaticae, 1996)

A Temporal Logic for Proving Properties of Topologically General Executions. - Rachel Ben-Eliyahu; Menachem Magidor (Inf. Comput., 1996)

A Hierarchy of Tractable Subsets for Computing Stable Models. - Rachel Ben-Eliyahu (J. Artif. Intell. Res., 1996)

Reasoning with Minimal Models: Efficient Algorithms and Applications. - Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (Artif. Intell., 1997)

Towards Efficient Metaquerying. - Rachel Ben-Eliyahu-Zohary; Ehud Gudes (IJCAI, 1999)

Similarity Preservation in Default Logic. - Rachel Ben-Eliyahu-Zohary; Nissim Francez; Michael Kaminski (Ann. Math. Artif. Intell., 1999)

A Demand-Driven Algorithm for Generating Minimal Models. - Rachel Ben-Eliyahu-Zohary (AAAI/IAAI, 2000)

Meta-queries - Computation and Evaluation. - Rachel Ben-Eliyahu-Zohary; Ehud Gudes (DaWaK, 2000)

A modal logic for subjective default reasoning. - Shai Ben-David; Rachel Ben-Eliyahu-Zohary (Artif. Intell., 2000)

More on tractable disjunctive Datalog. - Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001; Victoria Zemlyanker (J. Log. Program., 2000)

Algorithms for Computing X-Minimal Models. - Chen Avin; Rachel Ben-Eliyahu-Zohary (LPNMR, 2001)

Yet some more complexity results for default logic. - Rachel Ben-Eliyahu-Zohary (Artif. Intell., 2002)

Exploiting Default Logic to Detect Outliers. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary (APPIA-GULP-PRODE, 2003)

Outlier Detection Using Default Logic. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (IJCAI, 2003)

Metaqueries: Semantics, complexity, and efficient algorithms. - Rachel Ben-Eliyahu-Zohary; Ehud Gudes; Giovambattista Ianni (Artif. Intell., 2003)

FlexiMine - A Flexible Platform for KDD Research and Application Development. - Rachel Ben-Eliyahu-Zohary; Carmel Domshlak; Ehud Gudes; N. Liusternik; Amnon Meisels; Tzachi Rosen; Solomon Eyal Shimony (Ann. Math. Artif. Intell., 2003)

Computational properties of metaquerying problems. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Giovambattista Ianni; Luigi Palopoli 001 (ACM Trans. Comput. Log., 2003)

Outlier Detection Using Disjunctive Logic Programming. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (ECAI, 2004)

An incremental algorithm for generating all minimal models. - Rachel Ben-Eliyahu-Zohary (Artif. Intell., 2005)

An upper bound on computing all X-minimal models. - Chen Avin; Rachel Ben-Eliyahu-Zohary (AI Commun., 2007)

Outlier detection using default reasoning. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (Artif. Intell., 2008)

Outlier detection for simple default theories. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (Artif. Intell., 2010)

Tractable Strong Outlier Identification - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (CoRR, 2011)

Markov network based ontology matching. - Sivan Albagli; Rachel Ben-Eliyahu-Zohary; Solomon Eyal Shimony (J. Comput. Syst. Sci., 2012)

On the tractability of minimal model computation for some CNF theories. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Fabio Fassetti; Luigi Palopoli 001 (Artif. Intell., 2014)

Monotonic qualitative logic programs: Computation and applications. - Rachel Ben-Eliyahu-Zohary; Tal Grinshpoun; Elena Churkin; Ehud Gudes (AI Commun., 2014)

Exploiting the HEF property to check model minimality. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Fabio Fassetti; Luigi Palopoli 001 (SEBD, 2015)

Restricted default theories: Expressive power and outlier detection tasks. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Luigi Palopoli 001 (Theor. Comput. Sci., 2015)

Decomposing Minimal Models. - Rachel Ben-Eliyahu-Zohary; Fabrizio Angiulli; Fabio Fassetti; Luigi Palopoli 001 (KnowProS@IJCAI, 2016)

Modular Construction of Minimal Models. - Rachel Ben-Eliyahu-Zohary; Fabrizio Angiulli; Fabio Fassetti; Luigi Palopoli 001 (LPNMR, 2017)

Towards Efficient Metaquery Generator. - Tamar Bash; Rachel Ben-Eliyahu-Zohary (LPAR (Workshop and Short Papers), 2018)

How to Split a Logic Program. - Rachel Ben-Eliyahu-Zohary (ICLP Technical Communications, 2021)

Graph-based construction of minimal models. - Fabrizio Angiulli; Rachel Ben-Eliyahu-Zohary; Fabio Fassetti; Luigi Palopoli 001 (Artif. Intell., 2022)