🚀 go-pugleaf

                             BISFAI-93
                     Bar-Ilan Symposium on the
               Foundations of Artificial Intelligence

                          June 15-17, 1993

               Mintz Auditorium (Education Building)


         Sponsored by
 Abraham Gelbart Research Institute for Mathematical Sciences
 Center for Applied Logic and Artificial Intelligence (CALAI)
 Bar-Ilan University, Ramat Gan, Israel

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

         in cooperation with the
 Israel Association of Artificial Intelligence (IAAI)
 European Coordinating Committee for Artificial Intelligence (ECCAI)

 Martin Golumbic, Symposium Chair
 Sarit Kraus, Program Chair
 Ronen Feldman, Organizing Chair

=========================================================================

                BISFAI-93   Preliminary Program

    Invited Speakers:
                        Robert Aumann (Hebrew University)
                        Barbara Grosz (Harvard University)
                        Vladimir Lifschitz (University of Texas)
                        Jeffrey Rosenschein (Hebrew University)


                             Tuesday June 15
8:30-9:00 Self Registration
9:00-9:10 Opening
9:10-10:10 Invited lecture: Prof. Robert Aumann (Hebrew University)
                            Cooperation and Short Memories
10:10-10:40 Coffee Break

10:40-11:35 Foundation

Intelligence without Robots (A Reply to Brooks),
Oren Etzioni University of Washington, USA

Is Connectionism Necessary
Scott Fertig, David Gelernter, Yale University, USA

11:35-1:00pm Distributed AI

Planning that Exploits the Presence of Multiple
Agents through the Use of Subgoals
Eitan Ephrati and Jeff Rosenschein, Hebrew University, Israel

The Updating of Beliefs in Negotiations Under Time Constraints with
Uncertainty
Sarit Kraus, Bar-Ilan Univ., Israel
Jon Wilkenfeld, University of Maryland, USA

Rational Coordination and Communication Among Autonomous Agents
Piotr Gmytrasiewicz, Hebrew University, Israel,
Ed Durfee, University of Michigan, USA


1:00pm-2pm Lunch

2pm-3pm Invited lecture: Jeffrey Rosenschein, Hebrew University
                        Agents and Consensus

3:00-3:50 Automated Reasoning
AI Planning: Where the winds plan to blow; toward the utility-based
conditional planning under uncertainty
David Einav, Michael FehlingStanford University, USA
Theodore Linden Hamilton, Inc, USA

A Heuristic for Choosing Heuristic
Shmuel Ur, Sigalit Ur, CMU, USA


3:50-4:20 Coffee Break

4:20-5:35 Automated Reasoning

Computational Mereology: A Prolegomenon Illuminated by Study of Part
of Relations for Multimedia Indexing
Wlodek Zadrozny, M. Kim, IBM Watson, USA

Searching for Concepts in complex structured data
S. Unseld, Austrian Research Institute for AI, Vienna, Austria

Structured proof procedures
A. Armando, E. Giunchiglia and P. Pecchiari
Universita' di Genova, Italy


Reception
=========================================================================

            Wednesday June 16

9-9:30 Self Registration
9:30-10:30 Invited lecture: Prof. Vladimir Lifschitz, Univ. of Texas
                            Restricted Monotonicity
10:30-11:00 Coffee Break

11:00- 12:30pm Nonmonotonic Reasoning

Two Approaches to Nonmonotonic Equality
Ariel Cohen, CMU, USA and J.A. Makowsky, Technion, Israel

Another Perspective of Default Reasoning
Daniel Lehmann, Hebrew University, Israel

Nonmonotonic Consequences of Default Model Theory
G-Q Zhang and W. Rounds, University of Michigan, USA


12:30pm-1:30pm Lunch

1:30-2:20pm Invited lecture: Vladimir Lifschitz, University of Texas at
Austin High-Level Languages for Describing Action and Change

2:20-3:10  Reasoning

Non-Omniscient belief as context-based reasoning, F. Giunchiglia,
L. Serafini, E. Giunchiglia, M Frixione, University of Genoa, Italy

