BISFAI'95
The Fourth Bar-Ilan Symposium on
Foundations of Artificial Intelligence
Focusing on
Natural Languages and Artificial Intelligence
Philosophical and Computational Aspects
Commemorating
The Scientific Works of Yehoshua Bar-Hillel (1915-1975)
June 20-22, 1995
Ramat Gan and Jerusalem, Israel
Organized by
Bar-Ilan University, Ramat Gan
and
Hebrew University, Jerusalem
in cooperation with
American Association for Artificial Intelligence
Israel Association for Artificial Intelligence
The Association for Mathematics of Language
Israeli Association for Theoretical Linguistics
Israel Academy of Sciences
Gelbart Institute for Mathematical Sciences
Program Outline:
There are seven invited speakers, plus 24 (including 2 alternate)
contributed papers (selected out of 35 submitted). The contributed
papers are split evenly between NLP (Natural Language Processing) and
general AI issues. With 7 invited speakers and the mix of contributed
papers, we expect to have a highly interesting symposium. The time
slot for an invited talk is one hour (including 5-10 minutes for
questions). The time slot for a contributed talk is 30 minutes
(including 5 minutes for questions).
Tuesday June 20: Morning and afternoon sessions, Bar-Ilan University
(mostly NLP).
Tuesday evening: Reception at Bar-Ilan.
Wednesday June 21: Morning and (short) afternoon sessions, Bar-Ilan
University (mostly NLP).
Wednesday afternoon: Relocating to Jerusalem.
Wednesday evening: Symposium dinner in Jerusalem (at Culinarium).
Thursday June 23: Morning and afternoon sessions, van Leer Institute,
Jerusalem (mostly AI).
-------------------------------------------
Distinguished Invited Speakers:
-- Robert Berwick (MIT)
-- Aravind Joshi (UPENN)
-- Hans Kamp (Stuttgart University)
-- Jack Minker (University of Maryland)
-- Sergei Nirenburg (NMSU)
-- Naftaly Tishby (Hebrew University)
-- Hans Uszkoreit (Saarlandes University)
---------------------------------------------------
Tuesday, June 20
Economics Auditorium (Bar-Ilan)
9:00 - Greetings
9:15 - Morning Session
INVITED TALK: Hans Kamp (Stuttgart University) -
Intentionality in discourse and intentionality in the lexicon.
Jonathan Ginzburg - Quantificational dynamics via dialogue.
Break
Wlodek Zadrozny - Measuring semantic complexity.
Amichai Kornfeld - Reference and computational models of illocutionary acts.
M. Morreau - How to derive conveyed meanings.
1:00 - Lunch
2:00 - Afternoon Session
INVITED TALK: Hans Uszkoreit (Saarlandes University) - (title to be announced)
INVITED TALK: Sergei Nirenburg (NMSU) -
Bar-Hillel and machine translation.
Break
Elliott Macklovitch - The future of MT is now and Bar-Hillel was
(almost entirely) right.
Bruce Krulwich, Chad Burkey - Intelligent talk-and-touch interfaces
using multi-modal semantic grammars.
5:30 - BISFAI-95 Reception (at Bar-Ilan). We will honor Dr. Sarit Kraus,
Bar-Ilan University, who was granted the 1995 IJCAI Computers and
Thought Award.
Wednesday, June 21
Economics Auditorium (Bar-Ilan)
9:00 - Morning Session
INVITED TALK: Robert Berwick (MIT) -
It's the exceptions that prove the rules.
W. Maass, Gy. Turan - On learnability and predicate logic.
Richard Scherl - A solution to the frame problem for the situation
calculus with sensing, indexical time, and indexical knowledge.
Break
Charles B. Callaway, James C. Lester - Robust natural language generation
from large-scale knowledge bases.
Ido Dagan, Sean P. Engelson - Selective sampling in natural language
learning.
Yaacov Choueka, Yoni Ne'eman - "Nakdan-T", a text vocalizer for modern
Hebrew.
1:00 - Lunch
2:00 - Afternoon Session
INVITED TALK: Aravind Joshi (UPENN) -
Lexicalization and categorial grammars:
A story Bar-Hillel might have liked.
Shalom Lappin - Logicality and the determination of syntactic
categories in natural language.
C. Martin-Vide, A. Mateescu, J. Miquel-Verges, Gh. Paun - Internal
contextual grammars: Minimal, maximal, and scattered use of selectors.
4:00 - Relocating to Jerusalem
7:30 - BISFAI-95 Dinner (in Jerusalem) -
Bar-Hillel's family, ex-students and friends will participate in the
symposium dinner - some presentations and recollections on the man and
his work will be presented.
Thursday, June 22
van Leer Institute (Jerusalem)
9:00 - Morning Session
INVITED TALK: Naftaly Tishby (Hebrew University) -
The role of machine learning in natural language processing.
Moshe Shoham, Mark Meltser, Larry Manevitz - Constructive uniform
approximation of differential vector-functions by neural network models.
Michael D. Vose - Modeling alternate selection schemes for genetic algorithms.
Break
Mandhura Nirkhe, Sarit Kraus, Donald Perlis - Thinking takes time:
a modal active-logic for reasoning in time.
W. van der Hoek, B. van Linder, J.-J. Ch. Meyer - Group knowledge isn't
always distributed.
Matias Alvarado, Gustavo Nunez - From ambiguous knowledge and undefined
information to knowledge: a three-valued logic application.
1:00 - Lunch
2:00 - Afternoon Session
INVITED TALK: Jack Minker (University of Maryland) -
disjunctive deductive databases: semantics and updates.
Chuen-Hsuen Jeff Ho, Lawrence Henschen - Automated reasoning with
extended linking and left merging.
Break
Jacques Calmet, Karsten Homann - Distributed Mathematical Problem Solving.
Pierre Robineau - Programming repetitive tasks by example: An inductive
logic programming approach.
Ofer Arieli, Arnon Avron - A bilattice-based approach to recover
consistent data from inconsistent knowledge-bases.
Alternate papers (not scheduled):
Larry Manevitz, Malik Yousef, Dan Givoli - Grid generation using a
self-organizing neural network.
Valery Cherniaev - Intelligent systems: unified approach to knowledge
representation, analysis and implementation based on fuzzy petri nets.
---------------------------------------------------
BISFAI'95 Hotel Arrangements:
The first two days of BISFAI-95 will be held at the Bar-Ilan Campus in
Ramat Gan (June 20-21); the symposium dinner (evening June 21) will
be held in Jerusalem and the third day of sessions (June 22) will also
be held in Jerusalem at the van Leer Institute. Ramat Gan is a suburb
of Tel Aviv; travel time to Jerusalem is about 50 minutes.
Transportation on Wednesday June 21 from the Bar-Ilan campus to
Jerusalem will be arranged, one way only. Therefore, some visitors may
wish to switch hotels from Ramat Gan to Jerusalem on June 21.
We have reserved several blocks of hotel accommodations.
Reservations must be made directly with the agent:
Sharon Tours, attn: Ms. Denyse Kirsch
P.O.Box 2605, Ramat Gan, Israel
Tel: 972-3-673-8144 FAX: 972-3-672-4365 Telex: 32157
while mentioning the Bar-Ilan Symposium BISFAI'95.
Accommodations in Ramat Gan
Kfar Hamaccabia Hotel in Ramat Gan is a first-class hotel that also
has sports facilities available gratis for the Symposium participants.
Bar-Ilan University is a short ride, or a half-hour walk, from this
hotel. The room rate is $70 single or $86 double (including
breakfast), (or $65 / $80 for a minimum of three night stay.)
Accommodations in Jerusalem
The Windmill Hotel in Jerusalem is a first class hotel (no pool) and
the Laromme Hotel in Jerusalem is a deluxe hotel (with pool). The van
Leer Institute is a short ride, or a 15 minute walk, from both hotels.
The room rate at the Windmill Hotel is $75 single or $85 double
(including breakfast), the room rate at the Laromme Hotel is $162
single or $180 double (including breakfast).
All prices are payable in foreign currency or foreign credit card
directly to Sharon Tours. Israeli residents or those paying in
Israeli shekels must add 17% VAT. Hotel space may be limited, so you
are advised to make reservations early. Sharon Tours will be glad to
make whatever other travel or touring arrangements you may require.
----------------------------------------------------------------------
Airport Transportation and Tour Arrangements
If you so desire, the Symposium will arrange to have you met at the
airport, in which case you should contact Ms. Denyse Kirsch of Sharon
Tours as soon as possible. She can also help you with your personal
requests for any touring services in Israel, pre- or post-Symposium
tours, car rental, etc. The phone numbers in Israel at which she can
be contacted are (972)-3-6738144/5/6 or FAX (972)-3-724365; telex
32157. For those not being met at the airport, the usual method of
transportation to and from the airport is by taxi. At the taxi stand
the controller will write down the proper price, which is roughly $20
to Kfar Hamaccabia, Ramat Gan.
Transportation to Lectures:
Bar-Ilan is a half-hour walk or a short bus ride from Kfar Hamaccabia.
Number 43 is the most convenient. Number 30 runs every 12 minutes
until 11:00 pm.; one must cross the bridge over the highway to
Bar-Ilan. Numbers 56 and 168 express (not regular) can also be used.
See the hand-drawn map. The bus numbers to Bar-Ilan from Tel-Aviv are
56, 64, 68, 70, 168.
Meals:
Breakfast is included at Kfar Hamaccabia. On the Bar-Ilan campus
there are two restaurants, one meat and one dairy. For supper there
are various light restaurants across the street from the main entrance
of Bar-Ilan, and a full range of restaurants are available in
Tel-Aviv. The bus numbers to Tel-Aviv and its central bus station are
56, 68, 70; and bus 64 to the area of Dizengoff Center.
Currency Exchange:
Currency can be exchanged at the Bank Mizrachi to the right of the
main gate on entering Bar-Ilan, and at Bank Discount across from the
main entrance.
E-mail and mail:
E-mail messages to Symposium participants should be sent to the
Symposium organizers: bisfai@bimacs.cs.biu.ac.il
There is a post office in the Main Administration Building at
Bar-Ilan.
Telephone Numbers:
Medical emergencies: Magen David Adom: Countrywide - 101; Tel-Aviv
area: 57933333 Department of Mathematics and Computer Science,
Bar-Ilan: (03) 5318407/8
----------------------------------------------------------------------
Registration:
All BISFAI '95 sessions are open to the public. In order to plan for
enough refreshments, please register (see form at end) by June 18.
Regular registration at $50.00 (150 NIS) includes the Proceedings and
Dinner. Limited registration at $15.00 (45 NIS) includes only the
Proceedings. Extra dinner tickets at $35.00 (105 NIS) may be
purchased in advance, or at the symposium on a space available basis.
Students, new immigrants and others who wish to attend sessions
without receiving the Proceedings are welcome.
For the Proceedings, we are requesting the authors of the contributed
papers to send a camera-ready manuscript of up to 10 pages to the
address below.
The address for sending manuscripts:
Prof. E. Shamir
Institute of Computer Science
Hebrew University
Jerusalem
----------------------------------------------------------------------
Notice: Two other workshops that may be of interest will be held
immediately before BISFAI'95:
1. Special Workshop on Abstract Interpretation of Logic Languages
Eilat, Israel (June 18-19, 1995)
Sponsored by Ben-Gurion University
Contact: codish@black.bgu.ac.il (Michael Codish)
2. Israel Association for Theoretical Linguistics, 11th Annual
Conference.
Tel Aviv, Israel (June 18-19, 1995)
Contact: landman@ccsg.tau.ac.il (Fred Landman)
----------------------------------------------------------------------
Looking forward to seeing you at BISFAI'95 in Israel.
Martin Golombic Moshe Koppel Eli Shamir Ariel Frank
Ariel J. Frank
Deputy Chairperson, Dept. of Mathematics and Computer Science
Bar Ilan University, Ramat Gan, Israel 52900
Tel: (972-3-) 5318407/8, Fax: (972-3-) 5353325
INTERNET: bisfai@bimacs.cs.biu.ac.il
----------------------------------------------------------------------
Registration Form
Please return promptly to:
Dr. Ariel Frank, Dept. of Mathematics and Computer Science
Bar-Ilan University, Ramat Gan 52900, Israel
or send to: bisfai@bimacs.cs.biu.ac.il
Regular registration @ $50 (150 NIS) _____
Limited registration @ $15 (45 NIS) _____
Extra dinner tickets @ $35 (105 NIS) _____
Total: _____
Checks should be made payable to "Bar-Ilan University"
or pay in cash at registration time
Name:
Telephone:
FAX:
Email:
Affiliation Address:
***********************************************************
Daniel Radzinski Tovna Translation Machines Jerusalem, Israel dr@tovna.co.il