Prof. Eyal shlomo Shimony

shimony foto Professor

Contacts

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

Teaching

Fall 2018-2019 20225661 Introduction to Artificial Intelligence
Spring 2019 20212071 System Programming Laboratory
Spring 2019 20212091 Computer Architecture and system programming laboratory
Spring 2019 20213041 Computer Architecture
Spring 2019 20212091 Computer Architecture and system programming laboratory
Fall 2016-2017 20225661 Introduction to Artificial Intelligence
Spring 2017 20213041 Computer Architecture
Spring 2017 20212071 System Programming Laboratory
Spring 2017 20212091 Computer Architecture and system programming laboratory
Fall 2015-2016 20225661 Introduction to Artificial Intelligence
Spring 2016 20213041 Computer Architecture
Spring 2016 20212071 System Programming Laboratory
Spring 2016 20212091 Computer Architecture and system programming laboratory
Fall 2014-2015 20215151 Artificial Intelligence
Spring 2015 20212071 System Programming Laboratory
Spring 2015 20212091 Computer Architecture and system programming laboratory
Fall 2013-2014 20215151 Artificial Intelligence
Spring 2014 20213041 Computer Architecture
Spring 2014 20212071 System Programming Laboratory
Spring 2014 20212091 Computer Architecture and system programming laboratory
Fall 2012-2013 20215151 Artificial Intelligence
Fall 2012-2013 20225661 Introduction to Artificial Intelligence
Spring 2013 20212091 Computer Architecture and system programming laboratory
Spring 2013 20213041 Computer Architecture
Spring 2013 20212071 System Programming Laboratory
Fall 2011-2012 20225661 Introduction to Artificial Intelligence
Spring 2012 20213041 Computer Architecture
Spring 2012 20212091 Computer Architecture and 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 2009-2010 20215151 Artificial Intelligence
Fall 2009-2010 20225551 Research Seminar
Spring 2010 20212091 Computer Architecture and system programming laboratory
Spring 2010 20212071 System Programming Laboratory
Spring 2010 20213041 Computer Architecture
Fall 2008-2009 20215151 Artificial Intelligence
Spring 2009 20212091 Computer Architecture and system programming laboratory
Spring 2009 20213041 Computer Architecture
Spring 2009 20212071 System Programming Laboratory
Fall 2007-2008 20213041 Computer Architecture
Fall 2007-2008 20215151 Artificial Intelligence
Spring 2008 20212071 System Programming Laboratory
Fall 2006-2007 20215151 Artificial Intelligence
Fall 2006-2007 20213041 Computer Architecture
Spring 2007 20212071 System Programming Laboratory
Fall 2005-2006 20213041 Computer Architecture
Spring 2006 20225551 Research Seminar
Spring 2006 20215151 Artificial Intelligence
Spring 2006 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
Spring 2004 20212071 System Programming Laboratory

Research groups

Data Mining
Machine Learning
Planning and Reasoning
Robotics

Selected publications all BibTex

 
Articles
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.
S. E. Shimony and C. Domshlak. Complexity of Probabilistic Reasoning in Directed-Path Singly Connected Bayes Networks. Artificial Intelligence, 151:213-225, 2003.
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.
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.
Solomon E. Shimony and Santos, Jr., Eugene. Exploiting Case-Based Independence for Approximating Marginal Probabilities. International Journal of Approximate Reasoning, 14(1), January 1996.
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.
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.
Avraham A. Melkman and Solomon E. Shimony. Algorithms for Parsimonious Complete Sets in Directed Graphs. Information Processing Letters, 59:335-339, 1996.
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.
Solomon E. Shimony. Finding MAPs for Belief Networks is NP-Hard. Artificial Intelligence, 68(2):399-410, August 1994.
Eugene Charniak and Solomon E. Shimony. Cost-Based Abduction and MAP Explanation. Artificial Intelligence Journal, 66(2):345-374, 1994.
Yoram Kornatzky and Solomon Eyal Shimony. A Probabilistic Object-Oriented Data Model. Data and Knowledge Engineering, 12:143-166, 1994.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Shimony, Solomon E.. Relevant Explanations: Allowing Disjunctive Assignments. In Proceedings of the 9th Conference on Uncertainty in AI, pages 200-207, Morgan Kaufmann, 1993.
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.
Shimony, Solomon E.. Explanation, Irrelevance and Statistical Independence. In AAAI Proceedings, pages 482-487, 1991.
Shimony, Solomon E.. Algorithms for Finding Irrelevance-based MAP Assignments to Belief Networks. In Proceedings of the 7th Conference on Uncertainty in AI, 1991.
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.
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
Solomon E. Shimony. A Probabilistic Framework for Explanation. , 1991, Brown University. Technical report CS-91-57.
 
Technical reports
Solomon E. Shimony and Carmel Domshlak. Belief Updating in Polytree Bayes Nets with an Additional Selector Variable. , 2002.
Solomon E. Shimony and Ami Berler. Bayes Networks for Sensor Fusion in Occupancy Grids. , 1996.
Santos, Jr., Eugene Solomon Eyal Shimony and Edward Williams. On a Distributed Anytime Architecture for Probabilistic Reasoning. , 1995.
Avraham A. Melkman and Solomon E. Shimony. Minimal Complete Sets in Directed Graphs: Algorithms and Hard Problems. , 1994.
Solomon E. Shimony. Finding MAPs for Belief Networks is NP-hard. , 1993.
Eugene Charniak and Solomon E. Shimony. Probabilistic Semantics for Rule Based Systems. , February 1990.
Solomon E. Shimony. On Irrelevance and Partial Assignments to Belief Networks. , 1990.