Solomon Eyal Shimony

140 papers A* 28A 13B 18C 1Misc 4Journal 63Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Bidirectional Heuristic Search in Longest Path Problems. ECAI Tzur Shubi, Solomon Eyal Shimony, Ariel Felner, Shahaf S. Shperberg
2025	A*	`conf`	Concurrent Planning and Execution Using Dispatch-Dependent Values. IJCAI Andrew Coles, Erez Karpas, Solomon Eyal Shimony, Shahaf S. Shperberg, Wheeler Ruml
2024	B	`conf`	Evaluating Distributional Predictions of Search Time: Put Up or Shut Up Games (Extended Abstract). SOCS Sean Mariasin, Andrew Coles, Erez Karpas, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg
2024	B	`conf`	Generalized Longest Simple Path Problems: Speeding up Search Using SPQR Trees. SOCS Gal Dahan, Itay Tabib, Solomon Eyal Shimony, Yefim Dinitz
2024	A*	`conf`	Planning and Acting While the Clock Ticks. ICAPS Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg
2024	J	`jnl`	Planning and Acting While the Clock Ticks. CoRR Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf S. Shperberg
2024	B	`conf`	Real-time Safe Interval Path Planning. SOCS Devin Wild Thomas, Wheeler Ruml, Solomon Eyal Shimony
2023	A*	`conf`	A Formal Metareasoning Model of Concurrent Planning and Execution. AAAI Amihay Elboher, Ava Bensoussan, Erez Karpas, Wheeler Ruml, Shahaf S. Shperberg, Solomon Eyal Shimony
2023	J	`jnl`	A Formal Metareasoning Model of Concurrent Planning and Execution. CoRR Amihay Elboher, Ava Bensoussan, Erez Karpas, Wheeler Ruml, Shahaf S. Shperberg, Solomon Eyal Shimony
2023	J	`jnl`	On Existence of Must-Include Paths and Cycles in Undirected Graphs. CoRR Yefim Dinitz, Solomon Eyal Shimony
2022	B	`conf`	Generalized Longest Path Problems. SOCS Gal Dahan, Itay Tabib, Solomon Eyal Shimony, Ariel Felner
2022	B	`conf`	Situated Grid Pathfinding Among Moving Obstacles (Extended Abstract). SOCS Devin Wild Thomas, Tianyi Gu, Wheeler Ruml, Solomon Eyal Shimony
2022	B	`conf`	When to Commit to an Action in Online Planning and Search. SOCS Tianyi Gu, Wheeler Ruml, Shahaf S. Shperberg, Solomon Eyal Shimony, Erez Karpas
2021	B	`conf`	Metareasoning for Interleaved Planning and Execution. SOCS Amihay Elboher, Shahaf S. Shperberg, Solomon Eyal Shimony
2021	A*	`conf`	Situated Temporal Planning Using Deadline-aware Metareasoning. ICAPS Shahaf S. Shperberg, Andrew Coles, Erez Karpas, Wheeler Ruml, Solomon Eyal Shimony
2020	A*	`conf`	Bidirectional Heuristic Search: Expanding Nodes by a Lower Bound. IJCAI Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon Eyal Shimony, Avi Hayoun
2020	A*	`conf`	Trading Plan Cost for Timeliness in Situated Temporal Planning. IJCAI Shahaf S. Shperberg, Andrew Coles, Erez Karpas, Solomon Eyal Shimony, Wheeler Ruml
2019	A*	`conf`	Algorithm Selection in Optimization and Application to Angry Birds. ICAPS Shahaf S. Shperberg, Solomon Eyal Shimony, Avinoam Yehezkel
2019	A*	`conf`	Allocating Planning Effort When Actions Expire. AAAI Shahaf S. Shperberg, Andrew Coles, Bence Cserna, Erez Karpas, Wheeler Ruml, Solomon Eyal Shimony
2019	B	`conf`	Enriching Non-Parametric Bidirectional Search Algorithms - Extended Abstract. SOCS Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon Eyal Shimony, Avi Hayoun
2019	A*	`conf`	Enriching Non-Parametric Bidirectional Search Algorithms. AAAI Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant, Solomon Eyal Shimony, Avi Hayoun
2019	J	`jnl`	Estimating the probability of meeting a deadline in schedules and plans. Artif. Intell. Liat Cohen, Solomon Eyal Shimony, Gera Weiss
2019	B	`conf`	Improving Bidirectional Heuristic Search by Bounds Propagation. SOCS Shahaf S. Shperberg, Ariel Felner, Solomon Eyal Shimony, Nathan R. Sturtevant, Avi Hayoun
2018	J	`jnl`	Rational deployment of multiple heuristics in optimal state-space search. Artif. Intell. Erez Karpas, Oded Betzalel, Solomon Eyal Shimony, David Tolpin, Ariel Felner
2017	A	`conf`	Monte-Carlo Tree Search using Batch Value of Perfect Information. UAI Shahaf S. Shperberg, Solomon Eyal Shimony, Ariel Felner
2017	J	`jnl`	Optimal ordering of statistically dependent tests. Discret. Appl. Math. Daniel Berend, Ronen I. Brafman, Solomon Eyal Shimony, Shira Zucker, Shimon Cohen
2017	B	`conf`	Search-Based Optimal Solvers for the Multi-Agent Pathfinding Problem: Summary and Challenges. SOCS Ariel Felner, Roni Stern, Solomon Eyal Shimony, Eli Boyarski, Meir Goldenberg, Guni Sharon, Nathan R. Sturtevant, Glenn Wagner, Pavel Surynek
2017	A*	`conf`	Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract). IJCAI Shahaf S. Shperberg, Solomon Eyal Shimony
2017	J	`jnl`	Some Properties of Batch Value of Information in the Selection Problem. J. Artif. Intell. Res. Shahaf S. Shperberg, Solomon Eyal Shimony
2015	A*	`conf`	Estimating the Probability of Meeting a Deadline in Hierarchical Plans. IJCAI Liat Cohen, Solomon Eyal Shimony, Gera Weiss
2015	J	`jnl`	Estimating the Probability of Meeting a Deadline in Hierarchical Plans. CoRR Liat Cohen, Solomon Eyal Shimony, Gera Weiss
2015	A*	`conf`	ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding. IJCAI Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Solomon Eyal Shimony
2015	B	`conf`	ICBS: The Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding. SOCS Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, Oded Betzalel, David Tolpin, Solomon Eyal Shimony
2015	—	`conf`	Optimal Ordering of Tests with Extreme Dependencies. MCO (1) Daniel Berend, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker
2015	J	`jnl`	Repeated-task Canadian Traveler Problem. AI Commun. Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony
2015	B	`conf`	Type System Based Rational Lazy IDA. SOCS Oded Betzalel, Ariel Felner, Solomon Eyal Shimony
2014	—	`conf`	A Quarter of Century in Artificial Intelligence and Law: Projects, Personal Trajectories, a Subjective Perspective. Language, Culture, Computation (2) Ephraim Nissan, Carmelo Asaro, Aldo Franco Dragoni, Dany Yamen Farook, Solomon Eyal Shimony
2014	J	`jnl`	Generic Preferences over Subsets of Structured Objects. CoRR Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2014	J	`jnl`	Optimal ordering of independent tests with precedence constraints. Discret. Appl. Math. Daniel Berend, Ronen I. Brafman, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker
2014	A	`conf`	Rational Deployment of Multiple Heuristics in IDA. ECAI David Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony
2014	J	`jnl`	Rational Deployment of Multiple Heuristics in IDA. CoRR David Tolpin, Oded Betzalel, Ariel Felner, Solomon Eyal Shimony
2014	J	`jnl`	Selecting Computations: Theory and Applications. CoRR Nicholas Hay, Stuart Russell, David Tolpin, Solomon Eyal Shimony
2013	J	`jnl`	A New Algorithm for Finding MAP Assignments to Belief Networks CoRR Solomon Eyal Shimony, Eugene Charniak
2013	J	`jnl`	Algorithms for Irrelevance-Based Partial MAPs CoRR Solomon Eyal Shimony
2013	J	`jnl`	Bayes Networks for Sonar Sensor Fusion CoRR Ami Berler, Solomon Eyal Shimony
2013	J	`jnl`	Belief Updating by Enumerating High-Probability Independence-Based Assignments CoRR Eugene Santos Jr., Solomon Eyal Shimony
2013	J	`jnl`	Complexity of Canadian traveler problem variants. Theor. Comput. Sci. Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner
2013	J	`jnl`	Cost-Sharing in Bayesian Knowledge Bases CoRR Solomon Eyal Shimony, Carmel Domshlak, Eugene Santos Jr.
2013	J	`jnl`	Relevant Explanations: Allowing Disjunctive Assignments CoRR Solomon Eyal Shimony
2013	J	`jnl`	Sample-and-Accumulate Algorithms for Belief Updating in Bayes Networks CoRR Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams
2013	A*	`conf`	Toward Rational Deployment of Multiple Heuristics in A. IJCAI David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas
2013	J	`jnl`	Towards Rational Deployment of Multiple Heuristics in A* CoRR David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas
2013	B	`conf`	Towards Rational Deployment of Multiple Heuristics in A* (Extended Abstract). SOCS David Tolpin, Tal Beja, Solomon Eyal Shimony, Ariel Felner, Erez Karpas
2012	J	`jnl`	Complexity of Canadian Traveler Problem Variants CoRR Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner
2012	J	`jnl`	MCTS Based on Simple Regret CoRR David Tolpin, Solomon Eyal Shimony
2012	A*	`conf`	MCTS Based on Simple Regret. AAAI David Tolpin, Solomon Eyal Shimony
2012	B	`conf`	MCTS Based on Simple Rerget. SOCS David Tolpin, Solomon Eyal Shimony
2012	J	`jnl`	Markov network based ontology matching. J. Comput. Syst. Sci. Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony
2012	J	`jnl`	Observation Subset Selection as Local Compilation of Performance Profiles CoRR Yan Radovilsky, Solomon Eyal Shimony
2012	J	`jnl`	Rational value of information estimation for measurement selection. Intell. Decis. Technol. David Tolpin, Solomon Eyal Shimony
2012	J	`jnl`	Selecting Computations: Theory and Applications CoRR Nicholas Hay, Stuart Russell, David Tolpin, Solomon Eyal Shimony
2012	A	`conf`	Selecting Computations: Theory and Applications. UAI Nicholas Hay, Stuart Russell, David Tolpin, Solomon Eyal Shimony
2012	J	`jnl`	Semimyopic Measurement Selection for Optimization Under Uncertainty. IEEE Trans. Syst. Man Cybern. Part B David Tolpin, Solomon Eyal Shimony
2012	J	`jnl`	VOI-aware MCTS CoRR David Tolpin, Solomon Eyal Shimony
2012	A	`conf`	VOI-aware MCTS. ECAI David Tolpin, Solomon Eyal Shimony
2011	J	`jnl`	On Graphical Modeling of Preference and Importance CoRR Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2011	J	`jnl`	Rational Deployment of CSP Heuristics CoRR David Tolpin, Solomon Eyal Shimony
2011	A*	`conf`	Rational Deployment of CSP Heuristics. IJCAI David Tolpin, Solomon Eyal Shimony
2011	B	`conf`	Repeated-Task Canadian Traveler Problem. SOCS Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony
2010	J	`jnl`	Rational Value of Information Estimation for Measurement Selection CoRR David Tolpin, Solomon Eyal Shimony
2009	J	`jnl`	Approximate belief updating in max-2-connected Bayes networks is NP-hard. Artif. Intell. Erez Karpas, Solomon Eyal Shimony, Amos Beimel
2009	A*	`conf`	Canadian Traveler Problem with Remote Sensing. IJCAI Zahy Bnaya, Ariel Felner, Solomon Eyal Shimony
2009	J	`jnl`	Generic Preferences over Subsets of Structured Objects. J. Artif. Intell. Res. Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2009	A*	`conf`	Markov Network Based Ontology Matching. IJCAI Sivan Albagli, Rachel Ben-Eliyahu-Zohary, Solomon Eyal Shimony
2009	J	`jnl`	Semi-Myopic Sensing Plans for Value Optimization CoRR David Tolpin, Solomon Eyal Shimony
2008	A*	`conf`	Efficient ADD Operations for Point-Based Algorithms. ICAPS Guy Shani, Pascal Poupart, Ronen I. Brafman, Solomon Eyal Shimony
2008	A	`conf`	Observation Subset Selection as Local Compilation of Performance Profiles. UAI Yan Radovilsky, Solomon Eyal Shimony
2008	J	`jnl`	Prioritizing Point-Based POMDP Solvers. IEEE Trans. Syst. Man Cybern. Part B Guy Shani, Ronen I. Brafman, Solomon Eyal Shimony
2007	A*	`conf`	Computing Optimal Subsets. AAAI Maxim Binshtok, Ronen I. Brafman, Solomon Eyal Shimony, Ajay Mani, Craig Boutilier
2007	A*	`conf`	Forward Search Value Iteration for POMDPs. IJCAI Guy Shani, Ronen I. Brafman, Solomon Eyal Shimony
2007	—	`conf`	Introducing Preferences over NFPs into Service Selection in SOA. ICSOC Workshops Christian Schröpfer, Maxim Binshtok, Solomon Eyal Shimony, Aviram Dayan, Ronen I. Brafman, Philipp Offermann, Oliver Holschke
2007	A*	`conf`	Scaling Up: Solving POMDPs through Value Based Clustering. AAAI Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman
2007	A*	`conf`	Scaling Up: Solving POMDPs through Value Based Clustering. AAAI Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen I. Brafman
2006	J	`jnl`	Discovering Frequent Graph Patterns Using Disjoint Paths. IEEE Trans. Knowl. Data Eng. Ehud Gudes, Solomon Eyal Shimony, Natalia Vanetik
2006	B	`conf`	Efficient Deterministic Approximation Algorithms for Non-myopic Value of Information in Graphical Models. SMC Yan Radovilsky, Guy Shattah, Solomon Eyal Shimony
2006	B	`conf`	Multi-Agent Handling of Opportunism: AWOL Meets Discretized 'Unreal Tournament'. SMC Ami Berler, Solomon Eyal Shimony
2006	J	`jnl`	On Graphical Modeling of Preference and Importance. J. Artif. Intell. Res. Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2006	A*	`conf`	Preferences over Sets. AAAI Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony, Y. Silver
2006	—	`conf`	Prioritizing Point-Based POMDP Solvers. ECML Guy Shani, Ronen I. Brafman, Solomon Eyal Shimony
2006	J	`jnl`	Support measures for graph data. Data Min. Knowl. Discov. Natalia Vanetik, Solomon Eyal Shimony, Ehud Gudes
2005	—	`conf`	Model-Based Online Learning of POMDPs. ECML Guy Shani, Ronen I. Brafman, Solomon Eyal Shimony
2004	—	`conf`	Adapting existing BKB structures using new data. SMC (2) Tali Hildeshaim, Solomon Eyal Shimony
2004	—	`conf`	Discovery of context-specific Markov blankets. SMC (4) Assaf Klein, Solomon Eyal Shimony
2004	J	`jnl`	Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence. Int. J. Intell. Syst. Carmel Domshlak, Solomon Eyal Shimony
2004	—	`conf`	Generalized model for rational game tree search. SMC (2) Yan Radovilsky, Solomon Eyal Shimony
2004	—	`conf`	Probabilistic model for schema understanding and matching. SMC (5) Lev-Arie Ratinov, Solomon Eyal Shimony, Ehud Gudes
2004	J	`jnl`	Qualitative decision making in adaptive presentation of structured information. ACM Trans. Inf. Syst. Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
2004	J	`jnl`	Reasoning with BKBs - Algorithms and Complexity. Ann. Math. Artif. Intell. Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.
2003	B	`conf`	Abstract world for opportunistic local decisions in multi-agent systems. SMC Ami Berler, Solomon Eyal Shimony
2003	J	`jnl`	Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks. Artif. Intell. Solomon Eyal Shimony, Carmel Domshlak
2003	Misc	`conf`	Efficient Probabilistic Reasoning in Bayes Nets with Mutual Exclusion and Context Specific Independence. FLAIRS Carmel Domshlak, Solomon Eyal Shimony
2003	J	`jnl`	FlexiMine - A Flexible Platform for KDD Research and Application Development. Ann. Math. Artif. Intell. Rachel Ben-Eliyahu-Zohary, Carmel Domshlak, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony
2003	J	`jnl`	Implicitly preserving semantics during incremental knowledge base acquisition under uncertainty. Int. J. Approx. Reason. Eugene Santos Jr., Eugene S. Santos, Solomon Eyal Shimony
2002	A*	`conf`	Computing Frequent Graph Patterns from Semistructured Data. ICDM Natalia Vanetik, Ehud Gudes, Solomon Eyal Shimony
2002	Misc	`conf`	Semantics and Knowledge Acquisition in Bayesian Knowledge-Bases. FLAIRS Eugene Santos Jr., Eugene S. Santos, Solomon Eyal Shimony
2001	J	`jnl`	Bernard Robertson and G. A. [Tony] Vignaux, Interpreting Evidence: Evaluating Forensic Science in the Courtroom. Artif. Intell. Law Solomon Eyal Shimony
2001	J	`jnl`	Kappa calculus and evidential strength: A note on Åqvist's logical theory of legal evidence. Artif. Intell. Law Solomon Eyal Shimony, Ephraim Nissan
2001	A*	`conf`	Preference-Based Configuration of Web Page Content. IJCAI Carmel Domshlak, Ronen I. Brafman, Solomon Eyal Shimony
2000	J	`jnl`	Bayes networks for estimating the number of solutions of constraint networks. Ann. Math. Artif. Intell. Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky
2000	Misc	`conf`	Independence Semantics for BKBs. FLAIRS Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Rosen
2000	—	`conf`	Reasoning with BKBs - Algorithms and Complexity. AI&M Tzachi Rosen, Eugene Santos Jr., Solomon Eyal Shimony
1999	Misc	`conf`	Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous Algorithms. FLAIRS Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams
1998	J	`jnl`	CSPs with counters: a likelihood-based heuristic. J. Exp. Theor. Artif. Intell. Gadi Solotorevsky, Solomon Eyal Shimony, Amnon Meisels
1998	J	`jnl`	Deterministic approximation of marginal probabilities in Bayes nets. IEEE Trans. Syst. Man Cybern. Part A Eugene Santos Jr., Solomon Eyal Shimony
1998	A*	`conf`	FlexiMine - A Flexible Platform for KDD Research and Application Construction. KDD Carmel Domshlak, D. Gershkovich, Ehud Gudes, N. Liusternik, Amnon Meisels, Tzachi Rosen, Solomon Eyal Shimony
1998	J	`jnl`	Structured Plans with Sharing and Replication. Comput. Artif. Intell. Mira Balaban, Solomon Eyal Shimony
1997	J	`jnl`	A Note on Approximate Inclusion-exclusion. Discret. Appl. Math. Avraham A. Melkman, Solomon Eyal Shimony
1997	—	`conf`	Bayes Networks for Estimating the Number of Solutions to a CSP. AAAI/IAAI Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky
1997	A	`conf`	Bayes Networks for Sonar Sensor Fusion. UAI Ami Berler, Solomon Eyal Shimony
1997	A	`conf`	Cost-Sharing in Bayesian Knowledge Bases. UAI Solomon Eyal Shimony, Carmel Domshlak, Eugene Santos Jr.
1997	J	`jnl`	Hybrid algorithms for approximate belief updating in Bayes nets. Int. J. Approx. Reason. Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams
1997	J	`jnl`	VegeDog: Formalism, Vegetarian Dogs, and Partonomies. Comput. Artif. Intell. Ephraim Nissan, Solomon Eyal Shimony
1996	J	`jnl`	A Probabilistic Spatial Data Model. Inf. Sci. Yoram Kornatzky, Solomon Eyal Shimony
1996	J	`jnl`	Algorithms for Parsimonious Complete Sets in Directed Graphs. Inf. Process. Lett. Avraham A. Melkman, Solomon Eyal Shimony
1996	J	`jnl`	Exploiting case-based independence for approximating marginal probabilities. Int. J. Approx. Reason. Solomon Eyal Shimony, Eugene Santos Jr.
1996	A	`conf`	Sample-and-Accumulate Algorithms for Belief Updating in Bayes Networks. UAI Eugene Santos Jr., Solomon Eyal Shimony, Edward Michael Williams
1995	J	`jnl`	The role of relevance in explanation II: Disjunctive assignments and approximate independence. Int. J. Approx. Reason. Solomon Eyal Shimony
1994	J	`jnl`	A Probabilistic Object-Oriented Data Model. Data Knowl. Eng. Yoram Kornatzky, Solomon Eyal Shimony
1994	A	`conf`	Belief Updating by Enumerating High-Probability Independence-based Assignments. UAI Eugene Santos Jr., Solomon Eyal Shimony
1994	J	`jnl`	Cost-Based Abduction and MAP Explanation. Artif. Intell. Eugene Charniak, Solomon Eyal Shimony
1994	J	`jnl`	Finding MAPs for Belief Networks is NP-Hard. Artif. Intell. Solomon Eyal Shimony
1993	C	`conf`	A Probabilistic Spatial Data Model. DEXA Yoram Kornatzky, Solomon Eyal Shimony
1993	A	`conf`	Relevant Explanations: Allowing Disjunctive Assignments. UAI Solomon Eyal Shimony
1993	J	`jnl`	The role of relevance in explanation I: Irrelevance as statistical independence. Int. J. Approx. Reason. Solomon Eyal Shimony
1992	—	`—`	A Probablistic Framework for Explanation. Solomon Eyal Shimony
1991	A	`conf`	Algorithms for Irrelevance-Based Partial MAPs. UAI Solomon Eyal Shimony
1991	A*	`conf`	Explanation, Irrelevance, and Statistical Independence. AAAI Solomon Eyal Shimony
1990	A	`conf`	A new algorithm for finding MAP assignments to belief networks. UAI Solomon Eyal Shimony, Eugene Charniak
1990	A*	`conf`	Probabilistic Semantics for Cost Based Abduction. AAAI Eugene Charniak, Solomon Eyal Shimony
1986	—	`conf`	3D scan-conversion algorithms for voxel-based graphics. I3D Arie E. Kaufman, Solomon Eyal Shimony