The Community for Technology Leaders
TAI '92 - Proceedings Fourth International Conference on Tools with Artificial Intelligence (1992)
Arlington, VA, USA
Nov. 10, 1992 to Nov. 13, 1992
ISBN: 0-8186-2905-3
TABLE OF CONTENTS

Fuzzy distance functions for motion planning (PDF)

K. Sridharan , New York State Center for Adv. Technol. in Autom. & Robotics, Rensselaer Polytech. Inst., Troy, NY, USA
H.E. Stephanou , New York State Center for Adv. Technol. in Autom. & Robotics, Rensselaer Polytech. Inst., Troy, NY, USA
pp. 186-189

Automated parameter tuning in stereo vision under time constraints (PDF)

S.R. Schwartz , Motorola Inc., Arlington Heights, IL, USA
pp. 162-169

Band search: an efficient alternative to guided depth-first search (PDF)

L.-C. Chu , Illinois Univ., Urbana, IL, USA
B.W. Wah , Illinois Univ., Urbana, IL, USA
pp. 154-161

ClimBS: searching the bias space (PDF)

F.J. Provost , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 146-153

COKE: efficient solving of complex assignment problems with the propose-and-exchange method (PDF)

K. Poeck , Inst. fuer Inf. VI, Wurzburg Univ., Germany
F. Puppe , Inst. fuer Inf. VI, Wurzburg Univ., Germany
pp. 136-143

A heuristic-based car shop scheduling application (PDF)

V. Srinivasan , Dept. of Comput. Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 128-135

Combinatorial optimization for spacecraft scheduling (PDF)

W.T. Scherer , Dept. of Syst. Eng., Virginia Univ., Charlottesville, VA, USA
F. Rotman , Dept. of Syst. Eng., Virginia Univ., Charlottesville, VA, USA
pp. 120-127

IASCE: an intelligent assistant to software cost estimation (PDF)

S. Wang , Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
D. Kountanis , Dept. of Comput. Sci., Western Michigan Univ., Kalamazoo, MI, USA
pp. 114-117

On reusing linkage designs (PDF)

A. Bose , Minnesota Univ., Minneapolis, MN, USA
M. Gini , Minnesota Univ., Minneapolis, MN, USA
D.R. Riley , Minnesota Univ., Minneapolis, MN, USA
A. Esterline , Minnesota Univ., Minneapolis, MN, USA
pp. 100-107

The minimum entropy network (PDF)

R.W. Brause , J.W. Goethe-Univ., Frankfurt, Germany
pp. 85-92

RCCN: radial basis competitive and cooperative network (PDF)

S. Lee , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
S. Shimoji , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 78-84

Software automation: from 'silly' to 'intelligent' (PDF)

J. Xu , Inst. of Comput. Software, Nanjing Univ., China
pp. 73-76

Efficiency in pure blackboard systems (PDF)

R. Hewett , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
M. Hewett , Dept. of Comput. Sci. & Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 65-72

On the transformation from a fragment-based design into a module-based implementation (PDF)

B.I. Blum , Appl. Phys. Lab., Johns Hopkins Univ., Laurel, MD, USA
pp. 56-64

A hybrid/symbolic connectionist production system (PDF)

K. Sanou , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
S.G. Romaniuk , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
L.O. Hall , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
pp. 44-53

An efficient algorithm for production systems with linear-time match (PDF)

M. Tambe , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
D. Kalp , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 36-43

Constraint satisfaction for production system match (PDF)

M. Perlin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 28-35

Explanation-based decision support in real time situations (PDF)

D.C. Hair , NRaD, San Diego, CA, USA
K. Pickslay , NRaD, San Diego, CA, USA
S. Chow , NRaD, San Diego, CA, USA
pp. 22-25

Evaluation of real-time search algorithms in dynamic worlds (summary of results) (PDF)

S. Shekhar , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
B. Hamidzadeh , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 6-13

Is production system matching interesting? (PDF)

M. Perlin , Carnegie Mellon Univ., Pittsburgh, PA, USA
J. Carbonell , Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 2-3

Knowledge discovery for evolutionary systems (PDF)

