peleg@humus.huji.ac.il (Shmuel Peleg) (11/10/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