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

Conference Program

Program    Day 1    Day 2    Day 3    Keynotes    Abstracts    Booklet    Accepted Papers    Poster    Download

Wednesday, June 20, 2007 רביעי, ד' תמוז, תשס"ז

09:00-09:25 Registration 

09:25-10:50 Session ISCOL 1 (ISCOL opening)
Session chair:
Ari Rappoport

Roy Bar-Haim, Ido Dagan, Iddo Greental and Eyal Shnarch. Semantic Inference at the Lexical-Syntactic Level

Ben Sandbank, Shimon Edelman and Eytan Ruppin. From ConText to Grammar: A Step towards Practical Probabilistic Context Free Grammar Inference

Dana Dannells and Louise Deleger. Multilingual Generation of Medical Information

Alon Lavie and Shuly Wintner. Rapid Prototyping of a Transfer-based Hebrew-to-English Machine Translation System

 

09:45-10:50 Session Robotics 1 (Robotics opening)
Session chair:
Israel Wagner

Eli Kolberg, Yoram Reich and Ilya Levin. Design Methodology for Mobile Robots

Yehuda Elmaliah, Noa Agmon and Gal Kaminka. Multi-Robot Area Patrol under Frequency Constraints

Gal Kaminka, Ari Yakir, Dan Erusalimchik and Nirom Cohen-Nov. Towards Collaborative Task and Team Maintenance

 10:50-11:20 Coffee break 

11:20-13:00 Session ISCOL 2
Session chair:
Ido Dagan

Roi Reichart and Ari Rappoport. An Ensemble Method for Selection of High Quality Parses

Yoav Goldberg and Michael Elhadad. Toward Better Understanding of Hebrew NP Chunks

Reut Tsarfaty and Khalil Sima'an. Dimensions of Parameterization for Modern Hebrew Statistical Parsing

Saib Mansour, Khalil Sima'an and Yoad Winter. Smoothing a Lexicon-based POS Tagger for Arabic and Hebrew

Joshua Waxman. Transliteration Bitext Corpus Generation and Cross-Language Information Retrieval Using Minimum Edit Distance and Character Cluster Equivalence Classes

 

11:20-13:00 Session Robotics 2
Session chair:
Eli Kolberg

Yan Virin, Guy Shani and Solomon Eyal Shimony. Scaling Up: Solving POMDPs through Value Based Clustering

Eliyahu Osherovich, Vladimir Yanovski, Israel Wagner and Freddy Bruckstein. Robust and Efficient Covering of Unknown Continuous Domains with Simple, Ant-Like A(ge)nts

Ami Berler and Solomon Eyal Shimony. Mapping AWOL Using a Concrete Domain

Ariel Felner, Roni Stern, Zahi Benaya and Tal Fadida. Problem Solving by Moving Agents in Physical Graphs

13:00-14:15 Lunch break 

14:15-15:30 Keynote 1 (BISFAI Opening)
Session chair:
Sarit Kraus

BISFAI Greetings

Keynote: Yaacov Choueka. You’ve come a long way, Baby! Responsa meet Full-text and CL, one-thousand-year manuscripts meet AI

 

15:30-16:10 Session ISCOL 3
Session chair:
Michael Elhadad

Dmitry Davidov, Ari Rappoport and Moshe Koppel. Fully Unsupervised Discovery of Concept-Specific Relationships by Web Mining

Idan Szpektor and Ido Dagan. Learning Canonical Forms of Entailment Rules

 

15:30-16:10 Session AI 1 (Clustering)
Session chair:
Amnon Meisels

Maxim Binshtok, Ronen Brafman, Solomon Eyal Shimony, Ajay Mani and Craig Boutilier. Computing Optimal Subsets

Rachel Ben-Eliyahu-Zohary, Ran Giladi, Philip Hendrix and Stuart M. Shieber. Clustering Ad-Hoc Networks: Experiments in Local Search

16:10-16:40 Coffee break 

16:40-18:00 Session ISCOL 4
Session chair
: Alon Itai

Roi Reichart and Ari Rappoport. Self-Training for Enhancement and Domain Adaptation of Statistical Parsers Trained on Small Datasets

 Ido Dagan, Oren Glickman, Alfio Massimiliano Gliozzo, Efrat Hershkoviz Marmorshtein and Carlo Strapparava. Direct Word Sense Matching for Lexical Substitution

Yael Netzer, Meni Adler, David Gabay and Michael Elhadad. Can You Tag the Modal? You Should

Judit Bar-Ilan, Kevin Keenoy, Mark Levene and Eti Yaari. Ranking Preferences of Search Results –
A User Study

 

16:40-18:00 Session AI 2 (Search)
Session chair:
Carmel Domshlak

Roie Zivan, Moshe Zazone and Amnon Meisels. Min-Domain retroactive ordering for Asynchronous Backtracking

Ariel Felner and Nir Ofek. Combining Perimeter Search and Pattern Database Abstractions

Dragan Bosnacki, Edith Elkind, Blaise Genest and Doron Peled. On Commutativity Based Edge Lean Search

Uzi Zahavi and Ariel Felner. Inconsistent Heuristics