J.P. Yoon , Sch. of Inf. Technol. & Eng., George Mason Univ., Fairfax, VA, USA
pp. 192-199

Genetic algorithms as a tool for feature selection in machine learning (PDF)

H. Vafaie , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
K. De Jong , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 200-203

Learning object models in visual semantic networks (PDF)

A. Gupta , Indian Stat. Inst., Calcutta, India
A. Bagchi , Indian Stat. Inst., Calcutta, India
pp. 204-211

QUICK: a system that uses conceptual design knowledge for query formulation (PDF)

R.D. Semmel , Appl. Phys. Lab., Johns Hopkins Univ., Laurel, MD, USA
pp. 214-221

A method for the management of exceptions in multiple inheritance systems (PDF)

C. Oussalah , LERI, Nimes, France
M. Magnan , LERI, Nimes, France
L. Torres , LERI, Nimes, France
pp. 222-229

Logical development of a Petri net deadlock analysis program (PDF)

D.E. Cooke , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
pp. 230-233

Neural network based competitive learning for control (PDF)

B. Zhang , Singapore Inst. for Stand. & Ind. Res., Singapore
pp. 236-243

Concept learning in default logic (PDF)

Z. Qian , Artificial Intelligence Services, Troy, MI, USA
pp. 244-250

Dependency-based concurrency control in logic-oriented object bases (PDF)

L.D.H. Yang , Dept. of Electr. & Comput. Eng., Rutgers Univ., Piscataway, NJ, USA
P.C. Sheu , Dept. of Electr. & Comput. Eng., Rutgers Univ., Piscataway, NJ, USA
pp. 260-267

New transitive closure algorithm for recursive query processing in deductive databases (PDF)

I.H. Toroslu , Dept. of Electron. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 268-275

Data-parallel compilation and query power extension of large knowledge bases (PDF)

A.K. Bansal , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
J.L. Potter , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
L.V. Prasad , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
pp. 276-283

A hybrid architecture for text classification (PDF)

M.S. Register , Digital Equipment Corp., Colorado Springs, CO, USA
N. Kannan , Digital Equipment Corp., Colorado Springs, CO, USA
pp. 286-292

Belief maintenance in a natural language system (PDF)

P. Buchheit , Harold Washington Coll., Chicago, IL, USA
pp. 293-300

Temporal constraints and their interpretations in natural language (PDF)

H.-H. Lee , Graduate Inst. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
I.-P. Lin , Graduate Inst. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
C.-P. Wu , Graduate Inst. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 301-305

Dynamic version spaces in machine learning (PDF)

W. Sverdlik , Dept. of Math. & Comput. Sci., Lawrence Technol. Univ., Southfield, MI, USA
pp. 308-315

A learning-based evolution of concept descriptions for an adaptive object recognition (PDF)

P.W. Pachowicz , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 316-323

Tools for automating experiment design: a machine learning approach (PDF)

Y. Lee , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
S.H. Clearwater , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 324-331

Comparative evaluation of expert system testing methods (PDF)

S. Kirani , Minnesota Univ., Minneapolis, MN, USA
I.A. Zualkernan , Minnesota Univ., Minneapolis, MN, USA
W.T. Tsai , Minnesota Univ., Minneapolis, MN, USA
pp. 334-341

TAME: an integrated environment for task-based knowledge and specification acquisition (PDF)

J. Lee , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
J. Yen , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 342-345

Design of a generic knowledge acquisition shell (PDF)

C.-C. Chien , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
C.-S. Ho , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 346-349

Pattern matching in unordered trees (PDF)

D. Shasha , Courant Inst., New York Univ., NY, USA
pp. 352-361

An analytical performance model for parallel production systems (PDF)

J.-H. Wang , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J. Srivastava , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 362-369

A new decision-tree classification algorithm for machine learning (PDF)

P.-L. Tu , IBM Enterprise Syst., Poughkeepsie, NY, USA
pp. 370-377

A path-oriented matrix-based knowledge representation system (PDF)

S. Feyock , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
S.T. Karamouzis , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 380-387

Various uses of problem solving models for knowledge acquisition (PDF)

