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

Conference Program

Program    Day 1   Day 2 (ISCOL)    Day 2 (Tutorial)    Day 3    Keynotes    Abstracts    Booklet    Poster  



רביעי, כ"ח אייר התשע"א BISFAI 2011, Wednesday, June 1, 2011


08:30-09:00 Registration


09:00-10:30 Session 1 – Cooperation and Voting

Session chair: Esther David

Reshef Meir, Enrico Malizia & Jeffrey Rosenschein. Subsidies, Stability, and Restricted Cooperation in Coalitional Games (20 minutes)

Rina Azoulay & Esther David. Comparative Incentive Compatible Mechanisms for Site Oriented Advertising Auctions (20 minutes)

Roie Zivan & Ella Segev. Trust Based Efficiency for Cake Cutting Algorithms (10 minutes)

Michael Zuckerman, Omer Lev & Jeffrey Rosenschein. An Algorithm for the Coalitional Manipulation Problem under Maximin (10 minutes)

Michael Zuckerman, Piotr Faliszewski, Vincent Conitzer & Jeffrey Rosenschein. An NTU Cooperative Game Theoretic View of Manipulating Elections (10 minutes)

Lihi Dery, Meir Kalech, Lior Rokach & Bracha Shapira. Iterative Voting under Uncertainty for Group Recommender Systems (10 minutes)

Omer Lev & Jeffrey S. Rosenschein. Tie-Breaking Limits on Convergence of Iterative Voting
(10 minutes)


10:30-11:00 Coffee break


11:00-12:20 Keynote 1 (BISFAI Opening/Greetings)

Session chair: Shmuel (Tomi) Klein

Keynote: Sarit Kraus, Automated Agents for Human Persuasion


12:20-13:20 Lunch break


13:20-15:10 Session 2a – Learning and Modeling

Session chair: Avi Rosenfeld

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary & Luigi Palopoli. Tractable Strong Outlier Identification (20 minutes)

Avi Rosenfeld & Sarit Kraus. Using Aspiration Adaptation Theory to Improve Learning (20 minutes)

Hananel Hazan & Larry Manevitz. Sliding Thresholds, STDP Learning Variants and Topological Choices Can Make Reservoir Computing Appropriate For Spatio- Temporal Pattern Recognition
(20 minutes)

Ariella Richardson, Gal Kaminka & Sarit Kraus. CUBS : Multivariate Sequence Classification Using Bounded Z-score with Sampling (20 minutes)

Natan Silnitsky, Uri Feintuch, Larry Manevitz & Assaf Dvorkin. Classification and Clustering of Brain Injuries from Motion Data of Patients in a Virtual Reality Environment (10 minutes)

Paolo Avesani, Hananel Hazan, Ester Koilis, Larry Manevitz & Diego Sona. Learning BOLD Response in fMRI by Reservoir Computing (10 minutes)



13:20-15:10 Session 2b – Physical Agents and Networks

Session chair: Roie Zivan

Eliahu Khalastchi, Gal Kaminka, Meir Kalech & Raz Lin. Online Anomaly Detection in Unmanned Vehicles (20 minutes)

Ofra Amir & Yakov Gal. Plan Recognition in Virtual Laboratories (20 minutes)

Claudia V. Goldman. Automatic Driving: Present and Future (20 minutes)

Natalie Fridman, Gal A. Kaminka & Avishay Zilka. Towards Qualitative Reasoning for Policy Decision Support in Demonstrations (20 minutes)

Michal Chalamish, Dov Gabbay & Uri J. Schild. Intelligent Evaluation of Evidence in Wigmore Diagrams (20 minutes)

Eran Sadeh-Or & Gal A. Kaminka. AnySURF: Flexible Local Features Computation (10 minutes)


15:10-15:30 Coffee break

15:30-16:30 Keynote 2

Session chair: David Sarne

Keynote: Vincent Conitzer, Computational Methods for Acting Strategically



16:30-18:00 Session 3a – Advanced Techniques

Session chair: Onn Shehory

Michael Orlov & Moshe Sipper. Flight of the FINCH through the Java Wilderness (20 minutes)

Amit Benbassat & Sipper Moshe. Solving Board Games with Genetic Programming (10 minutes)

Achiya Elyasaf, Ami Hauptman & Moshe Sipper. GA-FreeCell: Evolving Solvers for the Game of FreeCell (10 minutes)

David Tolpin & Solomon Eyal Shimony. Rational Deployment of CSP Heuristics (10 minutes)

Dror Fried, Solomon Eyal Shimony, Amit Benbassat & Cenny Wenner. Complexity of Canadian Traveler Variants (20 minutes)

