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

Conference Program

Program    Day 1    Day 2    Keynotes    Abstracts    Booklet    Poster  

ראשון, כ"ב בסיון, תשס"ט BISFAI 2009, Sunday, June 14, 2009

 08:30-09:00 Registration 

09:00-10:30 Session 1 Cognitive Modeling

Session chair: Larry Manevitz

Elisheva Bonchek Dokow, Gal A. Kaminka & Carmel Domshlak. Distinguishing Between Intentional and Unintentional Sequences of Actions (20 minutes)

Avi Rosenfeld & Sarit Kraus. Modeling Agents through Bounded Rationality Theories (20 minutes)

Natalie Fridman & Gal A. Kaminka. Comparing Human and Synthetic Group Behaviors: A Model Based on Social Psychology (20 minutes)

Larry Manevitz & Hananel Hazan. The Liquid State Machine is Not Robust to Problems in its Components (10 minutes)

Larry Manevitz. Computational Modeling of Brain Structure and Cognition (20 minutes)

 10:30-11:00 Coffee break 

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

Session chair: Sarit Kraus

Keynote: Martin Golumbic, Conflict and Tolerance in Artificial Intelligence


12:00-13:10 Session 2 Multi-Agent Systems 1
Session chair: David Sarne

Tammar Shrot, Yonatan Auman & Sarit Kraus. Easy and Hard Coalition Resource Game Formation Problems - A Parameterized Complexity Analysis (20 minutes)

David Sarne. Competitive Comparison - Shopping in Mediated Markets (20 minutes)

Ariel D. Procaccia. Thou Shalt Covet Thy Neighbor's Cake (20 minutes)

Ezra Resnick, Yoram Bachrach, Reshef Meir & Jeffrey S. Rosenschein. The Cost of Stability in Network Flow Games (10 minutes)

 13:10-14:10 Lunch break 

14:10-15:30 Session 3 Machine Learning 1
Session chair:
Shlomi Dolev

Judit Bar-Ilan, Zheng Zhu & Mark Levene. Topical Analysis of Search Queries (20 minutes)

Shlomi Dolev, Guy Leshem & Reuven Yagel. Purifying Data by Machine Learning with Certainty Levels (20 minutes)

Malik Yousef & Waleed Khalifa. One-Class or Two-Class Machine Learning for MicroRNA Target Prediction (20 minutes)

Larry Manevitz, Omer Boehm & David Hardoon. Cognitive Pattern Recognition from Brain Activity via One-class Classification (10 minutes)

Malik Yousef, Mohamed Ketany & Larry Manevitz. Recursive Gene Networks Elimination (RNE) for Feature Selection and Classification from Gene Expression Data (10 minutes)


15:30-16:30 Keynote 2

Session chair: Moshe Lewenstein

Keynote: Jeffrey D. Ullman, Algorithms for Efficient Similarity Search

 16:30-17:00 Coffee break 

17:00-18:30 Session 4 Planning & Search

Session chair: Ariel Felner

Ronen Brafman, Carmel Domshlak, Yagil Engel & Moshe Tennenholtz. Planning Games (20 minutes)

Erez Karpas & Carmel Domshlak. Cost-Optimal Planning with Landmarks (20 minutes)

Ariel Felner, Max Barer & Nathan Sturtevant. Memory-Based Heuristics for Explicit State Spaces (20)

Tamar Kulberis, Roni Stern & Ariel Felner. Best-First Search with Lookaheads (10 minutes)

Meir Kalech & Avi Pfeffer. Decision Making with Dynamically Arriving Information (20 minutes)

שני, כ"ג בסיון, תשס"ט BISFAI 2009, Monday, June 15, 2009

 08:30-09:00 Registration 

09:00-10:00 Session 5 Machine Learning 2

Session chair: Ariel D. Procaccia

Reshef Meir, Ariel D. Procaccia & Jeffrey S. Rosenschein. Strategy Proof Classification with Shared Inputs (20 minutes)

Ron Bekkerman, Martin Scholz & Krishnamurthy Viswanathan. Improving Clustering Stability with Combinatorial MRFs (20 minutes)

Ofer Arieli & Anna Zamansky. Non-Deterministic Distance Semantics for Handling Incomplete and Inconsistent Data (20 minutes)

 10:00-10:30 Coffee break 

10:30-11:30 Keynote 3

Session chair: Gal A. Kaminka

Keynote: Peter Stone, Teaching Teammates in Ad Hoc Teams


11:30-12:30 Session 6 Multi-Agent Systems 2

Session chair: Jeffrey S. Rosenschein

Aviv Zohar & Jeffrey S. Rosenschein. Adding Incentives to File Sharing Systems (20 minutes)

Lirong Xia, Michael Zuckerman, Ariel D. Procaccia, Vincent Conitzer & Jeffrey S. Rosenschein. Complexity of Unweighted Coalitional Manipulation under some Common Voting Rules (20 minutes)

Esther David & David Sarne. The Choice of Eliminating the Uncertainty Cloud in Auctions (20)

12:30-13:30 Lunch break 

13:30-15:00 Session 7 NLP

Session chair: Ido Dagan

Meir Kuzari Kozarinsky. Computations of Meaning (10 minutes)

Shachar Mirkin, Ido Dagan & Eyal Shnarch. Evaluating the Inferential Utility of Lexical-Semantic Resources (20 minutes)

Shachar Mirkin, Lucia Specia, Nicola Cancedda, Ido Dagan, Marc Dymetman & Idan Szpektor. Source-Language Entailment Modeling for Translating Unknown Terms (20 minutes)

Idan Szpektor & Ido Dagan. Augmenting WordNet with Argument Mapping (10 minutes)

Roy Bar-Haim, Jonathan Berant & Ido Dagan. Efficient Entailment Inference over Compact Parse Forests (10 minutes)

Sonya Liberman & Shaul Markovitch. Compact Hierarchical Explicit Semantic Representation (20)


15:00-16:00 Keynote 4

Session chair: Martin Golumbic

Keynote: Antal van den Bosch, Constraint Satisfaction Inference and its Application to NLP

 16:00-16:30 Coffee break 

16:30-18:10 Session 8 Physical Agents

Session chair: Solomon Eyal Shimony

Solomon Eyal Shimony & David Tolpin. Semi-Myopic Sensing Plans for Value Optimization
(20 minutes)

Noa Agmon, Sarit Kraus, Gal A. Kaminka & Vladimir Sadov. Adversarial Uncertainty in Multi-Robot Patrol (20 minutes)

Noam Hazon, Yonatan Aumann & Sarit Kraus. Collaborative Multi-Agent Physical Search with Probabilistic Knowledge (20 minutes)

Asaf Shiloni, Noa Agmon & Gal A. Kaminka. Of Robot Ants and Elephants (20 minutes)

Yaniv Altshuler, Alfred Bruckstein & Israel Wagner. Collaborative Exploration in Grid Domains
(20 minutes)