CURRICULUM VITAE

Name: Ben Eliyahu- Zohary Rachel

1. Academic Education B.Sc. 1983, Mathematics and Computer Science, Hebrew University of Jerusalem, Jerusalem, Israel. Ph.D. 1993, Computer Science University of California, Los-Angeles, UCLA. Topic of Dissertation: Computational aspects of nonmonotonic Reasoning. Advisors: (UCLA) and Professor Rina Dechter (UCI).

2. Academic Employment 2006-present Associate Professor, Jerusalem College of Engineering, Jerusalem, Israel. 2003-present Head, Department of Software Engineering, Jerusalem College of Engineering, Jerusalem, Israel. (on sabbatical 2004-2005, 2012-2013) 2004-2005 Research and Teaching, Harvard Division of Engineering and Applied Sciences, Visiting Scholar. 2003-2006 Senior Lecturer, Jerusalem College of Engineering, Jerusalem, Israel. 2000-2010 Senior Lecturer, Department of Communication Systems Engineering, Ben- Gurion University of the Negev, Beer-Sheva, Israel. (on maternity leave 2002, on leave 2003-2006) 2000-2003 Head of study Programs Committee, Ben-Gurion University of the Negev, Beer-Sheva, Israel. 1995-1998 Lecturer, Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, Israel. 1995-1998 Head of study Programs Committee, Ben-Gurion University of the Negev, Beer-Sheva, Israel. 1993-1995 Post-doctoral researcher, Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel. 1990-1993 Research Assitant, Department of Computer Science - Cognitive Systems Laboratory, UCLA. 1988-1990 Teaching Assistant Department of Mathematics and Department of Computer Science, UCLA. 1988-1990 Research Assistant and Programmer IBM Los-Angeles Scientific Center.

3. Academic Activities May 2014 - present Member, Subcommittee for Academic Policy and Development, Council for Higher Education in Israel

March 2012 - present Member, Council for Higher Education in Israel

March 2012 - present Member, Subcommittee for Certification and Accreditation, Council for Higher Education in Israel

March 2012- present Member, Subcommittee for Engineering, Technology, Sciences and Health Professions, Council for Higher Education in Israel

February 2015 –present. Memebr of the stirring committee of the national forum for promoting the education of software engineering in Israel.

