Prof. Eyal Shimony

shimony foto Associate professor
Vice head of department

Contacts

Email:
Homepage:
Office: 216 in 37 building
Phone number: 08-6477857
Fax number: 08-6477650
Box number: 59
Office hours: Mon 12:00-14:00

Teaching

Spring 2004 20212071 System Programming Laboratory
Fall 2004-2005 20213041 Computer Architecture
Spring 2005 20214011 Topics in Operating Systems
Spring 2005 20212071 System Programming Laboratory
Spring 2005 20215151 Artificial Intelligence
Fall 2005-2006 20213041 Computer Architecture
Spring 2006 20225551 Research Seminar
Spring 2006 20215151 Artificial Intelligence
Spring 2006 20212071 System Programming Laboratory
Fall 2006-2007 20215151 Artificial Intelligence
Fall 2006-2007 20213041 Computer Architecture
Spring 2007 20212071 System Programming Laboratory
Fall 2007-2008 20215151 Artificial Intelligence
Fall 2007-2008 20213041 Computer Architecture
Spring 2008 20212071 System Programming Laboratory
Fall 2008-2009 20215151 Artificial Intelligence
Spring 2009 20213041 Computer Architecture
Spring 2009 20212071 System Programming Laboratory
Spring 2009 20212091 Computer Architecture and System Programming Laboratory
Fall 2009-2010 20215151 Artificial Intelligence
Fall 2009-2010 20225551 Research Seminar
Spring 2010 20212091 Computer Architecture and System Programming Laboratory
Spring 2010 20213041 Computer Architecture
Spring 2010 20212071 System Programming Laboratory
Fall 2010-2011 20225661 Introduction to Artificial Intelligence
Spring 2011 20213041 Computer Architecture
Spring 2011 20212071 System Programming Laboratory
Spring 2011 20212091 Computer Architecture and System Programming Laboratory
Fall 2011-2012 20225661 Introduction to Artificial Intelligence
Spring 2012 20212091 Computer Architecture and System Programming Laboratory
Spring 2012 20213041 Computer Architecture
Fall 2012-2013 20215151 Artificial Intelligence
Fall 2012-2013 20225661 Introduction to Artificial Intelligence
Spring 2013 20213041 Computer Architecture
Spring 2013 20212071 System Programming Laboratory
Spring 2013 20212091 Computer Architecture and System Programming Laboratory

Research groups

Artificial Intelligence
Data Mining
Learning
Planning and reasoning
Robotics

Selected publications all BibTex

 
Articles
BibTeX
C. Domshlak and S. E. Shimony. Efficient Probabilistic Reasoning in Bayes Nets with Mutual Exclusion and Context Specific Independence. International Journal of Intelligent Systems, 19(8):703-725, August 2004.
BibTeX
S. E. Shimony and C. Domshlak. Complexity of Probabilistic Reasoning in Directed-Path Singly Connected Bayes Networks. Artificial Intelligence, 151:213-225, 2003.
BibTeX
Santos, Jr., Eugene and Solomon E. Shimony. Deterministic Approximation of Marginal Probabilities in Bayes Nets. IEEE Transactions on Systems, Man, and Cybernetics, 28(4):377-393, 1998.
BibTeX
Santos, Jr., Eugene Solomon Eyal Shimony and Edward Williams. Hybrid Algorithms for Approximate Belief Updating in Bayes Nets. International Journal of Approximate Reasoning, 17(2-3):191-216, 1997.
BibTeX
Solomon E. Shimony and Santos, Jr., Eugene. Exploiting Case-Based Independence for Approximating Marginal Probabilities. International Journal of Approximate Reasoning, 14(1), January 1996.
BibTeX
Santos, Jr., Eugene and Solomon E. Shimony. An Empirical Study on Deterministic Approximation of Marginal Probabilities in Bayes Nets. Accepted for publication, IEEE Transactions on Systems, Man, and Cybernetics, 1996.
BibTeX
Solomon E. Shimony and Santos, Jr., Eugene. Exploiting Case-Based Independence for Approximating Marginal Probabilities. International Journal of Approximate Reasoning, 14(1):25-54, 1996.
BibTeX
Avraham A. Melkman and Solomon E. Shimony. Algorithms for Parsimonious Complete Sets in Directed Graphs. Information Processing Letters, 59:335-339, 1996.
BibTeX
Solomon E. Shimony. The Role of Relevance in Explanation II: Disjunctive Assignments and Approximate Independence. International Journal of Approximate Reasoning, 13(1):27-60, July 1995.
BibTeX
Solomon E. Shimony. Finding MAPs for Belief Networks is NP-Hard. Artificial Intelligence, 68(2):399-410, August 1994.
BibTeX
Eugene Charniak and Solomon E. Shimony. Cost-Based Abduction and MAP Explanation. Artificial Intelligence Journal, 66(2):345-374, 1994.
BibTeX
Yoram Kornatzky and Solomon Eyal Shimony. A Probabilistic Object-Oriented Data Model. Data and Knowledge Engineering, 12:143-166, 1994.
BibTeX
Solomon E. Shimony. The Role of Relevance in Explanation I: Irrelevance as Statistical Independence. International Journal of Approximate Reasoning, 8(4):281-324, June 1993.
 
