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 BibTeX
W. T. Tsai: Knowledge Acquisition and Process Acquisition. 4 BibTeX
John Yen: Nonmonotonic Logic vs. Fuzzy Logic. 4 BibTeX
Nikolaos G. Bourbakis: Tools with AI: Who Pays the Bills? 4 BibTeX

AI Tools for Real-Time Systems

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

Production System Match

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

Software Automation

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

Neural Nets

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

AI for Software Engineering

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

Scheduling and Planning

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

Search

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

Fuzzy Control

Yoshikuni Okawa, Jun Aoki: Fuzzy Control of a Mobile Robot for the Push-a-Box Operation. 172-179 BibTeX
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 BibTeX
K. Sridharan, Harry E. Stephanou: Fuzzy Distance Functions for Motion Planning. 186-189 BibTeX

Learning I

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

Programming Systems

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

Learning II

Bing Zhang, Edward Grant: Neural Network Based Competitive Learning for Control. 236-243 BibTeX
Zhaogang Qian, Keki B. Irani: Concept Learning in Default Logic. 244-250 BibTeX
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 BibTeX

Database and Knowledge Base Systems

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

Natural Language and Text Processing

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

Learning III

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

Knowledge Engineering Tools

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

Matching and Classification

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

Knowledge Representation and Acquisition

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

Rule-Based Systems

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

Reasoning

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

Expert Systems

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

Poster Papers

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