Thursday, June 21, 2007 חמישי, ה' תמוז, תשס"ז  

08:30-09:00 Registration 

09:00-10:45 Session AI 3 (Machine Learning)
Session chair:
Shaul Markovitch

Ariel Procaccia, Aviv Zohar, Yoni Peleg and Jeffrey Rosenschein. Learning Voting Trees

Ron Katz and Sarit Kraus. Gender-Sensitive Automated Negotiators

Roy Fox and Moshe Tennenholtz. A Reinforcement Learning Algorithm with Polynomial Interaction Complexity for Only-Costly-Observable MDPs

Larry Manevitz and Hananel Hazan. History-Dependent Neurons and Identification of Temporal Sequences

Alon Altman, Avivit Bercovici-Boden and Moshe Tennenholtz. Learning in one-shot strategic form games

 

10:45-11:15 Coffee break
Demonstartion
: Avi Pfeffer, IBAL: Turning Probabilistic Reasoning into Programming.

 

11:15-12:15 Keynote 2
Session chair:
Gal Kaminka

Keynote: Manuela Veloso. Selective Use of Multiple Sources of Robot Sensory Information

 

12:15-13:00 Session AI 4 (Game Complexity)
Session chair:
Moshe Tennenholtz

Yoram Bachrach and Jeffrey Rosenschein. Computing the Banzhaf Power Index in Network Flow Games

Edith Elkind, Leslie Ann Goldberg, Paul Goldberg and Michael Wooldridge. Computational Complexity of Weighted Threshold Games

13:00-14:00 Lunch break 

14:00-15:45 Session AI 5 (Planning and Plan Recognition)
Session chair:
Solomon Eyal Shimony

Michael Katz and Carmel Domshlak. Structural Patterns of Tractable Sequentially-Optimal Planning

Carmel Domshlak and Vitaly Mirkis. Cost-Sharing Approximations for h+

Hannaneh Hajishirzi and Eyal Amir. Stochastic Filtering in a Probabilistic Action Model

Dorit Avrahami-Zilberbrand and Gal Kaminka. Incorporating Observer Biases in Keyhole Plan Recognition (Efficiently!)

Nirom Cohen-Nov Slapak and Gal Kaminka. Computational Load and Performance in Integrated Multi-Agent Intention Recognition

 

15:45-16:15 Coffee break
Demonstartion
: Avi Pfeffer, IBAL: Turning Probabilistic Reasoning into Programming.

 

16:15-17:15 Keynote 3
Session chair:
Ronen Brafman

Keynote: Dana Nau. May All Your Plans Succeed! (Or Have a High Expected Utility)

 

17:15-18:15 Session AI 6 (Modelling)
Session chair:
Meir Kalech

Shlomo Berkovsky, Ariel I. Gorfinkel, Tsvi Kuflik and Larry M. Manevitz. Case-Based to Content-Based User Model Mediation and its Effectiveness

Guy Shani. A Stereotypes-Based Hybrid Recommender System for Media Items

Orna Peleg, Zohar Eviatar, Larry M. Manevitz and Hananel Hazan. Differences and Interactions between Cerebral Hemispheres When Processing Ambiguous Homographs

Friday, June 22, 2007 שישי, ו' תמוז, תשס"ז  

08:30-09:00 Registration 

09:00-10:45 Session AI 7 (Multi-Agent Systems I)
Session chair:
Ariel Felner

Avi Rosenfeld, Sarit Kraus and Charlie Ortiz. Quantifying the Expected Utility of Information in Multi-Agent Scheduling Tasks

Meir Kalech, Gal Kaminka and Michael Lindner. Matrix-Based Representation for Coordination Fault Detection: A Formal Approach

Alex Rogers, Esther David, Terry Payne and Nicholas R. Jennings. An Advanced Bidding Agent for Advertisement Selection on Public Displays

Ido Levy and Claudia Goldman. Distributed On-line Learning Cooperative Multi-Agent System

Avi Rosenfeld, Claudia Goldman, Sarit Kraus and Gal Kaminka. An Agent Architecture for Hybrid P2P Free-Text Search

10:45-11:15 Coffee break 

11:15-12:15 Keynote 4
Session chair:
Martin Golumbic

Keynote: Milind Tambe. Multiagent and Agent-human Teamwork: Hybrid Approaches

  

12:15-13:00 Session AI 8 (Game Theory)
Session chair:
Jeff Rosenschein

Aviv Zohar, Hagay Levin and Michael Schapira. Incentive-Compatible Distributed Routing

Michal Penn, Maria Polukarov and Moshe Tennenholtz. Congestion Games with Load-Dependent Failures: Identical Resources

13:00-14:00 Lunch break 

14:00-14:40 Session AI 9 (Multi-Agent Systems II)
Session chair:
Esther David

Natalie Fridman and Gal Kaminka. Towards a Cognitive Model of Crowd Behavior Based on Social Comparison Theory

Noam Hazon, Paul E. Dunne, Sarit Kraus and Michael Wooldridge. How to Rig an Election

 

14:40-15:40 Keynote 5 (BISFAI closing)
Session chair:
Eyal Amir

Keynote: Michael Wooldridge. Logic for Automated Mechanism Design – A Progress Report