4. ICTAI 1992: Arlington, Virginia, USA

Fourth International Conference on Tools with Artificial Intelligence (ICTAI '92), November 10-13, 1992, Arlington, Virginia, USA. IEEE Computer Society, 1992, ISBN 0-8186-2905-3

Panel Discussions

Mark Perlin, Jaime G. Carbonell, Daniel P. Miranker, Salvatore J. Stolfo, Milind Tambe: Is Production System Match Interesting? 2-3
W. T. Tsai: Knowledge Acquisition and Process Acquisition. 4
John Yen: Nonmonotonic Logic vs. Fuzzy Logic. 4
Nikolaos G. Bourbakis: Tools with AI: Who Pays the Bills? 4

AI Tools for Real-Time Systems

Shashi Shekhar, Babak Hamidzadeh: Evaluation of Real-Time Search Algorithms in Dynamic Worlds. 6-13
Thomas Chehire, Eva Onaindia: Applying a Time Map Manager in a Real-Time Expert System for Alarm Filtering. 14-21
D. Charles Hair, Kent Pickslay, Steve Chow: Explanation-Based Decision Support in Real-Time Situations. 22-25

Production System Match

Mark Perlin: Constraint Satifaction for Production System Match. 28-35
Milind Tambe, Dirk Kalp, Paul S. Rosenbloom: An Efficient Algorithm for Production Systems with Linear-Time Match. 36-43
Katsuaki Sanou, Steve G. Romaniuk, Lawrence O. Hall: A Hybrid/Symbolic Connectionist Production System. 44-53

Software Automation

Bruce I. Blum: On the Transformation from a Fragment-Based Design into a Module-Based Implementation. 56-64
Rattikorn Hewett, Micheal Hewett: Efficiency in Pure Blackboard Systems. 65-72
Xu Jiafu: Software Automation: From "Silly" to "Intelligent". 73-76

Neural Nets

Sukhan Lee, Shunichi Shimoji: RCCN: Radial Basis Competitve and Cooperative Network. 78-84
Rüdiger W. Brause: The Minimum Entropy Network. 85-92
Yiwei Chen, Farokh B. Bastani: Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines. 93-97

AI for Software Engineering

Ashim Bose, Maria L. Gini, D. R. Riley, Albert C. Esterline: On Reusing Linkage Designs. 100-107
Raymond A. Paul: Metric-Based Neural Network Classification Tool for Analyzing Large-Scale Software. 108-113
Shouli Wang, Dionysios Kountanis: IASCE: An Intelligent Assistant to Software Cost Estimation. 114-117

Scheduling and Planning

William T. Scherer, Frank Rotman: Combinatorial Optimization for Spacecraft Scheduling. 120-127
Venkatesh Srinivasan, William Fabens: A Heuristic-Based CarShop Scheduling Application. 128-135
Karsten Poeck, Frank Puppe: COKE: Efficient Solving of Complex Assignment Problems with the Propose-and-Exchange Method. 136-143

Search

Foster J. Provost: ClimBS: Searching the Bias Space. 146-153
Lon-Chan Chu, Benjamin W. Wah: Band Search: An Efficient Alternative to Guided Depth-First Search. 154-161
Steven R. Schwartz, Benjamin W. Wah: Automated Parameter Tuning in Stereo Vision Under Time Constraints. 162-169

Fuzzy Control

Yoshikuni Okawa, Jun Aoki: Fuzzy Control of a Mobile Robot for the Push-a-Box Operation. 172-179
Vladik Kreinovich, Robert Lea, Olac Fuentes, Anatole Lokshin: Fuzzy Control is Often Better Than Manual Control of the Very Experts Whose Knowledge it Uses: An Explanation. 180-185
K. Sridharan, Harry E. Stephanou: Fuzzy Distance Functions for Motion Planning. 186-189

Learning I

Jong P. Yoon: Knowledge Discovery for Evolutionary Systems. 192-199
Haleh Vafaie, Kenneth A. De Jong: Genetic Algorithms as a Tool for Feature Selection in Machine Learning. 200-203
A. Gupta, A. Bagchi: Learning Object Models in Visual Semantic Networks. 204-211

Programming Systems

Ralph D. Semmel: QUICK: A System that Uses Conceptual Design Knowledge for Query Formulation. 214-221
Chabane Oussalah, Martine Magnan, L. Torrès: A Method for the Management of Exceptions in Multiple Inheritance Systems. 222-229
Daniel E. Cooke: Logical Development of a Petri Net Deadlock Analysis Program. 230-233

Learning II

Bing Zhang, Edward Grant: Neural Network Based Competitive Learning for Control. 236-243
Zhaogang Qian, Keki B. Irani: Concept Learning in Default Logic. 244-250
A. T. Gumahad II, Nikolaos G. Bourbakis: Improving a Knowledge Based Approach for Recognition of Typed Text Characters Using A 2-D FT. 251-258

Database and Knowledge Base Systems

L. D. H. Yang, Phillip C.-Y. Sheu: Dependency-Based Concurrency Control in Logic-Oriented Object Bases. 260-267
Ismail H. Toroslu, Ghassan Z. Qadah: New Transitive Closure Algorithm for Recursive Query Processing in Deductive Databases. 268-275
Arvind K. Bansal, Jerry L. Potter, Lokam V. Prasad: Data-Parallel Compilation and Query Power Extension of Large Knowledge Bases. 276-283

Natural Language and Text Processing

Michael S. Register, Narasimham Kannan: A Hybrid Architecture for Text Classification. 286-292
Paul Buchheit: Belief Maintenance in a Natural Language System. 293-300
Hsiu-Hui Lee, I-Peng Lin, Chien-Ping Wu: Temporal Constraints and Their Interpretations in Natural Language. 301-305

Learning III

William Sverdlik, Robert G. Reynolds: Dynamic Version Spaces in Machine Learning. 308-315
Peter Pachowicz: A Learning-Based Evolution of Concept Descriptions for an Adaptive Object Recognition. 316-323
Yongwon Lee, Scott H. Clearwater: Tools for Automating Experiment Design: A Machine Learning Approach. 324-331

Knowledge Engineering Tools

Shekhar H. Kirani, Imran A. Zualkernan, Wei-Tek Tsai: Comparative Evaluation of Expert System Testing Methods. 334-341
Jonathan Lee, John Yen, Josette Pastor: TAME: An Integrated Environment for Task-Based Knowledge and Specification Acquisition. 342-345
Chih-Cheng Chien, Cheng-Seen Ho: The Design of a Generic Knowledge Acquisition Shell. 346-349

Matching and Classification

Dennis Shasha, Jason Tsong-Li Wang, Kaizhong Zhang, Frank Yeong-Chyang Shih: Pattern Matching in Unordered Trees. 352-361
Jau-Hwang Wang, Jaideep Srivastava: An Analytical Performance Model of Parallel Production Systems. 362-369
Pei-Lei Tu, Jen-Yao Chung: A New Decision-Tree Classification Algorithm for Machine Learning. 370-377

Knowledge Representation and Acquisition

Stefan Feyock, Stamos T. Karamouzis: A Path-Oriented Matrix-Based Knowledge Representation System. 380-387
Fano Ramparany: Various Uses of Problem Solving Models for Knowledge Acquisition. 388-392

Rule-Based Systems

Piero P. Bonissone, Saad Ayub: Representing Cases and Rules in Plausible Reasoning Systems. 394-404
Alex Delis, Louiqa Raschid, Timos K. Sellis: Experiments on the Concurrent Rule Execution in Database Systems. 405-412
Sharon M. Tuttle, Christoph F. Eick: Suggesting Causes of Faults in Data-Driven Rule-Based Systems. 413-417

Reasoning

Forouzan Golshani, Enrique Cortes-Rello, S. Ahluwalia: RUTA-100: A Dynamic Route Planner. 418-423
Corinne Loesel, François Charpillet, Jean Paul Haton: Temporal and Hypothetical Reasoning as a Support for Qualitative Reasoning. 424-427
Judy Chen, Sukhan Lee: Cognitive Abstraction for Qualitative Simulation. 428-431

Expert Systems

Israel Hilerio, Roger Lippert, Weidong Chen: The Role of Expert System Shells in Hypertext Technology. 434-441
Bing Leng, Bruce G. Buchanan: Extending Inductive Methods to Create Practical Tools for Building Expert Systems. 442-445
Clifford Grossner, J. Lyons, Thiruvengadam Radhakrishnan: Towards a Tool for the Design of Cooperation Expert Systems. 446-449

Poster Papers

Peter Pachowicz, Jerzy W. Bala, Jianping Zhang: Iterative Rule Simplification for Noise Tolerant Inductive Learning. 452-453
Michel Occello, M.-C. Thomas: A Parallel Blackboard Generic Tool for Intelligent Robotics. 454-455
Thomas E. Little, Stanley C. Ahalt: A User Customizable X Window System Interface for Simulation of Neural Networks. 456-457
Robert L. Moore: The G2 Development and Deployment Environment. 458-459
Hideaki Ito, Teruo Fukumura: IKD: A Knowledge-Based Tool for Integrating a Knowledge Base and a Database. 460-461
Masato Togami, Norihiro Abe, Tadahiro Kitahashi, Harunao Ogawa: Fault Diagnosis of Power Distribution Lines by Using Discrimination Tree. 462-463
Annie Z. Shamsudin, Tharam S. Dillon: Knowledge with Real-Time Semantics. 464-466
Takayasu Kasahra, Naoyuki Yamada, Yasuhiro Kobayashi, Katsuyuki Yoshino, Kikuo Yoshimura: Domain Model for Constructing a Knowledge Based System. 467-468
A. Mete Kabakçioglu, Olga L. Mazuera: DEVE: An Expert System for Hardware Design Verification. 469-470
Rajiv Khosla, Tharam S. Dillon: A Neuro-Expert System Architecture with Application to Alarm Processing in a Power System Control Center. 471-472
Anurag Acharya: PPL: An Explicitly Parallel Production Language for Large Scale Parallelism. 473-474