CALL FOR PARTICIPATION
BISFAI-99
June 23-25, 1999
----------------------------------------------------------------------------
BAR-ILAN SYMPOSIUM
ON THE FOUNDATIONS OF ARTIFICIAL INTELLIGENCE
THEME: BRIDGING THEORY AND PRACTICE
----------------------------------------------------------------------------
Bar-Ilan University is pleased to announce its sixth biennial Symposium on
the Foundations of Artificial Intelligence, to be held on June 23-25, 1999
in the Beck Auditorium, Bar-Ilan University, Ramat Gan, Israel.
Registration is open to all scientists, researchers and students.
Please register in advance, although registration on site is also possible.
Full registration (400NIS) includes all events, lunches and the Festive Dinner.
A one day registration (100NIS) is also available, and there is a highly
subsidized student registration. Registration is by mail, email or FAX.
In keeping with this year's theme, the symposium will focus on
demonstrations of unique and innovative artificial intelligence
applications and substantial research papers in all areas of artificial
intelligence. Detailed information on the program, registration and events
can be found below and on the BISFAI website: http://www.cs.biu.ac.il/~bisfai
INVITED HOUR SPEAKERS:
Leo Joskowicz, Hebrew University
Reid Simmons, Carnegie Mellon University
Stan Rosenschein, Stanford University
Nahum Dershowitz, Tel Aviv University
SPONSORS:
* Major Corporate Sponsor
o NDS Technologies Israel
* Major Academic, Organizational and Governmental Sponsors
o The Gelbert Institute for Mathematical Sciences
o Ben-Gurion University
o Bar-Ilan University
o AAAI: Student subsidies.
For further questions, email: bisfai@cs.biu.ac.il .
Martin Charles Golumbic, Bar-Ilan University, Symposium Chair
Leora Morgenstern, IBM T.J. Watson Research Center, Program Co-chair
Solomon Eyal Shimony, Ben-Gurion University, Program Co-Chair
----------------------------------------------------------------------------
----------------------------------------------------------------------------
BISFAI-99 Program (Preliminary)
All sessions will be held in the Beck Auditorium at Bar-Ilan University.
----------------------------------------------------------------------------
BISFAI will be held from Wednesday June 23 through Friday June 25 in the
Beck Auditorium on the campus of Bar-Ilan University. Lunches will be held
on Wednesday and Thursday and Festive Dinner on Thursday evening in Old Jaffa.
Preliminary program and schedule is also available online at the
BISFAI website http://www.cs.biu.ac.il/~bisfai .
Wednesday, June 23, 1999
Registration: 8AM-9AM
Morning Sessions: 9AM - 1PM
Opening remarks: 9AM-9:15AM
Paper Session 1: Search
* Optimal Sequencing of Contract Algorithms, Shlomo Zilberstein, Francois
Charpillet, and Philippe Chassaing
* Towards efficient metaquering, Rachel Ben-Eliyahu Zohary and Ehud Gudes
* Searching Stochastically-Generated Multi-Abstraction Level Design
Spaces, Louis Steinberg
Coffee Break
* Solving Employee Timetabling Problems by Generalized Local Search,
Andrea Schaerf and Amnon Meisels
* KBFS K-Best-First Search, Ariel Felner, Richard E. Korf, and Sarit
Kraus
* A Heuristic Search Algorithm for Markov Decision Problems, Eric Hansen
and Shlomo Zilberstein
* A Predicate-logic Version Method for Cost-based Hypothetical Reasoning
Employing an Efficient Propositional-level Reasoning Mechanism, Mitsuru
Ishizuka, Kazuya Tanahashi and Helmut Prendinger
Lunch break: 1-2:30PM
Afternoon Sessions: 2:30PM - 5:40PM
INVITED TALK: Finding and correcting bugs in mechanical designs, Leo Joskowicz
Coffee Break
Paper Session 2: Distributed AI
* SOCIAL ROBOTICS: Reality and Virtuality in Agent-Based Robotics, Brian
Duffy
* Distributed Diagnosis by Agents Using Ontology, Ioan Alfred Letia and
Aurel Netin
* Socially Conscious Decision-Making, Alyssa Glass and Barbara J. Grosz
* The Distinction between Subject-to Object Communication and
Subject-to-subject Communication ant its Relation to Three Age-Old
Problems, Gideon Arieli
----------------------------------------------------------------------------
Thursday, June 24, 1999
Morning Sessions: 9AM - 12:30PM
Registration: 8AM-9AM
INVITED TALK: Creating Reliable Autonomous Systems, Reid Simmons
Coffee Break
Paper Session 3: Applications
* Agents for Information Broadcasting , Sarit Kraus
* Detecting Sub-Topic Correspondence through Bipartite Term Clustering,
Zvika Marx, Ido Dagan, and Eli Shamir
* Word Prediction and Clustering, Yair Even-Zohar, Dan Roth, and Dmitri
Zelenko
* Decision Planning Knowledge Representation Framework: A Case-Study,
Michal Pechoucek et al
Lunch break: 12:30-2PM
Afternoon Sessions: 2PM - 6PM
INVITED TALK: Trading semantic transparency for behavioral robustness in
robotic agents, Stan Rosenschein
Coffee Break
Paper Session 4: Applications and demos
* EMA - AN EMPLOYMENT AGENT WITH A SPEECH MODULE, Matjaz Gams, Tomaz Sef,
and Ales Dobnikar
* Computational models for building discretionary legal knowledge based
systems, Yaakov HaCohen Kerner, Uri Schild, and John Zeleznikow
* Construction of an expertise model for optimized planning of quality
control route sheets, Chouraqui Eugene and Portafaix Valerie
Coffee Break
* Lightweight Document Matching and Text Mining, S. Weiss, B. White, C.
Apte, and F. Damerau
* An Application of Int. Info. Agent to Distance and Open Learning,
Lingling et. al.
Festive Dinner in Old Jaffa: 8PM - 10PM
----------------------------------------------------------------------------
Friday, June 25, 1999
Morning Sessions: 9AM - 12:30PM
INVITED TALK: The power of simplification: a survey on rewriting in theorem
proving, Nahum Dershowitz
Coffee Break
Paper Session 5: Non-Monotonic Reasoning
* Credulous nonmonotonic inference, Alexander Bochman
* An Algorithm for Computing the Maximum Entropy Ranking for Variable
Strength Defaults , Rachel A. Bourne and Simon Parsons
* First-order autoepistemic logic, Michael Kaminski and Guy Rey
* Declarative Formalization of Reasoning Strategies: a case study on
heuristic nonlinear planning, J. Sierra
----------------------------------------------------------------------------
Regular papers, as well as demo papers, will be allocated approximately 25
minutes plus 5 minutes for questions (depending on BISFAI-99 program timing
constraints). Demo papers will include a demonstration of the application.
----------------------------------------------------------------------------
----------------------------------------------------------------------------
BISFAI REGISTRATION FORM
----------------------------------------------------------------------------
Please send by email to: bisfai@cs.biu.ac.il or by FAX: +972-3-5353325,
or by mail to: BISFAI'99, Dept. of Mathematics and Computer Science,
Bar-Ilan University, Ramat-Gan, Israel. (Fees can be paid at the door.)
----------------------------------------------------------------------------
Name:
Affiliation:
Email:
Indicate your type of registration:
___ Full registration, 400NIS (including two lunches and festive dinner)
___ One day Wed. June 23 registration, 100NIS (including lunch)
___ One day Thur. June 24 registration, 100NIS (including lunch)
___ One day Fri. June 25 registration, free
FULL-TIME STUDENTS:
___ Full-time student registration, 100NIS (including two lunches and festive dinner)
___ One day Wed. June 23 STUDENT registration, 20NIS (including lunch)
___ One day Thur. June 24 STUDENT registration, 20NIS (including lunch)
___ One day Fri. June 25 STUDENT registration, free
___ Extra Guests for Festive Dinner, 8PM Thurs. June 24, 200NIS