Rachel Ben-Eliyahu-Zohary

According to our database, Rachel Ben-Eliyahu-Zohary authored at least 40 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Graph-based construction of minimal models.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli

Artif. Intell., 2022

2021

How to Split a Logic Program.

Rachel Ben-Eliyahu-Zohary

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

2018

Towards Efficient Metaquery Generator.

Tamar Bash, Rachel Ben-Eliyahu-Zohary

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

2017

Modular Construction of Minimal Models.

Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2016

Decomposing Minimal Models.

Rachel Ben-Eliyahu-Zohary, Fabrizio Angiulli, Fabio Fassetti, Luigi Palopoli

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

2015

Restricted default theories: Expressive power and outlier detection tasks.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Theor. Comput. Sci., 2015

Exploiting the HEF property to check model minimality.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

2014

Monotonic qualitative logic programs: Computation and applications.

Rachel Ben-Eliyahu-Zohary, Tal Grinshpoun, Elena Churkin, Ehud Gudes

AI Commun., 2014

On the tractability of minimal model computation for some CNF theories.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli

Artif. Intell., 2014

2011

Tractable Strong Outlier Identification

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

CoRR, 2011

2010

Outlier detection for simple default theories.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Artif. Intell., 2010

2009

Markov Network Based Ontology Matching.

Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony

Proceedings of the IJCAI 2009, 2009

2008

Outlier detection using default reasoning.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Artif. Intell., 2008

2007

An upper bound on computing all X-minimal models.

Chen Avin, Rachel Ben-Eliyahu-Zohary

AI Commun., 2007

2005

An incremental algorithm for generating all minimal models.

Rachel Ben-Eliyahu-Zohary

Artif. Intell., 2005

2004

Outlier Detection Using Disjunctive Logic Programming.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

FlexiMine - A Flexible Platform for KDD Research and Application Development.

Rachel Ben-Eliyahu-Zohary, Carmel Domshlak, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony

Ann. Math. Artif. Intell., 2003

Metaqueries: Semantics, complexity, and efficient algorithms.

Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni

Artif. Intell., 2003

Outlier Detection Using Default Logic.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Proceedings of the Answer Set Programming, 2003

Exploiting Default Logic to Detect Outliers.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Yet some more complexity results for default logic.

Rachel Ben-Eliyahu-Zohary

Artif. Intell., 2002

2001

Algorithms for Computing X-Minimal Models.

Chen Avin, Rachel Ben-Eliyahu-Zohary

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

More on tractable disjunctive Datalog.

Rachel Ben-Eliyahu-Zohary, Luigi Palopoli, Victoria Zemlyanker

J. Log. Program., 2000

Computational Properties of Metaquerying Problems.

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

Meta-queries - Computation and Evaluation.

Rachel Ben-Eliyahu-Zohary, Ehud Gudes

Proceedings of the Data Warehousing and Knowledge Discovery, 2000

A Demand-Driven Algorithm for Generating Minimal Models.

Rachel Ben-Eliyahu-Zohary

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Similarity Preservation in Default Logic.

Rachel Ben-Eliyahu-Zohary, Nissim Francez, Michael Kaminski

Ann. Math. Artif. Intell., 1999

Towards Efficient Metaquerying.

Rachel Ben-Eliyahu-Zohary, Ehud Gudes

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1996

A Hierarchy of Tractable Subsets for Computing Stable Models.

Rachel Ben-Eliyahu

J. Artif. Intell. Res., 1996

A Temporal Logic for Proving Properties of Topologically General Executions.

Rachel Ben-Eliyahu, Menachem Magidor

Inf. Comput., 1996

Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax.

Krzysztof R. Apt, Rachel Ben-Eliyahu

Fundam. Informaticae, 1996

Default Reasoning Using Classical Logic.

Rachel Ben-Eliyahu, Rina Dechter

Artif. Intell., 1996

The Expressive Power of Tractable Disjunction.

Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1994

Propositional Semantics for Disjunctive Logic Programs.

Rachel Ben-Eliyahu, Rina Dechter

Ann. Math. Artif. Intell., 1994

a modal logic for subjective default reasoning

Shai Ben-David, Rachel Ben-Eliyahu

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Reasoning with Minimal Models: Efficient Algorithms and Applications.

Rachel Ben-Eliyahu, Luigi Palopoli

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

Back to the Future: Program Completion, Revisited.

Rachel Ben-Eliyahu

Proceedings of the Logic Programming, 1993

On Computing Minimal Models.

Rachel Ben-Eliyahu, Rina Dechter

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Propositional Sematics for Disjunctive Logic Programs.

Rachel Ben-Eliyahu, Rina Dechter

Proceedings of the Logic Programming, 1992

1991

Default Logic, Propositional Logic, and Constraints.

Rachel Ben-Eliyahu, Rina Dechter

Proceedings of the 9th National Conference on Artificial Intelligence, 1991