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

Conference Program

Program    Day 1   Day 2    Abstracts    Booklet    Poster


ראשון, כ"א באייר התשע"ה BISFAI 2015, Sunday, May 10, 2015


08:30-09:00 Registration


09:00-10:00 Session 1 – Agents

Session chair: Noam Hazon

Pavel Borovsky, Sergey Frenkel & Marina Kopeetsky. An Improvement of Lempel-Ziv-Welch Compression Algorithm (15 minutes)

Maayan Zhitomirsky, Judit Bar-Ilan & Mark Levene. User’s Evaluation of Search Results over Time (15 minutes)

Sarah Keren, Avigdor Gal & Erez Karpas. Goal Recognition Design with Non-Observable Actions (15 minutes)

Tal Grinshpoun. Clustering Variables by their Agents (15 minutes)


10:00-10:30 Coffee break


10:30-11:50 Keynote 1 (BISFAI Opening/Greetings)

Session chair: David Sarne

Keynote: Sarit Kraus, Department of Computer Science, Bar-Ilan University. Intelligent Agents for Rehabilitation and Care of Disabled and Chronic Patients



11:50-13:00 Session 2 – Games & Poster Introductions

Session chair: Esther David

Chen Hajaj, John P. Dickerson, Avinatan Hassidim, Tuomas Sandholm & David Sarne. Strategy-Proof and Efficient Kidney Exchange using a Credit Mechanism (15 minutes)

Tamir Tassa, Tal Grinshpoun & Roie Zivan. Max-Sum Goes Private (15 minutes)

Alex Frid & Larry Manevitz. Topological Multi-Class Support Vector Machines and Diagnosis of Parkinson's Disease (15 minutes)

Vadim Levit, Zohar Komarovsky, Tal Grinshpoun & Amnon Meisels. Tradeoffs between Incentive Mechanisms in Boolean Games (15 minutes)

Zinovi Rabinovich, Albert Xin Jiang, Manish Jain & Haifeng Xu. Information Disclosure as a Means to Security (5 minutes)

Alon Palombo, Roni Stern, Rami Puzis, Ariel Felner, Scott Kiesel & Wheeler Ruml. Solving the Snake in the Box Problem with Heuristic Search: First Results (5 minutes)



13:00-14:00 Lunch break


14:00-15:00 Keynote 2

Session chair: Ariel Felner

Keynote: Shaul Markovitch, Department of Computer Science, Technion - Israel Institute of Technology. Explicit Semantic Analysis: Ten Years Later



15:00-16:05 Session 3 – Robotics & Poster Introductions

Session chair: Noa Agmon

Orel Elimelech, Roni Stern & Meir Kalech. Structural Abstraction for Strong Fault Models Diagnosis (15 minutes)

Yaniv Shapira & Noa Agmon. Path Planning for Optimizing Survivability of Multi-Robot Formation in Adversarial Environments (15 minutes)

Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria & Sarit Kraus. Intelligent Agent Supporting Human-Multi-Robot Team Collaboration (15 minutes)

Roni Stern, Meir Kalech & Hilla Shinitzky. Implementing Troubleshooting with Batch Repair
(5 minutes)

Amir Elmishali, Roni Stern & Meir Kalech. Data-Augmented Software Diagnosis (5 minutes)

Inbal Wiesel, Gal A. Kaminka, Noa Agmon & Ido Bachelet. Towards Programmable Molecular Robots (5 minutes)

Roi Yehoshua, Noa Agmon & Gal A. Kaminka. Frontier-Based RTDP: A New Approach to Solving the Robotic Adversarial Coverage Problem (5 minutes)


16:05-16:30 Coffee break


16:30-17:30 Keynote 3

Session chair: Sarit Kraus

Keynote: Madhav Marathe, Virginia Bioinformatics Institute, VirginiaTech. Virtual Cities: An Informatics Framework for Urban Science and Policy


17:30-19:00 Social event and posters session




שני, כ"ב באייר התשע"ה BISFAI 2015, Monday, May 11, 2015


08:30-09:00 Registration


09:00-10:30 Session 4 – Search and Voting

Session chair: Meir Kalech

Erel Segal-Halevi, Avinatan Hassidim & Yonatan Aumann. Fair-and-Square: Cake-Cutting in Two Dimensions (15 minutes)

Svetlana Obraztsova, Omer Lev, Evangelos Markakis, Zinovi Rabinovich & Jeffrey S. Rosenschein. Truth-Bias Complexity in the Veto Voting Rule (15 minutes)

Noam Hazon, Sigal Sina, Avinatan Hassidim & Sarit Kraus. Adapting the Social Network to Affect Elections (15 minutes)

Omer Lev, Moshe Tennenholtz & Aviv Zohar. An Axiomatic Approach to Routing (15 minutes)

Eli Boyarski, Ariel Felner, Guni Sharon & Roni Stern. ICBS: The Improved Conflict-based Search Algorithm for Multi-Agent Pathfinding (15 minutes)

Lihi Naamani-Dery, Svetlana Obrazstova, Zinovi Rabinovich & Meir Kalech. Lie on the Fly: Practical Manipulation with Incomplete Information (15 minutes)


10:30-11:00 Coffee break


11:00-12:00 Keynote 4

Session chair: David Sarne

Keynote: Sanmay Das, Dept. of Computer Science and Engineering, Washington Univ. in St. Louis. Modeling and Mining Collective Intelligence Platforms: Participation, Opinion, and Manipulation



12:00-13:00 Session 5 – Learning

Session chair: Inon Zuckerman

David Tolpin, Brooks Paige, Jan Willem van de Meent & Frank Wood. Adaptive Metropolis-Hastings for Probabilistic Programs (15 minutes)

Elad Liebman, Maytal Saar-Tsechansky & Peter Stone. DJ-MC: A Reinforcement-Learning Agent for Music Playlist Recommendation (15 minutes)

Yossi Ben-David, Avi Segal & Kobi Gal. Adapting Bayesian Knowledge Tracing to e-Learning Systems in Real Classrooms (15 minutes)

Yonatan Ramni, Oded Maimon & Evgeni Khmelnitsky. Pair Distance Distribution – A Model of Semantic Representation (15 minutes)


13:00-14:00 Lunch break


14:00-15:00 Keynote 5

Session chair: Avi Rosenfeld

Keynote: Yevgeniy Vorobeychik, Department of Computer Science and Computer Engineering, Vanderbilt University. Machine Learning under Attack



15:00-16:15 Session 6 – Data Mining

Session chair: Hananel Hazan

Achiya Elyasaf, Pavel Vaks, Nimrod Milo, Moshe Sipper & Michal Ziv-Ukelson. Casting the Problem of Mining RNA Sequence-Structure Motifs as One of Search & Learning Hyper-Heuristics for It (15 minutes)

Danny Karmon & Joseph Keshet. Structured Prediction using the Cost-Dependent Probit Loss
(15 minutes)

Gal Sabina Star, Larry Manevitz, Hananel Hazan & Alex Frid. Machine Learning Techniques and the Existence of Variant Declarative Memory Systems in Humans (15 minutes)

Mor Vered & Gal A. Kaminka. If You Can Draw It, You Can Recognize It: Mirroring for Sketch Recognition (15 minutes)

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


16:15-16:45 Coffee break


16:45-17:45 Keynote 6

Session chair: Ariella Richardson

Keynote: Shai Shalev-Shwartz, Department of Computer Science and Engineering, The Hebrew University of Jerusalem. Deep Learning: Why and How?