Rachel Y. Halfon & Onn Shehory. Game-Based Extraction of Web Users' Personality Factors for Personalization (20 minutes)



16:30-18:00 Session 3b – Autonomous Agents and Multi-Agent Systems

Session chair: Meir Kalech

Roni Stern & Meir Kalech. Model-Based Diagnosis Techniques for Internet Delay Diagnosis
(20 minutes)

Alon Grubshtein & Amnon Meisels. A Distributed Cooperative Approach for Optimizing a family of Network Games (20 minutes)

Mattan Lebovich, Yakov Gal & Avi Pfeffer. Opinion Formation in Social Networks (10 minutes)

Arnon Netzer & Amnon Meisels. SOCIAL DCOP - Social Choice in Distributed Constraints Optimization (20 minutes)

Amos Azaria, Zinovi Rabinovich, Sarit Kraus & Claudia Goldman. Strategic Information Disclosure to People with Multiple Alternatives (20 minutes)



18:00-20:00 Social event and posters session



חמישי, כ"ט אייר התשע"א ISCOL 2011, Thursday, June 2, 2011


09:00-09:30 Registration


9:30-10:40 Keynote 3 (ISCOL Opening/Greetings)

Session chair: Ido Dagan

Keynote: David Carmel, IBM Watson and the Jeopardy! Challenge

Alon Itai & Shuly Wintner, News from MILA, The Knowledge Center for Processing Hebrew


10:40-11:50 Session 4 – Posters and Coffee break

Session chair: Nachum Dershowitz

Jonathan Berant, Ido Dagan & Jacob Goldberger. Global Learning of Typed Entailment Rules

Shachar Mirkin, Ido Dagan, Lili Kotlerman &Idan Szpektor. Classification-based Contextual Preferences

Raphael Cohen & Michael Elhadad. The effect of redundancy rich corpora on NLP Machine Learning

Idan Szpektor, Aristides Gionis & Yoelle MaarekImproving Recommendation for Long-tail Queries via Templates

Eyal Schwartz, Roi Reichart & Effi Levi. An HMM-Based Model for Morphology & PoS Tagging of Texts in Modern Hebrew

Vered Volansky, Noam Ordan & Shuly Wintner. More Human or more Translated? Original Texts vs. Human and Machine Translations

Yoav Goldberg & Michael Elhadad. Two Syntactic Parsers for Modern Hebrew and a large automatically parsed corpus


11:50-13:30 Session 5 – Natural language Processing I

Session chair: Shuly Wintner

Reut Tsarfaty. Relational-Realizational Parsing (20 minutes)

Roy Schwartz, Omri Abend, Roi Reichart & Ari RappoportNeutralizing Linguistically Problematic Annotations in Unsupervised Dependency Parsing Evaluation (20 minutes)

Eyal Shnarch, Jacob Goldberger & Ido Dagan. Be principled! A Probabilistic Model for Lexical Entailment (20 minutes)

Asher Stern & Ido Dagan. A Confidence Model for Syntactically-Motivated Entailment Proofs
(20 minutes)

Yael Netzer, David Gabay & Oren Hazai. "This song is quite banal" – Evaluating Hebrew Lyrics
(20 minutes)


13:30-14:30 Lunch break


14:30-15:30 Keynote 4

Session chair: Martin Golumbic

Keynote: Oliviero Stock, Persuasive Systems for Small Groups



15:30-16:30 Session 6 – Posters and Coffee break

Session chair: Michael Elhadad

Reut Tsarfaty, Joakim Nivre & Evelina Andersson. Evaluating Dependency Parsing - Robust and Heuristics-Free Cross-Annotation Evaluation

Hanna Fadida, Reshef Shilon, Alon Itai & Shuly Wintner. A subcategorization lexicon of Hebrew verbs

Yariv Maron, Michael Lamar & Elie Bienenstock. Incorporating Morphological Features in an Embedding Model for Part-of-Speech Induction

Kayla Jacobs, Alon Itai & Shuly Wintner. Hebrew Acronym Extraction and Acronym Dictionary Construction from Corpora

Lili Kotlerman, Zemer Avital, Ido Dagan, Amnon Lotan & Ofer Weintraub. Deriving Target-Domain Taxonomies from Wikipedia Category Hierarchy

Alex Zhicharevich & Nachum Dershowitz. Matching Poorly Recognized Texts to a Corpus



16:30-18:10 Session 7 – Natural language Processing II

Session chair: Alon Itai

