E1AR0002@SMUVM1.BITNET (09/25/86)
AI papers at November 2-6, 1986 FJCC, Dallas Texas Professional Education Program Items John D. McGregor, Building Expert Systems Workshop Loiss Boggess and Julia Hodges, Knowledge-Based-Based Expert Systems Benjamin Wah,Architectures for AI Applications Michael Lebowitz, Natural Language Processing Michael Lebowitz, Machine Learning Paul Bamberg, Speech Recognition:From Isolated Digits to Natural Language Dissertation John Kender and Takeo Kanade, Computer Vision from an AI Perspective Douglas DeGroot, Prolog and Knowledge INfo Processing Harland H. Black, AI Programming and Environments Paper Sessions AI-1, November 4, 1:30 PM to 3:30 PM Panel Session on "Design Issues and Practice in AI Programming" AI-2 Session 1, November 5, 10:00 am to noon, Computer Vision Generic Surface Interpretation Inference Rules and Quasi-Invariants Thomas Binford, Stanford U. An Overview of Computation of Structure and Motion From Images J. K. Aggarwal, University of Texas at Austin Industrial World Vision Robert Haralick, Machine Vision International AI-2 Session 2, November 5, 1:30 PM-3:30PM Survey of Image Quality Measurements I. Abdou and N. Dusaussoy, University of Delaware A Spatial Knowledge Structure for Image Information Systems Using Symbolic Projects S. K. Chang, U. of Pittsburgh, E. Jungert, FFV Elektronic A. B. Document Image Understanding S. N. Srihari, SUNY at Buffalo AI-3 Session 1, November 5 3:45 PM- 5:15 PM, Robotics Living in a Dynamic World Russell A. Andersson, AT&T Bell Labs Error Modeling in Stereo Navigation L. Matthies and S. A. Shafer, Carnegie Mellon U CMU Sidewalk Navigation System Y. Goto, et. al. Carnegie Mellon U. AI-3 Session 2, November 6 10AM - noon Automatic Gasp Planning: An Operation Space Approach M. T. Mason R. C. Brost Carnegie Mellon U. Planning Stable Grasps for Multi-fingered Hands V. Nguyen, MIT Off-line Planning for On-line Object Localization T. Lozano-perez, W.E. Grimson, MIT AI-3 Session 3, Novmeber 6, 1:30 PM - 3:30pm AMLX: A Manufacturing Language/Extended L. Nackman, et al. IBM t. J. Watson Research Center SATYR and the NYMPH: SoftwareDesign in a Multiprocessor for Control Systems J. B. Chen et. al. Stanford University The Meglos User Interface R. Gaglianello and H. Katseff, AT&T Bell Laboratories A Robot Force and Motion Server R. Paul and H. Zhang, University of Pennsylvania AI4, Session 1 November 5, 1:30pm - 3:30 pm, Rule Based Systems The AI-ADA Interface Dr. Jorge Diaz-Herrera, George Mason University The AI-LiISP Environment Dr. Harry Tennant, Texas Instruments The AI PROLOG Environment: SIMPOS- Sequential Inference Machine Programming Drs. H. Ishibashi, T. Chikayama, H. Sato, M. Sato and S. Uchida, ICOT Research Center Software Engineering for Rule-Based systems R. J. K. Jacob and J. N. Froscher, Naval Research Laboratory Session 2: Knowledge Engineering pannel, November 5, 3:45 PM - 5:15 PM Dr. Richard Wexelblat, Philips Lab, Chair Dr. Paul Benjamin, Philips Laboratories Dr. Christina Jette, Schlumberger Well Services Dr. STeve Pollit, Digital Equipment Session 3:, November 6, 1:30PM - 3:30 PM "An Organizational Frameworks for Building Adapative Artificial Intelligence Systems: T. Blaxton and B. Kushner, BDM Corporation "An Object/Task Modelling Approach" Q. Chen, Beijing Research Institute of Surveying and Mapping "A Plant INtelligent Supervisory Control Expert System: M. Ali and E. Washington, Unviersity of Tennessee "Knowledge-Based Layout Design System for Industrial Plants" K. Yoshida, et. al., Hitachi Ltd. Session 4: Prolog and Frame based Methods, November 6, 3:45 pm to 5:15 pm "A Logic-Programming Approach to Frame-Based Language Design" H. H. Chen, I. P. Lin and C. P. Wu, National Taiwan University "Interfacing Prolog to Pascal" K. Magel, North Dakota State University "Knowledge-Based Optimization in Prolog Compiler" N. Tamura, Japan Science Institute, IBM Japan Natural Language Processing, Session 1, Nov. 4 10AM - noon "Communication with Expert Systems" Kathleen R. McKeown, Columbia University "Language Analysis in Not-So-Limited Domains" Dr. Paul S. Jacobs, General Electric, R&D "Providing Expert Systems with INtegrated Natural Language and Graphical Interfaces" Dr. Philip J. Hayes, Carnegie Group Inc. "Pragmatic Processes in a Portable NL System" Dr. Paul Martin, SRI_AI Center Session 2:Nov 4 1:30-3:30pm "Uses of Structured Knowledge Representation Systems in Natural Language Processing" N. Sondheimer, University of Southern California "Unifying Lexical, Syntactic and Semantic Text Processing" K. Eiselt, University of California at Irvine "Robustness in Natural Language Interfaces" R. Cullingford, Georgia Tech "Connectionist Approaches to Natural Language Processing" G. Cottrell, UC of San Diego Panel: Problems and Prospects of NLP NOvember 4, 3:45pm - 5:15pm Chair: Dr. Philip J. Hayes Gene Charniak, Brown University, Dave Waltz Thinking Machines Robert Wilensky, UC at Berkeley, Gary Hendrix, Symantec, Jerry Hobbs, SRI "Parallel Processing for AI" Tuesday November 4 10am - 12noon "Parallel Prodcessing of a Knowledge-Based Vision System" D. I. Moldovan and C. I. Wu, USC "A Fault Tolerant, Bit-Parallel, Cellular Array Processor" S. Morton, ITt-Advanced Technology Center "Implementation of Parallel Prolog onTree Machines" M. Imai, Toyohashi University of Technology "Optimal Granularity of Parallel Evaluation of AND-Trees" G. J. Li and B. W. Wah, University of Illinois at Urbana (some of the following sessions contain non-AI papers that are not listed) Session 2: New Directions in Optical Computing" November 4 1:30pm - 3:30 pm "Optical Symbolic Computing" Dr. John Neff, DARPA/DSO andB. Kushner, BDM Co. VLSI Design and Test: Theory and Practice, Nov 4 10AM - 12 noon A Knowledge-Based TDM Selection System M. E. Breuer and X. Zhu, USC Expert Systems for Design and Test Thursday, November 6, 10AM - 12 noon DEFT, A Design for Testability Expert System J. A. B. Fortes and M. A. Samad Experiences in Prolog DFT Rule Checking G. Cabodi, P. Camurati and P. Prinetto, Politecnico di Torino Object-Oriented Software, Tuesday, November 4 1:30pm - 3:30 pm "Some Problems with Is-A: Why Properties are Objects" Prof. Stan Zdonik, Brown University Computer Chess Techniques "Phased State Space Search" T. A. Marsland, University of Alberta and N. Srimani, Southern Illinois U. "A MultiprocessorChess Program" J. Schaeffer, University of Alberta Panel Discussion Tony Marsland, U. of Alberta, Hans Berliner, CMU, Ken Thompson, AT&T Bell Labs Prof. Monroe Newborn, McGill University, David Levy, IntelligentSoftware, Prof. Robert Hyatt,U. of Southern Mississippi Searching, Nov 6, 10AM - 12 noon "Combining Symmetry and Searching", L. Finkelstein, et al. Northeastern University Fifth Generation Computers I: Language Arch, Nov 5, 10AM - 12 noon Knowledge-Based Expert System for Hardware Logic Design T. Mano et. al. Fujitsu Research Activities on Natural Language Processing of the FGCS Project H. Miyhoshi, et al., ICOT ARGOS/V: A System for Verification of Prolog Programs H. Fujita, et al., Mitsubishi Electric Session 4: "Supercomputing Systems" November 6 10:00am - noon The IX Supercomputer for Knowledge Based Systems T. Higuchi, et al. ETL (There are positions as volunteers available for which you get to attend the conference and get a copy of the proceedings in exchange for helping out one day. If interested call, 409-845-8981. The program is oriented towards graduate students and seniors.) __________________________________________________________________________ Compsac 86, Conference October 7-10 1986, Americana Congress Hotel, Chicago Ill Tutorial: October 6, 1986, 9AM - 5PM Doug DeGroot, Prolog and Knowledge Information Processing October 8 11:00 AM - 12:30 PM Modularized OPS-Based Expert Systems Using Unix Tools Pamela T. Surko, AT&T Bell Labs Space Shuttle Main Engine Test Analysis: A Case Study for Inductive Knowledge Based systems for Very Large Databases Djamshid Asgari, Rockwell International Kenneth L. Modesitt, California State University A Knowledge Based Software Maintenance Environment; Steven S. Yau, Sying-Syang Liu, Northwestern University October 8 2:00PM - 3:30 PM An Evaluation of Two New INference Control Methods Y. H. Chin, W. L. Peng, National Tsing Hua University, Taiwan Learning Dominance Relations inCombinatorial Search Problems Chee-Fen Yu, Benjamin Wah of University of Illinois at Urbana-Champaign, USA Fuzzy Reasoning Based on Lambda-LH Resolution Xu-Hua Liu, Carl K. Chang and Jing-Pha Tsai, University of Illinois at Chicago 4:00-5:30PM Panel Discussion on the Impact of Knowledge-Based Technology Chair: Charl K. Chang, University of Illinois at Chicago Panelists: Don McNamara GE Corporate Research, Kiyoh Nakamura, Fujitsu (Japan), Wider Yu, AT&T Bell Labs, R. C. T. Lee, National Hsing Hua Univeristy, Taiwan Thursday, October 9, 1986, 10:30 - 12:00 PM Special Purpose Computer Systems for Supporting AI Applications Minireview by Benjamin Wah, University of Illinois at Urbana-Champaign __________________________________________________________________________ ACM Conference on Office INformation Systems, October 6-8 1986, Providence Rhode Island October 6, 1986 2:45 - 4:5PM Adaptive Interface Design: A Symmetric Model and a Knowledge-Based Implementatio n Sherman W. Tyler, Siegfried Treu, University of Pittsburgh Automating Review of Forms for International Trade Transactions: A Natural Language Processing Approach V. Dhar, P. Ranganathan October 8, 1986 9:10:15AM Panel on "AI in the Office", Chair Gerald Barber October 8, 1986 10:30 - 12:00 AM Organizational Analysis: Organizational Ecology Modelling Due Process in the Workplace Elihu M. Gerson, Susan L. Star, Tremont Research Institute An Empirical Study of the INtegration of Computing into Routine Work Les Gasser, University of Southern California Offices are Open Systems Carl Hewitt, MIT Artificial Intelligence Lab October 8, 1986 1:00 - 2:30PM Handling Shared Resources in a Temporal Data Base Management System Thomas L. Dean, Brown University Language Constructs for Programming by Example Robert V. Rubin, Brown University Providing Intelligent Assistance in Distributed Office Environments Sergei Nirenburg, Victor Lessor Colgate University/ University of Massachusett __________________________________________________________________________ Fourth Symposium on Empirical Foundations of Information and Software Sciences October 22-24 Atlanta Georgia October 22, 1:30-3:15 PM Expert Systems for Knowledge Engineering: Modesof Development Glynn Harmon, University of Texas, Austin October 23, 10:45 - 12:30 AM Face to Machine Interaction in Natural Language: Empirical Results of Field Studies with an English and German Interface Juergen Krause, Universitaet Regensburg, F. R. Germany October 24, 9:00 - 10:30AM Evaluating Natural Language INterfaces to Expert Systems Ralph M. Weischedel BBN, Cambridge MA Couting Leaves: An Evaluation of Ada, LISP and Prolog Jagdish C. Agrawal, Embry-Riddle Aeronautical University, Daytona Beach, FL Shan Manicam, Western Carolina University, Cullowhee, NC __________________________________________________________________________ The Fourth Chautaqua, October 25-29, 1986, Coronado, California Session 9 Knowledge Based Systems 10:30-12:30PM Knowledge-based Systems Development of CNC Software, Roy Tsui, Software R&D Engineer, Pneumo Precision, INc., Allied Company Towards Resident Expertise in Systems Design Dr. Medhat Karima, CAD/CAM Consultant, Ontario CAD/CAM Center The Engineer as an Expert System Builder Dr. Richard Rosen, Vice President, Product Development, Silogic Inc. An Overview of Knowledge-Based Systems for Design and Manufacturing Dr. Larry G. Richards, Director, Master's Program, University of Virginia