Previous Research and Development Activities  Referee in several AI, logic programming, and theoretical computer science conferences, including AAAI-2002, BISFAI-2001, BISFAI-05, IJCAI-91, IJCAI- 93, IJCAI-95, IJCAI-99, IJCAI-2001, IJCAI-2003, IJCAI-2005, IJCAI-2011, IJCAI-2013, AAAI-92, AAAI-94, AAAI-99, AAAI-10, JICSLP-92, ICLP-93, and FOCS-2001. (BISFAI: "Bar-Ilan International Symposium on Foundation of Artificial Intelligence". AAAI: "National conference on Artificial Intelligence". IJCAI: "International Joint conference on Artificial Intelligence". FOCS: “Foundations of Computer Science”.  Referee for several journals, including "Journal of AI research", "Artificial Intelligence", "Information and Computation", "Annals of Mathematics and AI'', "Journal of Automated Reasoning", "Journal of Applied Intelligence", “Artificial Intelligence Communications”, "journal of logic programming'', "IEEE transactions on Knowledge and Data Engineering”, “Computational Intelligence”, "Fundamenta Informaticae", "acta informaticae" and TPLP (Theory and Practice of Logic Programming).  Member of the review board for the journal "Applied Intelligence", 1995.  Co-chair of an international workshop in IJCAI-95. Montreal, Canada, August 1995. The workshop was on "Applications and implementations of nonmonotonic systems".  On the program committee of the 1996 international symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 1996.  On the program committee of AAAI-96, AAAI-98, AAAI-99, AAAI-02, AAAI- 10, AAAI-11, IJCAI-97, IJCAI-2007, and IJCAI-2013.  On the program committee of JELIA-02: the Joint European conference on Logic and Artificial Intelligence.  On the editorial board of the journal of Artificial Intelligence Research, 1998-2001.  On the editorial board of the Artificial Intelligence Journal, 2015-now.

 On the program committee of BISFAI-05: Biennial Israeli Symposium on the Foundations of AI, 2005.

 On the board of the Israeli Association for Artificial Intelligence (IAAI), 2005- 2006.  On the program committee of ECAI-06: The 17th European Conference on Artificial Intelligence, 2006.

Other Relevant Activities 1983-1985 Senior Programmer/Analyst, Telrad Telecommunication and Electronics Industries Ltd, Israel. Involved in development of public digital switchboard and data communication systems. 1987-1993 System Manager, Computing resources group, UCLA medical center, Managing two MicroVAXs with operating system VMS. 2000-2002 Chief Scientist, Infocyclone LTD, Tel-Aviv, Israel (a consulting position, patent pending).

Technical Reports 1. Rachel Ben-Eliyaho "NP-Complete problems in optimal Horn clauses satisfiability", Technical Report R-158,Cognitive systems lab, UCLA, 1990 2. Rachel Ben-Eliyahu and Rina Dechter, "Translating a cyclic default theory into an acyclic default theory,Technical report R-169, Cognitive systems lab, UCLA, 1991". 3. Rachel Ben-Eliyahu and Luigi Palopoli,"The expressive power of stratified Datalog over ordered databases",Technical report R-225, Cognitive systems lab, UCLA, 1994. 4. Rachel Ben-Eliyahu,"Proving correctness for the general execution",Master thesis, the Hebrew University, Jerusalem, Israel, 1987

Lectures and Presentations at Meetings and Invited Seminars Presentations at informal international seminars and workshops 1. Rachel Ben-Eliyahu, "New algorithms for computing minimal models", Lecture at the Dagstuhl seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints, Germany, September 2002. R. Ben-Eliyahu-Zohary, R. Giladi, P. Hendirix and S. Shieber, “Clustering Ad-Hoc Networks using Local Search” – presented at BISFAI 2008 – Bar-Ilan symposium on the Foundations of AI. 2. R. Ben-Eliyahu-Zohary, R. Giladi, P. Hendirix and S. Shieber, “Clustering Ad-Hoc Networks using Local Search” – presented at BISFAI 2008 – Bar-Ilan symposium on the Foundations of AI. 3. Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary and Luigi Palopoli. Tractable Strong Outlier Identification. The 11th Bar-Ilan Symposium on the Foundations of Artificial Intelligence (BISFAI), 2011. 4. Rachel Ben-Eliyahu-Zohary, Elena Curkin, Tal Grinshpoun and Ehud Gudes, Ontology matching using qualitative logic programs, a poster in The 11th Bar- Ilan Symposium on the Foundations of Artificial Intelligence (BISFAI), 2011. 5. R. Ben-Av, R. Ben-Eliyahu-Zohary, C. Turner, G. Karo, R. Cohen-Araki, R. Tishler Learning User Preferences for Image Cache Management in Mobile Systems, presented at IMVC 2013- The 4th Israel Machine Vision Conference and Exhibition on Image Processing, Video and Computer Vision , Tel-Aviv, 2013.

6. R. Ben-Av, R. Ben-Eliyahu-Zohary, C. Turner, G. Karo, R. Cohen-Araki, R. Tishler Learning User Preferences for Image Cache Management in Mobile Systems, presented at BISFAI 2013- The 12th Bar-Ilan Symposium on the Foundations of Artificial Intelligence, Bar-Ilan University, Israel. 7. R. Ben-Eliyahu-Zohary, T. Grinshpoun, E. Churkin, E. Gudes. "Monotonic Qualitative Logic Programs: Computation and Applications." Presented at IAAI-2014 –Symposium of the Israeli Association for Artificial Intelligence, Hebew University, Jerusalem, Israel, January 2014.

Seminar presentations at universities and institutions 1. 1992, School of Mathematics and Computer science, Tel-Aviv University. 2. 1992, Department of Mathematics, Haifa university, Israel. 3. 1992, IBM Research Center, Haifa, Israel. 4. 1992, Faculty of Mathematics and Computer Science, Weizmann Institute of Science, Rehovot, Israel. 5. 1993, Department of Computer Science, University of California, Riverside. 6. 1994, Computer Science Department, Hebrew University of Jerusalem. 7. 1995, Department of Engineering and Information Systems,Universita della Calabria, Italy. 8. 1998, Institute of Information Systems, Vienna University of Technology, Vienna, Austria. 9. 2000, Universita della Calabria, Italy, an invited course on model-based diagnosis. 10. 2002, School of Management, the Hebrew University, Israel. 11. 2003, Faculty of Mathematics and Computer Science, Weizmann, Institute of Science, Rehovot, Israel. 12. 2004, AI Research Group, Division of Engineering an Applied Sciences, Harvard, Cambridge, MA, U.S.A 13. 2005, Division of Engineering and Applied Sciences Harvard, Cambridge, MA, U.S.A, invited lectures on modal logic of knowledge. 14. 2006, Universita della Calabria, Italy, an invited course on modal logic of knowledge. 15. 2008, Universita della Calabria, Italy, an invited course on modal logic of knowledge.

Contribution to the development of the academic corriculum:  Head of the study programs committee in the department of CommunicationSystems Engineering (CSE), Ben-Gurion University (BGU), for two years. Responsible for the following activities, among others: 1. Developing the M.Sc. program for the department. 2. Developing an M.Sc. program in Computer Science for graduates of the CSE department. 3. Responsible for a major review and and revision in the B.Sc. program.  Head of the teaching committee in the CSE department, BGU, for two years.  Head of the department of Software Engineering, Jerusalem College of Engineering. Managing the department and responsible for upgrading the degree granted from B.Tech to B.Sc.; In charge of the department's M.Sc. program development.

Courses taught at The Department of Electrical Engineering, Ben-Gurion University 1. Programming with Pascal ("Tichnoot 1") Courses taught in the Department of Mathematics and Computer Science, Ben Gurion University 2. Principles of programming languages 3. Compiler design 4. Artificial Intelligence 5. Seminars on specific topics in Artificial Intelligence, like nonmonotonic reasoning, model-based diagnosis, and logic programming.

Courses taught at The Department of Communication Systems Engineering, Ben-Gurion University 1. Algorithms 2. Artificial Intelligence 3. Foundations of Computer Science 4. Files and databases

Courses taught at the Department of Software Engineering, JCE- Jerusalem College of Engineering, Jerusalem, Israel 1. Compiler Design 2. Artificial Intelligence

Courses taught in the Department of Industrial and Management Engineering, JCE- Jerusalem College of Engineering, Jerusalem, Israel (2005-2006) 1. Artificial Intelligence 2. Algorithms for Information Systems 3. Data Structures

Courses taught in the Division of Engineering and Applied Sciences, 1. Modal logic of knowledge and its application in multi-agent systems (four guest lectures in the course on multi-agent systems). Fellowships  Hebrew University Fellowship, 1980-1983.  UCLA Fellowship, 1988.  IBM graduate Fellowship, 1992-1993.  Lady Davis post-doctoral Fellowship, 1993-1995.

Dissertations M.Sc. Studies in Computer Science, Hebrew University, Jerusalem, Israel, July 1987. Advisor: Professor Menachem Magidor. Topic of Dissertation: "Proving correctness for the general execution". Part of the dissertation was published in journal paper no. 2 below.

4. Grants and Awards Honors  B.Sc with distinction, Hebrew University, Jerusalem, Israel.  M.Sc with distinction, Hebrew University, Jerusalem, Israel

Grants

Source Amount Period Co-investigators 1. consortium for network $90,000 1996-1997 Ran Giladi, Dan Geiger, management systems Reuven Cohen 2. consortium for network $25,000 1997-1998 Ran Giladi management systems 3. Ministry of Science $300,000 1996-1999 Eyal Shimony, Amnon ("Tashtit'') Meisels, Ehud Gudes

4. Ben-Gurion University- $10,000 2002 Seed grant

5. Consortium IMG$ - the 4th 620,000 2007-2009 Eyal Shimony, Ehud Gudes Generation of Imaging INS Machines 6. Consortium IMG$ - the 5th 338,000 2009-2010 Ehud Gudes Generation of Imaging INS Machines

5. List of Publications 5.1 Peer Reviewed Papers - Refereed articles in scientific journals 1. Rachel Ben-EliyahuPI and Rina DechterC, "Propositional semantics for disjunctive logic programs", Annals of Mathematics and Artificial Intelligence, volume 12, pp. 53-87,1994. 2. Rachel Ben-EliyahuC and Menachem MagidorC, "A temporal logic for proving properties of topologically general executions", Information and Computation, volume 124(2), pp. 127-144, 1996. 3. Rachel Ben-Eliyahu, "A Hierarchy of tractable subsets for computing stable models", Journal of Artificial Intelligence Research, volume 5, pp. 27-52, 1996. 4. Rachel Ben-EliyahuPI and Rina DechterC, "On computing minimal models", Annals of Mathematics and Artificial Intelligence, volume 18, pp. 3-27, 1996. 5. Rachel Ben-EliyahuPI and Rina DechterC, "Default reasoning using classical logic", Artificial Intelligence, volume 84 (1-2), pp. 113-150, 1996. 6. Krzysztof AptPI and Rachel Ben-EliyahuC, "Meta variables in logic programming, or in praise of ambivalent syntax", Fundamenta Informaticae, volume 28, pp. 23- 36, 1996. 7. Rachel Ben-EliyahuC and Luigi PalopoliC,"Reasoning with minimal models: efficient algorithms and applications'', Artificial Intelligence, volume 96 (2), pp. 421-449, 1997. 8. Rachel Ben-EliyahuC, Nissim FrancezC, and Michael KaminskiPI, "Similarity preservation in default logic", Annals of mathematics and Artificial Intelligence, volume 25 (1-2), pp. 137-160, 1999. 9. Rachel Ben-EliyahuC, Luigi PalopoliC, and Victoria ZemlyankerS, “More on tractable disjunctive Datalog”, Journal of Logic Programming, volume 46(1-2), pp. 61-101, 2000. 10. Shai Ben-DavidC and Rachel Ben-EliyahuC, "A modal logic for subjective default reasoning'', Artificial Intelligence, volume 116(1-2), pp. 217-236, 2000.

11. Rachel Ben-Eliyahu, “Yet some more complexity results for default logic”, Artificial Intelligence, volume 139(1), pp. 1-20, 2002. 12. F. AngiulliC, Rachel Ben-EliyahuC, G. B. IanniC, and L. PalopoliC, "Computational properties of metaquerying problems", ACM Transactions on Computational Logic (TOCL), volume 4(2), pp. 149-180, 2003. 13. Rachel Ben-EliyahuC, Ehud GudesC and G. B. IanniC, “Metaqueries: Semantics, Complexity, and Efficient Algorithms", Artificial Intelligence, volume 149(1), pp. 61-87, 2003. 14. Rachel Ben-EliyahuC, C. DomshlakC, D. GershkovichC, E. GudesC, N. LiusternikS, A. MeiselsC, T. RosenS and S.E. ShimonyC, “FlexiMine - A flexible platform for KDD research and application development", Annals of Mathematics and Artificial Intelligence volume 39(1-2) pp. 175-204, 2003. 15. Rachel Ben-Eliyahu, "A demand-driven algorithm for generating minimal models", Artificial Intelligence, volume 169 pages 1-22, 2005. 16. Chen AvinS and Rachel Ben-EliyahuC, “An upper bound on computing all X- minimal models”, Artificial Intelligence Communications 20 (2), pages 87-92, 2007. 17. F. AngiulliC, R. Ben-Eliyahu – ZoharyC, and L. PalopoliC, "Outlier detection using default reasoning" . Artificial Intelligence, volume 172 (16-17), pages 1837-1872, 2008. 18. F. AngiulliC, R. Ben-Eliyahu – ZoharyC, and L. PalopoliC, "Outlier detection in simple default theories" . Artificial Intelligence, volume 174 (15), pages 1247- 1253 , 2010. 19. S. AlbagliS, R. Ben-Eliyahu – ZoharyC, and E. ShimonyC, "Markov Network based Ontology Matching", special issue of the Journal of Computer and System Sciences devoted to Knowledge Representation and Reasoning, volume 78 Issue 1, January 2012. 20. F. AngiulliC, R. Ben-Eliyahu-ZoharyC, F. FassettiPI and Luigi PalopoliC, "On the tractability of minimal model computation for some CNF theories". Artificial Intelligence, Volume 210, Pages 56-77, 2014 21. R. Ben-Eliyahu-ZoharyPI, Tal GrinshpounC, Elena ChurkinS, and Ehud GudesC, "Monotonic qualitative logic programs: computation and applications", AI Communications, volume 27 Issue 3, Pages 213-228, 2014. 22. Fabrizio AngiulliC, Rachel Ben-Eliyahu-ZoharyC, and Luigi PalopoliC, "Restricted default theories: expressive power and outlier detection tasks", Theoretical Computer Science, To appear.

5.2 Books - N.A.

5.3 Papers and Abstracts - Proceedings of Conferences 1. Rachel Ben-Eliyahu and Rina Dechter, "Default logic, propositional logic and constraints",In AAAI-91: Proceedings of the 9th national conference on artificial intelligence, pages 379-385, July 1991. 2. Rachel Ben-Eliyahu and Rina Dechter,"Inference in inheritance networks using propositional logic and constraints networks techniques", In AI-92: Proceedings of the 9th Canadian conference on AI, pages 183-189, Vancouver, British Columbia, Canada, May 1992.

3. Rachel Ben-Eliyahu and Rina Dechter,"Propositional semantics for disjunctive logic programs", In JICSLP-92: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, pages 813-827, Washington DC, November 1992. 4. Rachel Ben-Eliyahu and Rina Dechter,"On computing minimal models", In AAAI- 93: Proceedings of the 11th national conference on artificial intelligence, pages 2- 8, July 1993. 5. Rachel Ben-Eliyahu,"Back to the future : Program completion, revisited", In IAICVINN-93: proceedings of the 10th Israeli Symposium on Artificial intelligence, computer vision, and Neural networks, pages 61-70, December 1993. 6. Rachel Ben-Eliyahu and Luigi Palopoli,"Reasoning with minimal models: Efficient algorithms and applications",In KR-94: proceedings of the 4th International conference on principles of knowledge representation and reasoning, pages 39-50, May 1994. 7. Shai Ben-David and Rachel Ben-Eliyahu,"A modal logic for subjective default reasoning", In LICS-94: proceedings of the 9th annual IEEE symposium on logic in computer science, pages 477-486, July 1994. 8. Rachel Ben-Eliyahu, Luigi Palopoli, and Victoria Zemlyanker,"The expressive power of tractable disjunction'', Proc. of the European Conference on Artificial Intelligence, Budapest, pages 345-349, 1996. 9. Rachel Ben-Eliyahu and Ehud Gudes, "Towards efficient metaquerying", in IJCAI-99: Proceedings of the 16th international joint conference on artificial intelligence, pages 800-805, Stockholm, Sweden, 1999. 10. F. Angiulli, Rachel Ben-Eliyahu, G. B. Ianni, and L. Palopoli,"Computational properties of metaquerying problems", in PODS2000: Proceedings of the 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. pages 237-244, San-Diego, California, USA, 2000. 11. Rachel Ben-Eliyahu, "A demand-driven algorithm for generating minimal models", in AAAI-2000: the 17th National Conference on Artificial Intelligence, pages 267- 272, Austin, Texas, 2000. 12. Chen Avin and Rachel Ben-Eliyahu, “Algorithms for computing x-minimal models”, in proceedings of LPNMR-2001: the 6th International Conference on Logic Programming and Nonmonotonic Reasoning. LNCS 2173, pages 322-335, 2001. 13. Fabrizio Angiulli, Rachel Ben-Eliyahu and Luigi Palopoli,“Outlier Detection using Default Logic”, in IJCAI-03: Proceedings of the 18th international joint conference on artificial intelligence, pages 833-838, 2003. 14. Fabrizio Angiulli, Rachel Ben-Eliyahu and Luigi Palopoli, “Outlier Detection using Disjunctive Logic Programming”, in ECAI-04: Proceedings of the 16th European conference on Artificial Intelligence, pages 416-419, 2004. 15. S. Albagli, R. Ben-Eliyahu – Zohary, and E. Shimony, "Markov Network based Ontology Matching", in IJCAI-09: Proceedings of the 21st international joint conference on artificial intelligence, pages 1884-1889, 2009.

5.4 Peer-reviewed papers presented at scientific meetings 1 Rachel Ben-Eliyahu and Rina Dechter,"On computing minimal models", Presented at the AAAI spring symposium on AI and NP-hard problems, Stanford university, California, March 1993.

2 Rachel Ben-Eliyahu and Rina Dechter, "Default logic, propositional logic, and constraints", Presented at the AAAI spring symposium on Constraint Based Reasoning, March 1991. 3 Rachel Ben-Eliyahu and Rina Dechter,"Propositional semantics for default logic", Presented at the 4th international workshop on nonmonotonic reasoning, May 1992, Plymouth, Vermont. 4 Rachel Ben-Eliyahu and Rina Dechter,"Propositional semantics for disjunctive logic programs".Presented at the disjunctive logic programming workshop, international logic programming symposium, San-Diego, 1991. 5 Rachel Ben-Eliyahu, "Back to the future: Program completion, revisited". A poster in the international logic programming symposium, Vancouver, Canada, October 1993. 6 Rachel Ben-Eliyahu and Luigi Palopoli, "Model selection in disjunctive logic programming: algorithms and expressibility". Presented at the 2nd workshop on structural complexity and recursion theoretic methods in logic programming and in the workshop on logic programming with incomplete information, international logic programming symposium, Vancouver, Canada, October 1993. 7 Rachel Ben-Eliyahu, Nissim Francez and Michael Kaminski,"Similarity preservation in default logic", presented at the specialized workshop on Formal Aspects and Applications of Nonmonotonic Reasonin in conjunction with NMR-98. 8 Rachel Ben-Eliyahu,"Head cycle free logic programs", Lecture at the Dagstuhl seminar on disjunctive logic programming and databases: Non-Monotonic Aspects, Germany, July 1996. 9 Rachel Ben-Eliyahu-Zohary, “Quantified Logic Programs, Revisited”, presented at the Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2008 10 Sivan Albagli, Rachel Ben-Eliyahu and Eyal Shimony, “Markov Networks based Ontology Matching, presented at NGITS 2009 - The 7th conference on Next Generation Information Technologies and Systems, 2009. 11 Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary and Luigi Palopoli. Tractable Strong Outlier Identification. Prsented at the The 9th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011), 2011. 12 Rachel Ben-Eliyahu-Zohary, Miriam Allalouf, Radel Ben-Av, Rotem Marom, and Avichai Noach, "Automatic Generation of Photo Albums", prsented at ECAI-14 workshop on Computational Creativity, Concept Invention and General Intelligence, August 2014.

a. Patents

1. Levy, E., Kfir, Z., Kaplan, Y., Ben-Eliyahu, R., Turkel, I., Moskovich, R., Menachi, E., Giladi, R., Gang, S., Shurman, M., “Dynamic Information Retrieval System”, US Patent No. 60/359,247, February 2002.