9th Bar-Ilan Symposium on the Foundations of Artificial Intelligence

Conference Program

Program    Day 1   Day 2    Abstracts    Poster

ראשון, י"ז בסיון התשע"ז BISFAI 2017, Sunday, June 11, 2017


08:30-09:15 Registration


09:15-10:30 Session 1 – Social Choice

Session chair: Avinatan Hassidim

Oren Sar Shalom, Haggai Roitman, Alexandros Karatzoglou & Amihood Amir. Collaborative Preference Learning with Multiple Feedback Types (15 minutes)

Yoad Lewenberg, Omer Lev & Jeffrey S. Rosenschein. Divide & Conquer: Using Geographic Manipulation to Win District-based Elections (15 minutes)

Orgad Keller, Avinatan Hassidim & Noam Hazon. New Approximation for Borda Coalitional Manipulation (15 minutes)

David Ben Yosef, Marina Bánnikova, Lihi Naamani-Dery, Svetlana Obraztsova & Zinovi Rabinovich.

Haste Makes Waste: A Case to Favor Voting Bots (15 minutes)

Gal Cohensius, Shie Mannor, Reshef Meir, Eli Meirom & Ariel Orda. Proxy Voting for Better Outcomes (15 minutes)



10:30-11:00 Coffee break



11:00-12:00 Keynote 1 – Sarit Kraus (BISFAI Opening/Greetings)

Session chair: Noa Agmon

Keynote: Matthew E. Taylor, School of Electrical Engineering & Computer Science, Washington State University, Improving Reinforcement Learning with Human Input



12:00-13:00 Session 2 – Robotics & Security

Session chair: Sarit Kraus

Ariel Rosenfeld, Oleg Maksimov & Sarit Kraus. When Security Games Hit Traffic: Optimal Traffic Enforcement under One Sided Uncertainty (15 minutes)

Noga Talmor & Noa Agmon. On the Power and Limitation of Deception in Multi-Robot Adversarial Patrolling (15 minutes)

Niv Rafaeli & Gal Kaminka. Active Perception at the Architecture Level (15 minutes)

Mor Sinay, Noa Agmon, Oleg Maksimov, David Peleg & Sarit Kraus. Maintaining Communication in Multi-Robot Tree Exploration (15 minutes)


13:00-14:00 Lunch break


14:00-15:30 Session 3 – Planning

Session chair: Meir Kalech

Roni Stern & Brendan Juba. Model-Free Conformant Planning (15 minutes)

Sarah Keren, Luis Pineda, Avigdor Gal, Erez Karpas & Shlomo Zilberstein. Equi-Reward Utility Maximizing Design in Stochastic Environments (15 minutes)

Mor Vered & Gal Kaminka. Heuristic Online Goal Recognition in Continuous Domains

(15 minutes)

Netanel Hasidi, Meir Kalech & Roni Stern. Anticipatory Troubleshooting (15 minutes)

Reuth Mirsky, Ya’akov Gal & David Tolpin. Session Analysis using Plan Recognition (15 minutes)

Gal Kaminka & Mor Vered. Plan-Recognition as Planning in Continuous & Discrete Domains

(15 minutes)



15:30-16:00 Coffee break



16:00-17:00 Session 4 – Game Theory & DCOP

Session chair: David Sarne

Shani Alkoby, David Sarne & Igal Milchtaich. Strategic Signaling & Free Information Disclosure in Auctions (15 minutes)

Moshe Mash, Yair Zick, Ya’akov Gal & Yoram Bachrach. How to Form Winning Coalitions in Mixed Human-Computer Settings (15 minutes)

Priel Levy, David Sarne & Igor Rochlin. Contest Design with Uncertain Performance & Costly Participation (15 minutes)

Liel Cohen & Roie Zivan. Max-sum Revisited; The Real Power of Damping (15 minutes)



17:00-18:00 Keynote 2

Session chair: Noam Hazon

Keynote: Ana Paiva, Department of Computer Science & Engineering, Technical University of Lisbon, Humans and Robots Together: How to Build Social Robots that Sustain Long Term Interactions with Humans



