---------------------------------------------------------------------------- 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 Bar-Ilan University o Ben-Gurion University o AAAI: Student subsidies o Israeli Ministry of Science 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, Esther David and 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