|
Positions:
Academic Staff
Head, Department of Software Engineering
Tel: 972-2-6588075
Fax: 972-153-50-888-3325
Mail: rbz@jce.ac.il
Web: www.jce.ac.il
Research Interests:
- Artificial Intelligence
- Knowledge Representation
- Knowledge Discovery
Representative Publications:
-
Rachel Ben-Eliyahu and Rina Dechter, "Propositional semantics for disjunctive logic programs", Annals of Mathematics and Artificial Intelligence, volume 12, pp. 53-87,1994.
-
Rachel Ben-Eliyahu and Menachem Magidor, "A temporal logic for proving properties of topologically general executions", Information and Computation, volume 124(2), pp. 127-144, 1996.
-
Shai Ben-David and Rachel Ben-Eliyahu, "A modal logic for subjective default reasoning'', Artificial Intelligence, volume 116(1-2), pp. 217-236, 2000.
-
Rachel Ben-Eliyahu, "A demand-driven algorithm for generating minimal models", Artificial Intelligence, volume 169 pages 1-22, 2005.
-
F. Angiulli, R. Ben-Eliyahu – Zohary, and L. Palopoli, "Outlier detection in simple default theories" . Artificial Intelligence, volume 174 (15), pages 1247-1253 , 2010. |
