The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Rachel Ben-Eliyahu-Zohary Rachel Ben-Eliyahu ( http://dblp.L3S.de/Authors/Rachel_Ben-Eliyahu-Zohary )

Publication years (Num. hits)
1991-1997 (15) 1999-2003 (16) 2004-2017 (15)
Publication types (Num. hits)
article(26) inproceedings(20)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 47 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli Modular Construction of Minimal Models. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli Decomposing Minimal Models. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Restricted default theories: Expressive power and outlier detection tasks. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli Exploiting the HEF property to check model minimality. Search on Bibsonomy SEBD The full citation details ... 2015 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Tal Grinshpoun, Elena Churkin, Ehud Gudes Monotonic qualitative logic programs: Computation and applications. Search on Bibsonomy AI Commun. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli On the tractability of minimal model computation for some CNF theories. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli On the Tractability of Minimal Model Computation for Some CNF Theories. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony Markov network based ontology matching. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Tractable Strong Outlier Identification Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier detection for simple default theories. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony Markov Network Based Ontology Matching. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier detection using default reasoning. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Chen Avin, Rachel Ben-Eliyahu-Zohary An upper bound on computing all X-minimal models. Search on Bibsonomy AI Commun. The full citation details ... 2007 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary An incremental algorithm for generating all minimal models. Search on Bibsonomy Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier Detection Using Disjunctive Logic Programming. Search on Bibsonomy ECAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli Computational properties of metaquerying problems. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data mining, Computational complexity
1Rachel 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. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni Metaqueries: Semantics, complexity, and efficient algorithms. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary Exploiting Default Logic to Detect Outliers. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier Detection Using Default Logic. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Outlier Detection Using Default Logic. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary Yet some more complexity results for default logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli Computational Properties of Metaquerying Problems Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Chen Avin, Rachel Ben-Eliyahu-Zohary Algorithms for Computing X-Minimal Models. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker More on tractable disjunctive Datalog. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Shai Ben-David, Rachel Ben-Eliyahu-Zohary A modal logic for subjective default reasoning. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli Computational Properties of Metaquerying Problems. Search on Bibsonomy PODS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Ehud Gudes Meta-queries - Computation and Evaluation. Search on Bibsonomy DaWaK The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary A Demand-Driven Algorithm for Generating Minimal Models. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski Similarity Preservation in Default Logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Ehud Gudes Towards Efficient Metaquerying. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu-Zohary, Luigi Palopoli Reasoning with Minimal Models: Efficient Algorithms and Applications. Search on Bibsonomy Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt, Rachel Ben-Eliyahu Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax. Search on Bibsonomy Fundam. Inform. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu, Rina Dechter On Computing Minimal Models. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu, Rina Dechter Default Reasoning Using Classical Logic. Search on Bibsonomy Artif. Intell. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu A Hierarchy of Tractable Subsets for Computing Stable Models. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu A Hierarchy of Tractable Subsets for Computing Stable Models Search on Bibsonomy CoRR The full citation details ... 1996 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu, Menachem Magidor A Temporal Logic for Proving Properties of Topologically General Executions. Search on Bibsonomy Inf. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker The Expressive Power of Tractable Disjunction. Search on Bibsonomy ECAI The full citation details ... 1996 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu, Rina Dechter Propositional Semantics for Disjunctive Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Shai Ben-David, Rachel Ben-Eliyahu a modal logic for subjective default reasoning Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Rachel Ben-Eliyahu, Luigi Palopoli Reasoning with Minimal Models: Efficient Algorithms and Applications. Search on Bibsonomy KR The full citation details ... 1994 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu Back to the Future: Program Completion, Revisited. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu, Rina Dechter On Computing Minimal Models. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu, Rina Dechter Propositional Sematics for Disjunctive Logic Programs. Search on Bibsonomy JICSLP The full citation details ... 1992 DBLP  BibTeX  RDF
1Rachel Ben-Eliyahu, Rina Dechter Default Logic, Propositional Logic, and Constraints. Search on Bibsonomy AAAI The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license