F. Ramparany , Cap Gemini Sogeti, Meylan, France
pp. 388-392

Representing cases and rules in plausible reasoning systems (PDF)

P.P. Bonissone , General Electric Res. & Dev. Center, Schenectady, NY, USA
S. Ayub , General Electric Res. & Dev. Center, Schenectady, NY, USA
pp. 394-404

Experiments on the concurrent rule execution in database systems (PDF)

A. Delis , Maryland Univ. Inst. for Adv. Comput. Sci., College Park, MD, USA
L. Raschid , Maryland Univ. Inst. for Adv. Comput. Sci., College Park, MD, USA
T. Sellis , Maryland Univ. Inst. for Adv. Comput. Sci., College Park, MD, USA
pp. 405-412

Suggesting causes of faults in data-driven rule-based systems (PDF)

S.M. Tuttle , Dept. of Comput. Sci., Houston Univ., TX, USA
C.F. Eick , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 413-416

RUTA-100: a dynamic route planner (PDF)

F. Golshani , Intelligent Inf. Syst. Lab., Arizona State Univ., Tempe, AZ, USA
E. Cortes-Rello , Intelligent Inf. Syst. Lab., Arizona State Univ., Tempe, AZ, USA
S. Ahluwalia , Intelligent Inf. Syst. Lab., Arizona State Univ., Tempe, AZ, USA
pp. 418-423

Temporal and hypothetical reasoning as a support for qualitative reasoning (PDF)

C. Loesel , CRIN-CNRS/INRIA Lorraine, Vandoeuvre-les-Nancy, France
F. Charpillet , CRIN-CNRS/INRIA Lorraine, Vandoeuvre-les-Nancy, France
J.-P. Haton , CRIN-CNRS/INRIA Lorraine, Vandoeuvre-les-Nancy, France
pp. 424-427

Cognitive abstraction for qualitative simulation (PDF)

J. Chen , Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA
pp. 428-431

The role of expert system shells in hypertext technology (PDF)

I. Hilerio , Comput. Sci. Corp., Fort Worth, TX, USA
pp. 434-441

Extending inductive methods to create practical tools for building expert systems (PDF)

B. Leng , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
B.G. Buchanan , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 442-445

Towards a tool for the design of cooperating expert systems (PDF)

C. Grossner , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
J. Lyons , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
T. Radhakrishnan , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 446-449

Iterative rule simplification for noise tolerant inductive learning (PDF)

P.W. Pachowicz , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
J. Bala , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 452-453

A parallel blackboard generic tool for intelligent robotics (PDF)

M. Occello , Equipe Parallelisme-Robotique, Univ. de Nice-Sophia Antipolis, Valbonne, France
M.C. Thomas , Equipe Parallelisme-Robotique, Univ. de Nice-Sophia Antipolis, Valbonne, France
pp. 454-455

A user customizable X window system interface for simulation of neural networks (PDF)

T.E. Little , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
S.C. Ahalt , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 456-457

IKD: a knowledge-based tool for integrating a knowledge base and a database (PDF)

H. Ito , Dept. of Comput. Sci., Chukyo Univ., Japan
T. Fukumura , Dept. of Comput. Sci., Chukyo Univ., Japan
pp. 460-461

Knowledge with real-time semantics (PDF)

A.Z. Shamsudin , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
T.S. Dillon , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 464-466

Domain model for constructing a knowledge based system (PDF)

T. Kasahara , Hitachi Ltd., Ibaraki, Japan
N. Yamada , Hitachi Ltd., Ibaraki, Japan
Y. Kobayashi , Hitachi Ltd., Ibaraki, Japan
pp. 467-468

DEVE: an expert system for hardware design verification (PDF)

A.M. Kabakcioglu , Dept. of Electr. & Comput. Eng., Miami Univ., Coral Gables, FL, USA
pp. 469-470

A neuro-expert system architecture with application to alarm processing in a power system control centre (PDF)

R. Khosla , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
T. Dillon , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia
pp. 471-472

PPL: an explicitly parallel production language for large scale parallelism (PDF)

A. Acharya , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 473-474
92 ms
(Ver 3.3 (11022016))