18:00-19:30 Social event and Posters session


שני, י"ח בסיון התשע"ז BISFAI 2017, Monday, June 12, 2017


08:30-09:00 Registration


09:00-10:30 Session 5 – Heuristic Search, DCOP, HCI & Logic

Session chair: Ariel Felner

Gyorgy Turan & Jon Yaggie. Characterizability in Horn Belief Revision (15 minutes)

Shahaf Shperberg, Solomon Shimony & Ariel Felner. Monte-Carlo Tree Search using Batch Value of Perfect Information (15 minutes)

Tal Ze'Evi & Roie Zivan. Socially Motivated Partial Cooperation in Multi-agent Local Search

(15 minutes)

Eshed Shaham & Ariel Felner. The Minimal Set of States that Must be Expanded in a Front-to-end Bidirectional Search (15 minutes)

Tamir Tassa, Roie Zivan & Tal Grinshpoun. Preserving Privacy in Region Optimal DCOP Algorithm (15 minutes)

Ya’akov Gal, Avi Segal & Baruch Schwartz. Keeping the Teacher in the Loop: Technologies for Monitoring Group Learning in Real-Time (15 minutes)


10:30-11:00 Coffee break


11:00-12:00 Keynote 3

Session chair: Joseph Keshet

Keynote: Amir Globerson, School of Computer Science, Tel-Aviv University, Efficient Optimization 

of a Convolutional Network with Gaussian Inputs



12:00-13:00 Session 6 – Learning & Diagnosis

Session chair: Larry Manevitz

Eliahu Khalastchi, Meir Kalech & Lior Rokach. A Hybrid Approach for Improving Unsupervised Fault Detection for Robotic Systems (15 minutes)

Hanan Rosemarin, John P. Dickerson & Sarit Kraus

Learning to Schedule Deadline- and Operator-Sensitive Tasks (15 minutes)

Alex Frid, Larry Manevitz & Ohad Mosafi. Topological Considerations and their Effect on Classification (15 minutes)

Tali Bitan, Alex Frid, Hananel Hazan, Larry Manevitz, Haim Shalelashvili & Yael Weiss. Classification from Generation: Recognizing Deep Grammatical Information during Reading from Rapid Event-Related fMRI (15 minutes)

13:00-14:00 Lunch break

13:40-14:00 IAAI meeting


14:00-18:00 Data Science Track 

Jointly organized with the Data Science Institute (under development) at Bar-Ilan University.

Gal Chechik. Opening note 


14:00-15:00 Keynote 4

Session chair: Gal Chechik

Keynote: Shai Avidan, Faculty of Engineering, Tel-Aviv University, Deformable Template Matching


15:00-15:45 Session 7 – Machine Learning for Vision and Language

Session chair: Gal Chechik

Shay Zweig & Lior Wolf. InterpoNet, A Brain Inspired Neural Network for Optical Flow Dense Interpolation (15 minutes)

Gabriel Satanovsky, Daniel Gruhl & Pablo N. Mendes. Recognizing Mentions of Adverse Drug Reaction in Social Media using Knowledge-infused Recurrent Models (15 minutes)

Roee Aharoni & Yoav Goldberg. Towards String-to-Tree Neural Machine Translation (15 minutes)


15:45-16:15 Coffee break


16:15-17:00 Session 8 – Machine Learning for Speech Perception

Session chair: Sharon Gannot

David Dov, Ronen Talmon & Israel Cohen. Kernel-based Multi-modal Sensor Fusion with Applications to Audio-visual Signals (15 minutes)

Ohad Felsenstein, Moshe Abeles & Gal Chechik. A Sparse Probabilistic Approach to Decoding Auditory-motor Activity (15 minutes)

Shlomi Chazan, Sharon Gannot & Jacob Goldberger. A Phoneme-based Pre-training Approach for Deep Neural Network with Application to Speech Enhancement (15 minutes)



17:00-18:00 Keynote 5

Session chair: Sharon Gannot

Keynote: Hagai Aronowitz, Biometrics Research, IBM Research, Tel-Aviv, A Deep Dive into Biometrics and Multimedia Analysis