Markov network based ontology matching S Albagli, R Ben-Eliyahu-Zohary, SE Shimony Journal of Computer and System Sciences 78 (1), 105-118, 2012 | 83 | 2012 |
Reasoning with minimal models: Efficient algorithms and applications R Ben-Eliyahu-Zohary, L Palopoli Artificial Intelligence 96 (2), 421-449, 1997 | 79 | 1997 |
A modal logic for subjective default reasoning S Ben-David, R Ben-Eliyahu-Zohary Artificial intelligence 116 (1-2), 217-236, 2000 | 25 | 2000 |
Outlier detection using default reasoning F Angiulli, R Ben-Eliyahu–Zohary, L Palopoli Artificial Intelligence 172 (16-17), 1837-1872, 2008 | 23 | 2008 |
A hierarchy of tractable subsets for computing stable models R Ben-Eliyahu Journal of Artificial Intelligence Research 5, 27-52, 1996 | 22 | 1996 |
An incremental algorithm for generating all minimal models R Ben-Eliyahu–Zohary Artificial Intelligence 169 (1), 1-22, 2005 | 19 | 2005 |
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 | 17 | 2003 |
Yet some more complexity results for default logic R Ben-Eliyahu-Zohary Artificial Intelligence 139 (1), 1-20, 2002 | 16 | 2002 |
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 | 14 | 2014 |
Outlier detection for simple default theories F Angiulli, R Ben-Eliyahu-Zohary, L Palopoli Artificial Intelligence 174 (15), 1247-1253, 2010 | 12 | 2010 |
Outlier Detection Using Default Logic. F Angiulli, R Ben-Eliyahu-Zohary, L Palopoli IJCAI, 833-838, 2003 | 12 | 2003 |
Metaqueries: Semantics, complexity, and efficient algorithms R Ben-Eliyahu-Zohary, E Gudes, G Ianni Artificial Intelligence 149 (1), 61-87, 2003 | 11 | 2003 |
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 | 9 | 2003 |
More on tractable disjunctive datalog R Ben-Eliyahu-Zohary, L Palopoli, V Zemlyanker The Journal of Logic Programming 46 (1-2), 61-101, 2000 | 8 | 2000 |
Towards efficient metaquerying R Ben-Eliyahu-Zohary, E Gudes IJCAI, 800-805, 1999 | 8 | 1999 |
Similarity preservation in default logic R Ben-Eliyahu-Zohary, N Francez, M Kaminski Annals of mathematics and Artificial Intelligence 25, 137-160, 1999 | 5 | 1999 |
Tractable strong outlier identification F Angiulli, R Ben-Eliyahu–Zohary, L Palopoli Non-Monotonic Reasoning, Action and Change (NRAC’11), 79, 2011 | 3 | 2011 |
An upper bound on computing all X-minimal models C Avin, R Ben-Eliyahu-Zohary AI Communications 20 (2), 87-92, 2007 | 3 | 2007 |
A demand-driven algorithm for generating minimal models R Ben-Eliyahu-Zohary AAAI/IAAI, 267-272, 2000 | 3 | 2000 |
Modular construction of minimal models R Ben-Eliyahu-Zohary, F Angiulli, F Fassetti, L Palopoli Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 2 | 2017 |