Gideon Dror, Liu Qiaoling, Eugene Agichtein, Idan Szpektor, Evgeniy Gabriloich, Yoelle Maarek & Dan Pelleg. Predicting Web Searcher Satisfaction with Existing Community-based Answers
(20 minutes)

Roy Bar-Haim, Elad Dinur, Ronen Feldman, Moshe Fresko & Guy Goldstein. Identifying and Following Expert Investors on Twitter (20 minutes)

Andrey Stolyarenko & Nachum Dershowitz. OCR for Arabic using SIFT Descriptors with Online Failure Prediction (20 minutes)

Gennadi Lembersky, Noam Ordan & Shuly Wintner. Building Translation Models from Original and Translated Texts (20 minutes)

Moshe Koppel & Yaron Winter. Determining if Two Short Documents are by a Single Author
(20 minutes)










חמישי, כ"ט אייר התשע"א BISFAI 2011, Thursday, June 2, 2011


9:30-10:40 Keynote 3 (ISCOL Opening/Greetings)

Session chair: Ido Dagan

Keynote: David Carmel, IBM Watson and the Jeopardy! Challenge


10:30-11:00 Coffee break


11:00-16:00 Tutorial on Search and Path-Finding

Tutorial presenters: Nathan Sturtevant &Ariel Felner

 Search and Path-Finding: From Rubik's cube to GPS Navigation and in between


11:00-12:30 Tutorial 1

Tutorial presenter: Ariel Felner

Basic terminology (A*, IDA*, f=g+h).
Implicit Vs. Explicit domains.
PDBs for implicit domains (summary of results).
New advanced algorithms (breadth-first heuristic search, switchback, SFBDS)
Inconsistent heuristics and BPMX

10:40-10:50: Break

Explicit domains.
Why homomorphic abstractions do not work.
True distance heuristics.
Multi-agent path-finding as a generalization of both directions.


12:30-12:45 Coffee break


12:45-13:45 Tutorial 2

Tutorial presenter: Nathan Sturtevant

Explicit domains: properties and representations.
How game maps can be different from road networks
Abstractions for explicit domains (Maps, games etc).
Advanced TDHs.
Contractions Hierarchies.
Refinement and theoretical underpinnings
Relationship to poker!


13:45-14:30 Lunch break


14:30-15:30 Tutorial 3

Tutorial presenter: Nathan Sturtevant

Explicit domains: properties and representations.
How game maps can be different from road networks
Abstractions for explicit domains (Maps, games etc).
Advanced TDHs.
Contractions Hierarchies.
Refinement and theoretical underpinnings
Relationship to poker!



15:30-16:00 Tutorial 4

Tutorial presenters: Nathan Sturtevant &Ariel Felner

 Open discussion: future directions.


שישי, א' סיון התשע"א BISFAI 2011, Friday, June 3, 2011


08:30-09:00 Registration



09:00-10:40 Session 8 – Search and Planning

Session chair: Roni Stern

Erez Karpas, Michael Katz & Shaul Markovitch. When Optimal is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings (20 minutes)

Nir Pochter, Aviv Zohar & Jeffrey Rosenschein. Exploiting Problem Symmetries in State-Based Planners (20 minutes)

Guni Sharon, Roni Stern, Meir Goldenberg & Ariel Felner. The Increasing Cost Tree Search for Optimal Multi-agent Pathfinding (20 minutes)

Meir Goldenberg, Nathan Sturtevant, Ariel Felner & Jonathan Schaeffer. The Compressed Differential Heuristic (10 minutes)

Avitan Gefen & Ronen Brafman. The Minimal Seed Set Problem (10 minutes)

Raz Nissim, Joerg Hoffmann & Malte Helmert. Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstractions in Optimal Planning (20 minutes)



10:40-11:40 Keynote 5

Session chair: Ariel Felner

Keynote: Nathan Sturtevant, Deploying a High-Performance Pathfinding Engine



11:40-12:10 Brunch break



12:10-13:10 Keynote 6

Session chair: Sarit Kraus

Keynote: V.S. Subrahmanian, Social Network Optimization Problems



13:10-14:30 Session 9 – Planning and CSP

Session chair: Yakov Gal

Hilla Peled &Roie Zivan. Balanced Exploitation and Exploration for Max-sum Distributed Constraint Optimization (20 minutes)

Udi Apsel & Ronen Brafman. Extended Lifted Inference with Joint Formulas (20 minutes)

Igor Rochlin, David Sarne & Gil Zussman. Sequential Multilateral Search for a Common Goal
(20 minutes)

Meenal Chhabra, Sanmay Das & David Sarne. Expert-Mediated Search (20 minutes)