peleg%humus.Huji.AC.IL@MITVMA.MIT.EDU (Shmuel Peleg) (11/01/88)
Fifth Israeli Symposium on Artificial Intelligence
Tel-Aviv, Ganei-Hata`arucha
December 27-28, 1988
Preliminary Program
Tuesday, December 27.
08:00-09:00 Registration
09:00-12:00 Openning Session, Joint with ITIM/CASA
Openning addresses.
Invited Talk: Three dimensional vision for robot applications
David Nitzan, SRI International
12:00-13:30 Lunch Break
13:30-15:15 Session 2.4 Constraints
Invited Talk: An Overview of the Constraint Language CLP(R)
Joxan Jaffar, IBM TJW Research Center
Belief maintenance in dynamic constraint networks
Rina Dechter, UCLA, and Avi Dechter, California State University
13:30-15:15 Session 2.5 Vision
Multiresolution shape from shading
Gad Ron and Shmuel Peleg, Hebrew University
Describing geometric objects symbolically
Gerald M. Radack and Leon S. Sterling, Case Western Reserve University
A vision system for localization of textile pieces on a light table
(short talk)
H. Garten and M. Raviv, Rafael
15:15-15:45 Coffee Break
15:45-17:45 Session 3.4 Reasoning Systems
A classification approach for reasoning systems - a case study in
graph theory
Rong Lin, Old Dominion University
Descriptively powerful terminological representation
Mira Balaban and Hana Karpas, Ben-Gurion University
Bread, Frappe, and Cake: The Gourmet's Guide to Automated Deduction
Yishai A. Feldman and Charles Rich, MIT
15:45-17:45 Session 3.5 Vision
Invited Talk: Cells, skeletons and snakes
Martin D. Levine, McGill University
The Radial Mean of the Power Spectrum (RMPS) and adaptive image restoration
Gavriel Feigin and Nissim Ben-Yosef, Hebrew University
Geometric and probabilistic criteria with an admissible cost structure
for 3-d object recognition by search
Hezekiel Ben-Arie, Technion
17:45-18:15 IAAI Bussiness meeting
Wednesday, December 28.
09:00-10:30 Session 4.4 Computer Aided Instruction
The implementation of artificial intelligence in computer based training
Avshalom Aderet and Sachi Gerlitz, ELRON Electronic Industries
A logical programming approach to research and development of a
student modeling component in a computer tutor for characteristics of
functions
Baruch Schwarz and Nurit Zehavi, Weizmann Institute
Meimad --- A database integrated with instructional system for retrieval
(in Hebrew)
Avigail Oren and David Chen, Tel-Aviv University
09:00-10:30 Session 4.5 Robotics/Search
Invited Talk: Principles for Movement Planning and Control
Tamar Flash, Weizmann Institute
Strategies for efficient incremental nearest neighbor search
Alan J. Broder, The MITRE Corporation
10:30-11:00 Coffee Break
11:00-13:00 Session 5.4 Legal Applications/Language
Towards a computational model of concept acquisition and
modification using cases and precedents from contract law
Seth R. Goldman, UCLA
Expert Systems in the Legal Domain
Uri J. Schild, Bar-Ilan University
Machinary for Hebrew Word Formation
Uzzi Ornan, Technion
What's in a joke?
Michal Ephratt, Haifa University
11:00-13:00 Session 5.5 Expert Systems
Explanatory Meta-rules to provide explanations in expert systems
C. Millet, EUROSOFT, and M. Gilloux, CNET
Declarative vs. procedural representation in an expert system: A perspective
Lev Zeidenberg, IET, and Ami Shapiro IDF
Automatic models generation for troubleshooting
Arie Ben-David, Hebrew University
A general expert system for resource allocation (in Hebrew)
Zvi Kupelik, Ehud Gudes, Amnon Mizels, and Perets Shoval, Ben-Gurion University
13:00-14:30 Lunch Break
14:30-16:00 Session 6.4 Logic Programming
Invited Talk: The CHIP constraint programming system
Mehmet Dincbas, ECRC
Time constrained logic programming
Andreas Zell, Stuttgart University
Automatic generation of control information in five steps
Kristof Verschaetse, Danny De Schreye and Maurice Bruynooghe,
Katoliche Universitet Leuven
14:30-16:00 Session 6.5 Data Structures for Vision
Invited Talk: An Overview of Hierarchical Spatial Data Structures
Hanan Samet, University of Maryland
Optimal Parallel Algorithms for Quadtree Problems
Simon Kasif, Johns Hopkins University
16:00-16:30 Coffee Break
16:30-18:00 Session 7.4 Reasoning and Nonmonotonic Logic
Preferential Models and Cumulative Logics
Daniel Lehmann, Hebrew University
Invited Talk: Baysian and belief-functions formalisms for evidential
reasoning: A conceptual analysis
Judea Pearl, UCLA
16:30-18:00 Session 7.5 Pattern Matching
Scaled pattern matching
Amihood Amir, University of Maryland
Term Matching on a Mesh-Connected Parallel Computer
Arthur L. Delcher and Simon Kasif, The Johns Hopkins University
18:00-18:15 Closing remarks
-------------------------------------
For registration information please contact:
5th ISAI Secretariat
IPA, Kfar Maccabiah,
Ramat Gan 52109
Israel
(972) 3-715772
Or by e-mail:
udi@wisdom.bitnet
hezy@taurus.bitnet