E1AR0002@SMUVM1.BITNET.UUCP (03/27/87)
The Society for Computer Simulation Eastern Simulation Conferences April 6-9, 1987, Orlando, Florida AI and Simulation at Johnson Space Center, Robert Salvely (verbal presentation) Flight Simulator Evaluation of Aircraft Systems Using AI Technology (verbal .. Edward M. Huff, NASA Ames Research Center An Expert System fo rManaging Multiple Cooperating Expert Systems (verbal ... A. Gerstenfeld, Geoffrey Gosling, David S. Touretzky Worcester Polytechnic The Simulation of Simple Analog and Discrete Circuits from a Knowledge Base Representaiton of Structure and Function NASA, Kennedy Space Center Acknowledge2: A Knowledge Acquisition System Pradip Dey, Kevin D. REilly, J. Todd Brown, University of Alabama at Birmingham Knowledge Corpora Connectivities - Toward the Construction of a Thought Simulator Testbed Alhad M. Chande, Marti.n Marietta Baltimore Aerospace, Joe Clema, IIT Research Institute Qualitative Expert Systems: A Demographic Simulator with Heuristic Reasoning Walt Conley, W. Lawrence, U. Sengupta, R. Hartley, M. Coombs, New Mexico State University Model Management in Knowledge Based Simulation Hawa Singh, Alan Butcher, R. Reddy, West Virginia University Constraint Directed Reasoning for Simulation Problem Formulation Neena Sathi, Gary STrohm, Thomas Morton, Sean Winters, Carnegie Group Inc. Knowledge-Based Resource Behavior Allen Matsumoto, V. Baskaran, Beth Marvel, Carnegie Group Sonar Plexus - Enhancing a Command and Control Simulation with Reasoning Marc R. Halley, Thomas MIller, Craig Hougum, William Mosenthal Analytic Sciences Corporation Computer System Simulation in Scheme Daniel B. Pliske The Analytical Sciences Corporation Real Time Intelligent System Analysis by Dsicrete Event Simulation J. M. Poole, T. M. McDermott, D. P. Glasson, The Analytica Sciences Corporation The Mobile Intercontinental Ballistic MIssible Simulation Douglas Roberts, J. Darrell Morgeson, Jared S. Dreicer, Howard W. Egdorf Los Alamos National Laboratory SIMSMART: Dynamic Simulation fo rAutomated Control of Complex Industrial Processes Don Waye Applied High Technology Limited Applicability of AI Techniques to Simulation Models Norman R. Nielsen, SRI International, Victoria P. Gilbert, Intellicorp Improving Effectivenes of Computer Simulation SModeling with Knowledge- Based Problem-Solving Capability Ronak Shodhan, J. J. Talavage, Purdue University Expert Systems within Simulations JohnPaul SanGiovanni, Jockey Holley Technologies A Communication Network Model of the Brain Ray Moses, Boeing Aerospace Company An ARtificial Intelligence (AI) Simulation Based Approach for Aircraft Maintenance Training Lee Keskey, Dave Sykes, Honey Well Inc. Knowledge Representation in Ada Sumitra M. REddy, Francis L. VAn Scoy, West Virginia University A Simulator of an Automatic Text Reading System Nikolaos G. Bourbakis, George Mason University, Scott Schneider, IDA Two-dimensional Image Scanning for Hierarchical Data Structures and Its Simulation Nikolaos G. Bourbakis, George Mason University Cognitive Learning Theory: A Tool for Modelling and Simulation Donald A. MacCuish, ICSD Corporation A Computer Simulation Program of Animal Maze Learning Roger Ingliss, Warren Marchioni, Montclair High School +++++++++++++++++++++++++++++++++++++++++++++++++++++++ Protocol Specification, Testing and Verification: VII May 5- 8, 1987, IFIP Protocol Symposium Interconventional Ltd. c/o SWISSAIR CH-8058 Zurich-Airport, Switzerland Communicati.ng Rule Systems L. F. Mackert & I. Neumeier-Mackert IBM European Network Center, Heidelberg An Atomic Calculus of Communicati.ng Systems L. Logrippo and A. Obaid University of Ottawa Fundamental Results for the Verification of Observational Equivalence: A Survey T. bolognesi, CNUCE, Pisa, S. A. Smolka, SUNY, STony Brook Proof of Specification Properties by Using Finite State Machines and Temporal Logic A. R. Cavalli, F. Horn, CNET, Issy, Les Moulineaux Translation of Formal Protocol Specifications to VLSI Designs A. S. Krishankumar, B. Krishnamurthy, K. Sabnani AT&T Bell Labs, Murray Hill