| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony |
Markov network based ontology matching.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Tractable Strong Outlier Identification |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Outlier detection for simple default theories. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony |
Markov Network Based Ontology Matching. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Outlier detection using default reasoning. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Avin, Rachel Ben-Eliyahu-Zohary |
An upper bound on computing all X-minimal models. |
AI Commun. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary |
An incremental algorithm for generating all minimal models. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Outlier Detection Using Disjunctive Logic Programming. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni |
Metaqueries: Semantics, complexity, and efficient algorithms. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli |
Computational properties of metaquerying problems. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
data mining, Computational complexity |
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Outlier Detection Using Default Logic. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary |
Exploiting Default Logic to Detect Outliers. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Outlier Detection Using Default Logic. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary |
Yet some more complexity results for default logic. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli |
Computational Properties of Metaquerying Problems |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chen Avin, Rachel Ben-Eliyahu-Zohary |
Algorithms for Computing X-Minimal Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker |
More on tractable disjunctive Datalog. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Shai Ben-David, Rachel Ben-Eliyahu-Zohary |
A modal logic for subjective default reasoning. |
Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Ehud Gudes |
Meta-queries - Computation and Evaluation. |
DaWaK |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli |
Computational Properties of Metaquerying Problems. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary |
A Demand-Driven Algorithm for Generating Minimal Models. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski |
Similarity Preservation in Default Logic. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Ehud Gudes |
Towards Efficient Metaquerying. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Luigi Palopoli |
Reasoning with Minimal Models: Efficient Algorithms and Applications. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Menachem Magidor |
A Temporal Logic for Proving Properties of Topologically General Executions. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof R. Apt, Rachel Ben-Eliyahu |
Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu |
A Hierarchy of Tractable Subsets for Computing Stable Models |
CoRR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu |
A Hierarchy of Tractable Subsets for Computing Stable Models. |
J. Artif. Intell. Res. (JAIR) |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Rina Dechter |
Default Reasoning Using Classical Logic. |
Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Rina Dechter |
On Computing Minimal Models. |
Ann. Math. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker |
The Expressive Power of Tractable Disjunction. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Rina Dechter |
Propositional Semantics for Disjunctive Logic Programs. |
Ann. Math. Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Luigi Palopoli |
Reasoning with Minimal Models: Efficient Algorithms and Applications. |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Shai Ben-David, Rachel Ben-Eliyahu |
a modal logic for subjective default reasoning |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu |
Back to the Future: Program Completion, Revisited. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Rina Dechter |
On Computing Minimal Models. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Rina Dechter |
Propositional Sematics for Disjunctive Logic Programs. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu, Rina Dechter |
Default Logic, Propositional Logic, and Constraints. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")