9th Bar-Ilan Symposium on the Foundations of Artificial Intelligence


Bar-Ilan Symposium on the
Foundations of Artificial Intelligence

June 16-19, 1991

Sponsored by the Research Institute for Mathematical Sciences
Center for Applied Logic and Artificial Intelligence (CALAI)
Department of Mathematics and Computer Science
Bar-Ilan University, Ramat Gan, Israel

with additional support from
Israel Ministry of Science and Technology
American Association for Artificial Intelligence (AAAI)

in cooperation with the
Israel Association of Artificial Intelligence
A SIG of Israeli Information Processing Association (IPA)

Martin Golumbic, Symposium Chair
Moshe Koppel, Program Chair
Mori Rimon, Special Track on Theoretical Issues in NLP
Ariel Frank, Organizing Chair

Sunday, June 16, 1991
Special Track on Theoretical Issues in Natural Language Processing

09:00 AM - 09:30 AM: Self Registration

09:30 AM - 10:00 AM: Opening Welcome

10:00 AM - 11:00 AM: Invited Hour Address
Computationally Relevant Properties of Linguistic Systems
Stanley Peters, Stanford University, USA

11:00 AM - 11:30 AM: Coffee Break

11:30 AM - 01:00 PM: 30 minute presentations -- Morning Session

Computational Models for Syntactic Analysis:
Their Fitness for Writing a Computational Grammar for Hebrew
Shuly Wintner and Uzzi Ornan, Technion, Israel

Trends in Knowledge-based Machine Translation
Sergei Nirenburg, Carnegie-Mellon University, USA

Towards a Language Model
Eric Sven Ristad, Princeton University, USA

01:00 PM - 02:00 PM: Lunch Break

02:00 PM - 03:30 PM: 30 minute presentations -- Afternoon Session

Parsing With Constructions
Wlodek Zadrozny, IBM T. J. Watson Research Center, USA,
Alexis Manaster-Ramer, Wayne State University, USA

Contrastive Logic
Nissim Francez, Technion, Israel

A Modal Contrastive Logic
J.-J Ch. Meyer and W. van der Hoek, Free University, Netherlands

03:30 PM - 04:00 PM: Coffee Break

04:00 PM - 05:30 PM: 30 minute presentations -- Late Afternoon Session
Augmenting Formal Semantic Representation for NLP:
The Story of SMEARR
Victor Raskin, Salvatore Attardo and Donalee Hughes Attardo,
Purdue University, USA

A Meaning Postulate Based Inference System for Natural Language
Arendse Bernth and Shalom Lappin,
IBM T. J. Watson Research Center, USA

Coping with Multiple Interpretations during Plan Recognition
Bhavani Raskutti & Ingrid Zukerman, Monash University, Australia