Rachel Ben-Eliyahu-Zohary

36 papers A* 4A 1B 3Journal 21Unranked 7

Year	Rank	Type	Title / 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