Rachel Ben-Eliyahu-Zohary

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 7

Top Topics

Top Venues

LPAR (Workshop and Short Papers)

Publications

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli
Graph-based construction of minimal models. Artif. Intell. 313 (2022)
Rachel Ben-Eliyahu-Zohary
How to Split a Logic Program. ICLP Technical Communications (2021)
Tamar Bash, Rachel Ben-Eliyahu-Zohary
Towards Efficient Metaquery Generator. LPAR (Workshop and Short Papers) (2018)
Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli
Modular Construction of Minimal Models. LPNMR (2017)
Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli
Decomposing Minimal Models. KnowProS@IJCAI (2016)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Restricted default theories: Expressive power and outlier detection tasks. Theor. Comput. Sci. 564 (2015)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli
Exploiting the HEF property to check model minimality. SEBD (2015)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli
On the tractability of minimal model computation for some CNF theories. Artif. Intell. 210 (2014)
Rachel Ben-Eliyahu-Zohary, Tal Grinshpoun, Elena Churkin, Ehud Gudes
Monotonic qualitative logic programs: Computation and applications. AI Commun. 27 (3) (2014)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli
On the Tractability of Minimal Model Computation for Some CNF Theories. CoRR (2013)
Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony
Markov network based ontology matching. J. Comput. Syst. Sci. 78 (1) (2012)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Tractable Strong Outlier Identification CoRR (2011)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Outlier detection for simple default theories. Artif. Intell. 174 (15) (2010)
Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony
Markov Network Based Ontology Matching. IJCAI (2009)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Outlier detection using default reasoning. Artif. Intell. 172 (16-17) (2008)
Chen Avin, Rachel Ben-Eliyahu-Zohary
An upper bound on computing all X-minimal models. AI Commun. 20 (2) (2007)
Rachel Ben-Eliyahu-Zohary
An incremental algorithm for generating all minimal models. Artif. Intell. 169 (1) (2005)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Outlier Detection Using Disjunctive Logic Programming. ECAI (2004)
Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni
Metaqueries: Semantics, complexity, and efficient algorithms. Artif. Intell. 149 (1) (2003)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4 (2) (2003)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Outlier Detection Using Default Logic. Answer Set Programming (2003)
Rachel Ben-Eliyahu-Zohary, Carmel Domshlak, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony
FlexiMine - A Flexible Platform for KDD Research and Application Development. Ann. Math. Artif. Intell. 39 (1-2) (2003)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary
Exploiting Default Logic to Detect Outliers. APPIA-GULP-PRODE (2003)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Outlier Detection Using Default Logic. IJCAI (2003)
Rachel Ben-Eliyahu-Zohary
Yet some more complexity results for default logic. Artif. Intell. 139 (1) (2002)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
Computational Properties of Metaquerying Problems CoRR (2001)
Chen Avin, Rachel Ben-Eliyahu-Zohary
Algorithms for Computing X-Minimal Models. LPNMR (2001)
Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker
More on tractable disjunctive Datalog. J. Log. Program. 46 (1-2) (2000)
Shai Ben-David, Rachel Ben-Eliyahu-Zohary
A modal logic for subjective default reasoning. Artif. Intell. 116 (1-2) (2000)
Rachel Ben-Eliyahu-Zohary
A Demand-Driven Algorithm for Generating Minimal Models. AAAI/IAAI (2000)
Rachel Ben-Eliyahu-Zohary, Ehud Gudes
Meta-queries - Computation and Evaluation. DaWaK (2000)
Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
Computational Properties of Metaquerying Problems. PODS (2000)
Rachel Ben-Eliyahu-Zohary, Ehud Gudes
Towards Efficient Metaquerying. IJCAI (1999)
Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski
Similarity Preservation in Default Logic. Ann. Math. Artif. Intell. 25 (1-2) (1999)
Rachel Ben-Eliyahu-Zohary, Luigi Palopoli
Reasoning with Minimal Models: Efficient Algorithms and Applications. Artif. Intell. 96 (2) (1997)