


default search action
4th ICTAI 1992: Arlington, Virginia, USA
- Fourth International Conference on Tools with Artificial Intelligence, ICTAI '92, Arlington, Virginia, USA, November 10-13, 1992. 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. ICTAI 1992: 4 - John Yen:

Nonmonotonic Logic vs. Fuzzy Logic. ICTAI 1992: 4 - Nikolaos G. Bourbakis:

Tools with AI: Who Pays the Bills? ICTAI 1992: 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

, Donald 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 N. 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, Lucile 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 E. 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, Marie-Claude 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














