4. ICTAI 1992: Arlington, Virginia, USA

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

Last update Wed Feb 15 05:08:00 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page