Rachel Ben-Eliyahu-Zohary

Rachel Ben-Eliyahu

2008
35	EE	Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection using default reasoning. Artif. Intell. 172(16-17): 1837-1872 (2008)
2007
34	EE	Chen Avin, Rachel Ben-Eliyahu-Zohary: An upper bound on computing all X-minimal models. AI Commun. 20(2): 87-92 (2007)
2005
33	EE	Rachel Ben-Eliyahu-Zohary: An incremental algorithm for generating all minimal models. Artif. Intell. 169(1): 1-22 (2005)
2004
32		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Disjunctive Logic Programming. ECAI 2004: 416-419
2003
31		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary: Exploiting Default Logic to Detect Outliers. APPIA-GULP-PRODE 2003: 86-96
30	EE	Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. Answer Set Programming 2003
29		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. IJCAI 2003: 833-838
28	EE	Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4(2): 149-180 (2003)
27		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): 175-204 (2003)
26	EE	Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni: Metaqueries: Semantics, complexity, and efficient algorithms. Artif. Intell. 149(1): 61-87 (2003)
2002
25	EE	Rachel Ben-Eliyahu-Zohary: Yet some more complexity results for default logic. Artif. Intell. 139(1): 1-20 (2002)
2001
24	EE	Chen Avin, Rachel Ben-Eliyahu-Zohary: Algorithms for Computing X-Minimal Models. LPNMR 2001: 322-335
23	EE	Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems CoRR cs.DB/0106012: (2001)
2000
22		Rachel Ben-Eliyahu-Zohary: A Demand-Driven Algorithm for Generating Minimal Models. AAAI/IAAI 2000: 267-272
21	EE	Rachel Ben-Eliyahu-Zohary, Ehud Gudes: Meta-queries - Computation and Evaluation. DaWaK 2000: 265-275
20	EE	Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. PODS 2000: 237-244
19	EE	Shai Ben-David, Rachel Ben-Eliyahu-Zohary: A modal logic for subjective default reasoning. Artif. Intell. 116(1-2): 217-236 (2000)
18		Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker: More on tractable disjunctive Datalog. J. Log. Program. 46(1-2): 61-101 (2000)
1999
17		Rachel Ben-Eliyahu-Zohary, Ehud Gudes: Towards Efficient Metaquerying. IJCAI 1999: 800-805
16		Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski: Similarity Preservation in Default Logic. Ann. Math. Artif. Intell. 25(1-2): 137-160 (1999)
1997
15	EE	Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. Artif. Intell. 96(2): 421-449 (1997)
1996
14		Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker: The Expressive Power of Tractable Disjunction. ECAI 1996: 345-349
13		Rachel Ben-Eliyahu, Rina Dechter: On Computing Minimal Models. Ann. Math. Artif. Intell. 18(1): 3-27 (1996)
12	EE	Rachel Ben-Eliyahu, Rina Dechter: Default Reasoning Using Classical Logic. Artif. Intell. 84(1-2): 113-150 (1996)
11	EE	Rachel Ben-Eliyahu: A Hierarchy of Tractable Subsets for Computing Stable Models CoRR cs.AI/9608104: (1996)
10		Krzysztof R. Apt, Rachel Ben-Eliyahu: Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. Fundam. Inform. 28(1-2): 23-36 (1996)
9		Rachel Ben-Eliyahu, Menachem Magidor: A Temporal Logic for Proving Properties of Topologically General Executions. Inf. Comput. 124(2): 127-144 (1996)
8		Rachel Ben-Eliyahu: A Hierarchy of Tractable Subsets for Computing Stable Models. J. Artif. Intell. Res. (JAIR) 5: 27-52 (1996)
1994
7		Rachel Ben-Eliyahu, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. KR 1994: 39-50
6		Shai Ben-David, Rachel Ben-Eliyahu: a modal logic for subjective default reasoning LICS 1994: 477-486
5		Rachel Ben-Eliyahu, Rina Dechter: Propositional Semantics for Disjunctive Logic Programs. Ann. Math. Artif. Intell. 12(1-2): 53-87 (1994)
1993
4		Rachel Ben-Eliyahu, Rina Dechter: On Computing Minimal Models. AAAI 1993: 2-8
3		Rachel Ben-Eliyahu: Back to the Future: Program Completion, Revisited. ILPS 1993: 642
1992
2		Rachel Ben-Eliyahu, Rina Dechter: Propositional Sematics for Disjunctive Logic Programs. JICSLP 1992: 813-827
1991
1		Rachel Ben-Eliyahu, Rina Dechter: Default Logic, Propositional Logic, and Constraints. AAAI 1991: 379-385

Coauthor Index

1	Fabrizio Angiulli	[20] [23] [28] [29] [30] [31] [32] [35]
2	Krzysztof R. Apt	[10]
3	Chen Avin	[24] [34]
4	Shai Ben-David	[6] [19]
5	Rina Dechter	[1] [2] [4] [5] [12] [13]
6	Carmel Domshlak	[27]
7	Nissim Francez	[16]
8	Ehud Gudes	[17] [21] [26] [27]
9	Giovambattista Ianni	[20] [23] [26] [28]
10	Michael Kaminski	[16]
11	N. Liusternik	[27]
12	Menachem Magidor	[9]
13	Amnon Meisels	[27]
14	Luigi Palopoli	[7] [14] [15] [18] [20] [23] [28] [29] [30] [32] [35]
15	Tzachi Rosen	[27]
16	Solomon Eyal Shimony	[27]
17	Victoria Zemlyanker	[14] [18]

Colors in the list of coauthors