Conference Articles
BibTeX
C. Domshlak and S. E. Shimony. Efficient Probabilistic Reasoning in Bayes Nets with Mutual Exclusion and Context Specific Independence. In Proceedings of FLAIRS, May 2003.
BibTeX
C. Domshlak and S. E. Shimony. Improving the Dynamic Behavior of CP-net based Multimedia Systems by Predicting Likely Components. In AAAI/KDD/UAI Joint Workshop on Real-Time Decision Support and Diagnosis Systems, July 2002.
BibTeX
Ami Berler and Solomon Eyal Shimony. Bayes Networks for Sonar Sensor Fusion. In Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-97), pages 14-21, 1997.
BibTeX
Amnon Meisels Solomon E. Shimony and Gadi Solotorevsky. Bayes Networks for Estimating the Number of Solutions to a CSP. In Proceedings of the AAAI-97 Conference, pages 179-184, 1997.
BibTeX
Edward Williams Santos, Jr., Eugene and Solomon Eyal Shimony. Experiments with Distributed Anytime Inferencing: Working with Cooperative Algorithms. In Proceedings of the AAAI Workshop on Building Resource-Bounded Reasoning Systems, pages 86-91, 1997.
BibTeX
Solomon Eyal Shimony Carmel Domshlak and Eugene Santos Jr.. Cost-Sharing in Bayesian Knowledge Bases. In Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-97), pages 421-428, 1997.
BibTeX
Eugene Santos Jr. Solomon E. Shimony and Edward Williams. Sample-and-Accumulate Algorithms for Belief Updating in Bayes Networks. In Uncertainty in Artificial Intelligence, Proceedings of the 12th Conference, pages 477-484, Morgan Kaufmann, August 1996.
BibTeX
Santos, Jr., Eugene Solomon Eyal Shimony and Edward Williams. Achieving Hard Bounds with Randomized Algorithms for Belief Updating. In Proceedings of the Tweltfth Isreali Symposium on Artificial Intelligence, 1996.
BibTeX
Santos, Jr., Eugene and Shimony, Solomon Eyal. Belief Updating by Enumerating High-Probability Independence-Based Assignments. In Uncertainty in AI, Proceedings of the Tenth Conference, pages 506-513, July 1994.
BibTeX
Yoram Kornatzky and Solomon E. Shimony. A Probabilistic Spatial Data Model. In 4th International Conference on Database and Expert Systems Applications, Lecture Notes in Computer Science, pages 337-348, Springer Verlag, 1993.
BibTeX
Shimony, Solomon E.. Relevant Explanations: Allowing Disjunctive Assignments. In Proceedings of the 9th Conference on Uncertainty in AI, pages 200-207, Morgan Kaufmann, 1993.
BibTeX
Yoram Kornatzky and Solomon Eyal Shimony. Predicting Image Features for Tracking and Navigation. In Proceedings of the International Conference on Automation, Robotics and Computer Vision, 1992.
BibTeX
Shimony, Solomon E.. Explanation, Irrelevance and Statistical Independence. In AAAI Proceedings, pages 482-487, 1991.
BibTeX
Shimony, Solomon E.. Algorithms for Finding Irrelevance-based MAP Assignments to Belief Networks. In Proceedings of the 7th Conference on Uncertainty in AI, 1991.
BibTeX
Eugene Charniak and Solomon E. Shimony. Probabilistic Semantics for Cost-Based Abduction. In Proceedings of the 8th National Conference on AI, pages 106-111, August 1990.
BibTeX
Shimony, Solomon E. and Charniak, Eugene. A New Algorithm for Finding MAP Assignments to Belief Networks. In Proceedings of the 6th Conference on Uncertainty in AI, pages 98-103, 1990.
 
Phd Thesis
BibTeX
Solomon E. Shimony. A Probabilistic Framework for Explanation. , 1991, Brown University. Technical report CS-91-57.
 
Technical reports
BibTeX
Solomon E. Shimony and Carmel Domshlak. Belief Updating in Polytree Bayes Nets with an Additional Selector Variable. , 2002.
BibTeX
Solomon E. Shimony and Ami Berler. Bayes Networks for Sensor Fusion in Occupancy Grids. , 1996.
BibTeX
Santos, Jr., Eugene Solomon Eyal Shimony and Edward Williams. On a Distributed Anytime Architecture for Probabilistic Reasoning. , 1995.
BibTeX
Avraham A. Melkman and Solomon E. Shimony. Minimal Complete Sets in Directed Graphs: Algorithms and Hard Problems. , 1994.
BibTeX
Solomon E. Shimony. Finding MAPs for Belief Networks is NP-hard. , 1993.
BibTeX
Eugene Charniak and Solomon E. Shimony. Probabilistic Semantics for Rule Based Systems. , February 1990.
BibTeX
Solomon E. Shimony. On Irrelevance and Partial Assignments to Belief Networks. , 1990.