Mira Balaban The F-logic Approach for Description Languages
Mira Balaban, Ben-Gurion University, Israel

3:10:3:40 Coffee Break

3:40-4:40 Knowledge Bases

Controlling Inference Using the Query-Tree
Alon Levy, Stanford, USA
Yehushua Sagiv, Hebrew University, Israel

Constrained Consequence Generation
Sylvie Cazalens and Robert Demolombe, ONERA/CERT, France

Evening: Social Event

==================================================================
              Thursday June 17

9-9:30 Self Registration

9:30-10:30 Invited lecture: Prof. Barbara Grosz, Harvard University
Modelling Collaborative Plans for Discourse Processing
10:30-11:00 Coffee Break

11:00- 1pm Natural Language

Two Approaches to Matching in Example-Based Machine Translation
Sergei Nirenburg, C. Domashnev, D. Grannes, CMU, USA


Representing and reasoning about quantification: a linguistics approach,
Yuen Lin and Robin Fawcett, University of Wales College of Cardiff, England

Efficient Generalized LR Parsing of World Lattices
Alon Lavie and Masaru Tomita, CMU, USA

Syntax and Lexical Statistics in Anaphora Resolution
Ido Dagan, AT&T Bell Labs, USA, John Justeson, State Univ. of NY, USA,
Shalom Lappin, IBM Watson, USA,
Herbert Leass, IBM Germany and Amnon Riba, IBM Haifa


1pm -2pm Lunch

2pm-4:05 Learning

Symbolic and Subsymbolic Learning with Structured Representations,
Vasant Honavar, Iowa State University, USA

The relevance of bias in theory revision
Ronen Feldman, Moshe Koppel, Bar-Ilan University, Israel,
Alberto Segre, Cornell University, USA


On-Line learning and Error Correction
S. P. Engelson, Yale University, USA

Inductive Learning in Justice Domain with Genetic Algorithms
Gilles Venturini, Universite' de Paris-Sud, Orsay, France

What can we learn from genetic algorithms: a new perspective
for search methods
Gusz Eiben, Free University Amsterdam, The Netherlands

4:05-4:30 Coffee Break

4:30- 5:45 Application

My Computer Loves to Read About Violence,
Yakov Kerner, Uri Schild, Bar-Ilan University Israel

AI Tools for the Finite Element Method:
Heuristic Node Numbering in Meshes and Self-Organizing Mesh Creation
Larry Manevitz, Dan Givoli, Micha Margi and Malekh Yusuf
Haifa University and Technion, Israel

Multi-resolution multi-layer feature maps
Tzvi Tabakman and Iaakov Exman, Hebrew University, Israel

==================================================================

REGISTRATION

There is no fee for the symposium.  For further information, contact
    Dept. of Math and Computer Science, Bar-Ilan University, Ramat-Gan, Israel
    email: feldman@bimacs.cs.biu.ac.il
    Tel:   972-3-531-8407   FAX: 972-3-344622

ACCOMODATIONS

We have reserved a block of hotel accommodations at the
Kfar Hamaccabia Hotel in Ramat Gan, a first-class hotel which also
has sports facilities available gratis for the Symposium participants.
The Symposium will take place at the University, which is a short ride,
or a half-hour walk, from the hotel.  The room rate is $60 single or
$75 double (including breakfast), (or $57 / $68 for a minimum of
three night stay.)  Reservations must be made directly with the agent:

     Sharon Tours, attn: Ms. Dennis Kirsch
     P.O.Box 2605,  Ramat Gan, Israel
     Tel: 972-3-738144     FAX: 972-3-724365    Telex: 32157

and mentioning the Bar-Ilan Symposium.

ANOTHER CONFERENCE ANNOUNCEMENT
    During the week immediately preceeding BISFAI93, the
second Israel Symposium on Theory of Computing and Systems (ISTCS93)
will take place in Netanya, Israel (June 7th-9th, 1993).
For additional information contact Shoshi Fox,
Secretary of ISTCS by e-mail istcs93@cs.technion.ac.il,
phone (04) 294-314, or fax (04) 294-353.