[mod.ai] Conferences - Simulation & Protocol Specification

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