default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th 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.
last updated on 2025-03-01 15:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
