Rachel Ben-Eliyahu-Zohary

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