BISFAI-99 Program (Preliminary)

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

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

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.