Rachel Ben-Eliyahu-Zohary

Rachel Ben-Eliyahu

	2012
j19		Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony: Markov network based ontology matching. J. Comput. Syst. Sci. 78(1): 105-118 (2012)
	2011
i3		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Tractable Strong Outlier Identification. CoRR abs/1109.4623 (2011)
	2010
j18		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection for simple default theories. Artif. Intell. 174(15): 1247-1253 (2010)
	2009
c17		Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony: Markov Network Based Ontology Matching. IJCAI 2009: 1884-1889
	2008
j17		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier detection using default reasoning. Artif. Intell. 172(16-17): 1837-1872 (2008)
	2007
j16		Chen Avin, Rachel Ben-Eliyahu-Zohary: An upper bound on computing all X-minimal models. AI Commun. 20(2): 87-92 (2007)
	2005
j15		Rachel Ben-Eliyahu-Zohary: An incremental algorithm for generating all minimal models. Artif. Intell. 169(1): 1-22 (2005)
	2004
c16		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Disjunctive Logic Programming. ECAI 2004: 416-419
	2003
j14		Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni: Metaqueries: Semantics, complexity, and efficient algorithms. Artif. Intell. 149(1): 61-87 (2003)
j13		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)
j12		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4(2): 149-180 (2003)
c15		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary: Exploiting Default Logic to Detect Outliers. APPIA-GULP-PRODE 2003: 86-96
c14		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. Answer Set Programming 2003
c13		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Outlier Detection Using Default Logic. IJCAI 2003: 833-838
	2002
j11		Rachel Ben-Eliyahu-Zohary: Yet some more complexity results for default logic. Artif. Intell. 139(1): 1-20 (2002)
	2001
c12		Chen Avin, Rachel Ben-Eliyahu-Zohary: Algorithms for Computing X-Minimal Models. LPNMR 2001: 322-335
i2		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. CoRR cs.DB/0106012 (2001)
	2000
j10		Shai Ben-David, Rachel Ben-Eliyahu-Zohary: A modal logic for subjective default reasoning. Artif. Intell. 116(1-2): 217-236 (2000)
j9		Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker: More on tractable disjunctive Datalog. J. Log. Program. 46(1-2): 61-101 (2000)
c11		Rachel Ben-Eliyahu-Zohary: A Demand-Driven Algorithm for Generating Minimal Models. AAAI/IAAI 2000: 267-272
c10		Rachel Ben-Eliyahu-Zohary, Ehud Gudes: Meta-queries - Computation and Evaluation. DaWaK 2000: 265-275
c9		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. PODS 2000: 237-244
	1999
j8		Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski: Similarity Preservation in Default Logic. Ann. Math. Artif. Intell. 25(1-2): 137-160 (1999)
c8		Rachel Ben-Eliyahu-Zohary, Ehud Gudes: Towards Efficient Metaquerying. IJCAI 1999: 800-805
	1997
j7		Rachel Ben-Eliyahu-Zohary, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. Artif. Intell. 96(2): 421-449 (1997)
	1996
j6		Rachel Ben-Eliyahu, Rina Dechter: Default Reasoning Using Classical Logic. Artif. Intell. 84(1-2): 113-150 (1996)
j5		Rachel Ben-Eliyahu, Rina Dechter: On Computing Minimal Models. Ann. Math. Artif. Intell. 18(1): 3-27 (1996)
j4		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)
j3		Rachel Ben-Eliyahu, Menachem Magidor: A Temporal Logic for Proving Properties of Topologically General Executions. Inf. Comput. 124(2): 127-144 (1996)
j2		Rachel Ben-Eliyahu: A Hierarchy of Tractable Subsets for Computing Stable Models. J. Artif. Intell. Res. (JAIR) 5: 27-52 (1996)
c7		Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker: The Expressive Power of Tractable Disjunction. ECAI 1996: 345-349
i1		Rachel Ben-Eliyahu: A Hierarchy of Tractable Subsets for Computing Stable Models. CoRR cs.AI/9608104 (1996)
	1994
j1		Rachel Ben-Eliyahu, Rina Dechter: Propositional Semantics for Disjunctive Logic Programs. Ann. Math. Artif. Intell. 12(1-2): 53-87 (1994)
c6		Rachel Ben-Eliyahu, Luigi Palopoli: Reasoning with Minimal Models: Efficient Algorithms and Applications. KR 1994: 39-50
c5		Shai Ben-David, Rachel Ben-Eliyahu: a modal logic for subjective default reasoning. LICS 1994: 477-486
	1993
c4		Rachel Ben-Eliyahu, Rina Dechter: On Computing Minimal Models. AAAI 1993: 2-8
c3		Rachel Ben-Eliyahu: Back to the Future: Program Completion, Revisited. ILPS 1993: 642
	1992
c2		Rachel Ben-Eliyahu, Rina Dechter: Propositional Sematics for Disjunctive Logic Programs. JICSLP 1992: 813-827
	1991
c1		Rachel Ben-Eliyahu, Rina Dechter: Default Logic, Propositional Logic, and Constraints. AAAI 1991: 379-385

Coauthor Index

Colors in the list of coauthors

Last update Mon May 20 15:55:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page