BISFAI 2001 Program

BAR-ILAN INTERNATIONAL SYMPOSIUM
ON THE FOUNDATIONS OF ARTIFICIAL INTELLIGENCE

HONORING: YAACOV CHOUEKA

June 25-27, 2001
Ramat-Gan, Israel

Click here for conference information!

Conference Program
Monday, June 25

Monday Morning (9:00-9:30): REGISTRATION

Monday Morning (9:30-12:30): MODELING

L. M. Manevitz & S. Marom, The Emergence of Time from Structure in Models of Neuronal Activity
C. Avin & R. Ben-Eliyahu-Zohary, Algorithms for Computing X-Minimal Models

Coffee Break

Invited speaker: Daphne Koller, Learning Probabilistic Models from Relational Data

O. Shehory & A. Sturm, Evaluation of Modeling Techniques for Agent-Based Systems

Lunch Break (12:30-14:00)

Monday Afternoon (14:00-17:30): FORMAL METHODS

Invited speaker: Moshe Y. Vardi, Automated Verification = Graphs, Automata, and Logic

Coffee Break

M. A. Harris, Counting Satisfiable k-CNF Formulas
A. Hayrapetyan & R. Verma, On the Complexity of Confluence for Ground Rewrite Systems
E. Beffara, O. Bournez, H. Kacem & C. Kirchner, Verification of Timed Automata using Rewrite Rules and Strategies
U. Bonollo, R. van der Meyden & L. Sonenberg, Knowledge-Based Specification: Investigating Distributed Mutual Exclusion

Tuesday, June 26

Tuesday Morning (9:00-12:30): NATURAL LANGUAGE

M. Carenini & M. Vanocchi, Managing Documents through the BRAIN Technology
E. Nissan, A Formalism for Misantonyms

Coffee Break

Invited speaker: Oliviero Stock, Language-Based Interfaces and their Application to Cultural Tourism

Y. Z. Feinstein & N. Friedman, Dynamic Bayesian Network Based Text Summarization
M. Elhadad, Y. Netzer, R. Barzilay & K. McKeown, Ordering Circumstantials for Multi-Document Summarization

Lunch Break (12:30-14:00)

Tuesday Afternoon (14:00-15:30): KEYNOTE EVENT

Keynote speaker: Yaacov Choueka, Languages, Information and Intelligence, or Wheels Within Wheels: From the Streets of Cairo to BISFAI 2001

Tuesday Evening(20:00- ): BANQUET IN JERUSALEM

Guest speaker: Aviezri Fraenkel, Integrating and Rejuvenating Old and New Gems

Wednesday, June 27

Wednesday Morning (9:00-12:30): AGENTS & LEARNING

C. V. Goldman, S. Kraus & O. Shehory, Agent Strategies: For Sellers to Satisfy Purchase Orders, for Buyers to Select Sellers
R. Azoulay-Schwartz & S. Kraus, Stable Strategies for Sharing Information among Agents
I. Yarom, C. V. Goldman & J. S. Rosenschein, Pricing and Manipulation of Information in E-Marketplaces

Coffee Break

L. Manevitz, A. Bitar & D. Givoli, Neural Network Time Series Forecasting of Finite-Element Mesh Adaptation
R. Bekkerman, R. El-Yaniv, N. Tishby & Y. Winter, On Feature Distributional Clustering for Text Categorization
C. Domshlak, R. I. Brafman & E. S. Shimony, Preference-Based Configuration of Web Page Content

Lunch Break (12:30-14:00)

Wednesday Afternoon (14:00-17:00): SEARCH

Invited speaker: Jieh Hsiang, On Fine-Grain Image Retrieval: A Case Study on Butterflies

A. Felner, Finding Optimal Solutions to the Graph-Partitioning Problem with Heuristic Search

Coffee Break

T. Rosen & S. E. Shimony, Learning Rule-Based Local Structure in Probability Models
J. E. Ratsaby, Meeting the Challenges of E-Business by Distributed Artificial Intelligence

System Demonstrations

D. Belostotski, D. Kravtsov, A. Shemshurenko, M. Sobol, A. N. Trahtman & Sh. Yakov, A Package for Checking Some Star-Free Languages