Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!godot.cc.duq.edu!ddsw1!news.kei.com!wang!news
From: shaulm@csa.cs.technion.ac.il (Shaul Markovitch)
Subject: The 11th Israeli Symposium on Artificial Intelligence
Organization: Technion, Israel Inst. Tech., Haifa
Date: Sun, 25 Dec 1994 17:19:34 GMT
Message-ID: <D1DMsn.7Go@discus.technion.ac.il>
Sender: news@wang.com
Lines: 172


     The 11th Israeli Symposium on Artificial Intelligence

The 11th Israeli Symposium on Artificial Intelligence will take place on
the 17th and 18th of January, 1995.  On the 17th, we will have a
full-day workshop at the Hebrew University in Jerusalem.  This workshop
will include technical talks about various aspects of AI.  The second
half day of the workshop will be devoted to Machine Learning, and is
co-sponsored by Bar-Ilan University.  On the 18th of January we will
have a half day AI track at the big conference of the Israeli Association
for Information Processing that takes place at the Binyaney Ha'uma
convention center in Jerusalem.



The workshop is free but you are asked to register by sending
a short email message to shaulm@cs.technion.ac.il with your name,
organization and email address.
The day in the big conference costs about $110 (including lunch).
Registration can be done on-site at the day of the conference,
or by contacting the address below.

For hotel or other travel arrangements, please contact directly:

    International Travel & Congresses LTD
    P.O. Box 29313; 61292 Tel-Aviv, Israel
    Tel: +972-3-510 2538
    fax: +972-3-660 604 (+972-3-516-0604 as of 1/1/95)

    


            Technical Workshop Program

The workshop will take place on January 17th, at the 
Computer Science Department in Givat-Ram Campus
of the Hebrew University in Jerusalem.



08:30-08:45    Opening

08:45-09:15    I. Stephan 
                    An Efficient Search Strategy 
                    for Full First Order Logic Programming

09:15-09:45    B. Stilman
                    Linguistic Geometry for Autonomous Navigation

09:45-10:15    R. Davidson, M.R. Fehling 
                    Representing Structure in Probabilistic Actions

10:15-10:45    Break

10:45-11:15    P. Quaresma de Almeida
                    Implementing a Deduction System for a Guarded 
                    Commands Procedural Language Using a Generic 
                    Theorem Prover

11:15-11:45    G. Solotorevsky, E. Gudes
                    Algorithms for Solving Distributed Constraint 
                    Satisfaction Problems (DCSPs)

11:45-12:15    R.C. Kohout, J.A. Hendler et al
                    Supporting Intelligent Real-Time Control:
                    Dynamic Reaction on the Maruti Operating System

12:15-12:45    T. Panayiotopoulos, K.T. Frantzi, C.D. Spyropoulos
                    A Framework of Temporal Truth for a 
                    Temporal Reference Language

12:45-14:00    Break

             Special Half Day Session on Machine Learning
             co-sponsored by Bar-Ilan University and the 
              France-Israel Binational Science Fund



14:00-15:00    Y. Kodratoff
                    Making symbolic the sub-symbolic (Invited Talk)

15:00-15:15    Break

15:15-15:45    S. Matwin, D. Charlebois, D.G. Goodenough
                    Training Agents in a Complex Environment

15:45-16:15    Alon Levy
                    Information Gathering Agents (Invited Talk)

16:15-16:45    Brian Kettler, James Hendler
                    Evaluating CaPER: A Case-Based Planning System

16:45-17:15    Break

17:15-17:45    Dan Geiger
                    A characterization of Dirichlet distributions
                    and its implication to learning probabilistic 
                    networks (Invited Talk)

17:45-18:15    Daniel Lehmann,
                    New Results on Theory Revision (Invited Talk)

18:15-18:45    B. van Linder, W. van der Hoek J.-J. Ch. Meyer
                    The Dynamics of Default Reasonings: 
                    Acting in the Absence of Complete Information

18:45-19:15    J.J. Sarbo, J.I. Farkas
                    Knowledge Representation and Acquisition by Concept 
                    Lattices

19:30          Israeli AI Dinner (optional), Details at a later date

              


                         AI Track Program



On the 18th of January, we will have two morning AI sessions
in the IPA's 29th Convention.  For completeness we list
the program for the whole day.

                         AI Session I

09:30-10:15    Yves Kodratoff, Univ. Paris Sud (Orsay),
                   Industrial Applications of Machine Learning

10:15-11:00    James Hendler, University of Maryland,
                   High Performance Artificial Intelligence

11:00-11:30    Coffee break


                         AI Session II

11:30-12:15    Jeffrey Rosenschein, Hebrew University
                   Consenting Agents: Negotiation Mechanisms 
                   for Multi-Agent Systems

12:15-13:00    Uzzi Ornan, The Technion
                   A Complete and Accurate Hebrew Index Based on
                   Generated Phonemic Text (the talk is in Hebrew)

13:00-14:00    Lunch break

14:00-14:45    Paul Gilling, Editor, Computer World
                   Driving without headlights: The Promise and 
                   Perils of the Information Superhighway

14:45-15:30    Moderator: Dani Dolev
                   Panel session.  Design Centers in Israel: 
                   Good?  For Whom?

15:30-16:00    Coffee break

16:00-16:45    Randall Munson, Creative Productions,
                   Success through creativity

16:45-17:30    Shimon Peres,  Minister of Foreign Affairs
                   Peace Aspects in the Middle East - 
                   in a Borderless World

-- 

==============================================
Shaul Markovitch, Computer Science Department
Technion - Israel Institute of Technology
Haifa 32000, Israel.       (TEL. 972-4-294346)
Email :   shaulm@cs.technion.ac.il
==============================================
