default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRachel Ben-Eliyahu-Zohary
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j23]Fabrizio Angiulli
, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli:
Graph-based construction of minimal models. Artif. Intell. 313: 103754 (2022)- 2015
- [j22]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Restricted default theories: Expressive power and outlier detection tasks. Theor. Comput. Sci. 564: 107-130 (2015) - 2014
- [j21]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli:
On the tractability of minimal model computation for some CNF theories. Artif. Intell. 210: 56-77 (2014) - [j20]Rachel Ben-Eliyahu-Zohary, Tal Grinshpoun, Elena Churkin, Ehud Gudes:
Monotonic qualitative logic programs: Computation and applications. AI Commun. 27(3): 213-228 (2014) - 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) - 2010
- [j18]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier detection for simple default theories. Artif. Intell. 174(15): 1247-1253 (2010) - 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) - 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) - 2002
- [j11]Rachel Ben-Eliyahu-Zohary:
Yet some more complexity results for default logic. Artif. Intell. 139(1): 1-20 (2002) - 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) - 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) - 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. Informaticae 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. 5: 27-52 (1996) - 1994
- [j1]Rachel Ben-Eliyahu, Rina Dechter:
Propositional Semantics for Disjunctive Logic Programs. Ann. Math. Artif. Intell. 12(1-2): 53-87 (1994)
Conference and Workshop Papers
- 2021
- [c22]Rachel Ben-Eliyahu-Zohary:
How to Split a Logic Program. ICLP Technical Communications 2021: 27-40 - 2018
- [c21]Tamar Bash, Rachel Ben-Eliyahu-Zohary:
Towards Efficient Metaquery Generator. LPAR (Workshop and Short Papers) 2018: 49-57 - 2017
- [c20]Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli:
Modular Construction of Minimal Models. LPNMR 2017: 43-48 - 2016
- [c19]Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli:
Decomposing Minimal Models. KnowProS@IJCAI 2016 - 2015
- [c18]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli:
Exploiting the HEF property to check model minimality. SEBD 2015: 351-357 - 2009
- [c17]Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony:
Markov Network Based Ontology Matching. IJCAI 2009: 1884-1889 - 2004
- [c16]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier Detection Using Disjunctive Logic Programming. ECAI 2004: 416-419 - 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 - 2001
- [c12]Chen Avin, Rachel Ben-Eliyahu-Zohary:
Algorithms for Computing X-Minimal Models. LPNMR 2001: 322-335 - 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
- [c8]Rachel Ben-Eliyahu-Zohary, Ehud Gudes:
Towards Efficient Metaquerying. IJCAI 1999: 800-805 - 1996
- [c7]Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker:
The Expressive Power of Tractable Disjunction. ECAI 1996: 345-349 - 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
Informal and Other Publications
- 2013
- [i4]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli:
On the Tractability of Minimal Model Computation for Some CNF Theories. CoRR abs/1310.8120 (2013) - 2011
- [i3]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Tractable Strong Outlier Identification. CoRR abs/1109.4623 (2011) - 2001
- [i2]Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli:
Computational Properties of Metaquerying Problems. CoRR cs.DB/0106012 (2001) - 1996
- [i1]Rachel Ben-Eliyahu:
A Hierarchy of Tractable Subsets for Computing Stable Models. CoRR cs.AI/9608104 (1996)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
