Follow
Rachel Ben-Eliyahu
Rachel Ben-Eliyahu
Professor of Software Engineering, Jerusalem College of Engineering
Verified email at jce.ac.il
Title
Cited by
Cited by
Year
Markov network based ontology matching
S Albagli, R Ben-Eliyahu-Zohary, SE Shimony
Journal of Computer and System Sciences 78 (1), 105-118, 2012
812012
Reasoning with minimal models: Efficient algorithms and applications
R Ben-Eliyahu-Zohary, L Palopoli
Artificial Intelligence 96 (2), 421-449, 1997
761997
A modal logic for subjective default reasoning
S Ben-David, R Ben-Eliyahu-Zohary
Artificial intelligence 116 (1-2), 217-236, 2000
242000
Outlier detection using default reasoning
F Angiulli, R Ben-Eliyahu–Zohary, L Palopoli
Artificial Intelligence 172 (16-17), 1837-1872, 2008
222008
A hierarchy of tractable subsets for computing stable models
R Ben-Eliyahu
Journal of Artificial Intelligence Research 5, 27-52, 1996
211996
An incremental algorithm for generating all minimal models
R Ben-Eliyahu–Zohary
Artificial Intelligence 169 (1), 1-22, 2005
182005
Computational properties of metaquerying problems
F Angiulli, R Ben-Eliyahu-Zohary, G Ianni, L Palopoli
ACM Transactions on Computational Logic (TOCL) 4 (2), 149-180, 2003
172003
Yet some more complexity results for default logic
R Ben-Eliyahu-Zohary
Artificial Intelligence 139 (1), 1-20, 2002
162002
On the tractability of minimal model computation for some CNF theories
F Angiulli, R Ben-Eliyahu-Zohary, F Fassetti, L Palopoli
Artificial Intelligence 210, 56-77, 2014
122014
Outlier Detection Using Default Logic.
F Angiulli, R Ben-Eliyahu-Zohary, L Palopoli
IJCAI, 833-838, 2003
122003
Outlier detection for simple default theories
F Angiulli, R Ben-Eliyahu-Zohary, L Palopoli
Artificial Intelligence 174 (15), 1247-1253, 2010
112010
Metaqueries: Semantics, complexity, and efficient algorithms
R Ben-Eliyahu-Zohary, E Gudes, G Ianni
Artificial Intelligence 149 (1), 61-87, 2003
112003
FlexiMine–a flexible platform for kdd research and application development
R Ben-Eliyahu-Zohary, C Domshlak, E Gudes, N Liusternik, A Meisels, ...
Annals of Mathematics and Artificial Intelligence 39, 175-204, 2003
92003
Towards efficient metaquerying
R Ben-Eliyahu-Zohary, E Gudes
IJCAI, 800-805, 1999
81999
More on tractable disjunctive datalog
R Ben-Eliyahu-Zohary, L Palopoli, V Zemlyanker
The Journal of Logic Programming 46 (1-2), 61-101, 2000
72000
Similarity preservation in default logic
R Ben-Eliyahu-Zohary, N Francez, M Kaminski
Annals of mathematics and Artificial Intelligence 25, 137-160, 1999
51999
Tractable strong outlier identification
F Angiulli, R Ben-Eliyahu–Zohary, L Palopoli
Non-Monotonic Reasoning, Action and Change (NRAC’11), 79, 2011
32011
An upper bound on computing all X-minimal models
C Avin, R Ben-Eliyahu-Zohary
AI Communications 20 (2), 87-92, 2007
32007
A demand-driven algorithm for generating minimal models
R Ben-Eliyahu-Zohary
AAAI/IAAI, 267-272, 2000
32000
Modular construction of minimal models
R Ben-Eliyahu-Zohary, F Angiulli, F Fassetti, L Palopoli
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20