The Community for Technology Leaders
IEEE International Workshop on Tools for Artificial Intelligence (1989)
Fairfax, VA, USA
Oct. 23, 1989 to Oct. 25, 1989
ISBN: 0-8186-1984-8
TABLE OF CONTENTS

Coop: a shell for cooperating expert systems (PDF)

S. Shekhar , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
C.V. Ramamoorthy , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 2-11

Testing integrated knowledge-based systems (PDF)

C.L. Chang , Lockheed Missiles & Space Co. Inc., Austin, TX, USA
R.A. Stachowitz , Lockheed Missiles & Space Co. Inc., Austin, TX, USA
pp. 12-18

A model for understanding complexities of developing large-scale software systems (PDF)

P.O. Bobbie , Div. of Comput. Sci., Univ. of West Florida, Pensacola, FL, USA
pp. 19-26

A parallel architecture for large scale production systems (PDF)

K.W. Hwang , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J. Tan , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J.H. Wang , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J. Srivastava , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
W.T. Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 27-33

A modified A* algorithm for robust plan recognition (PDF)

R.J. Calistri , Brown Univ., Providence, RI, USA
pp. 36-42

Resource-oriented parallel planning (PDF)

S. Lee , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
K. Chung , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
pp. 43-50

A parallel architecture for AI nonlinear planning (PDF)

S. Lee , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
K. Chung , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
pp. 51-58

A planner for time-space coordination of robots in a structured workspace (PDF)

R.B. Stanton , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
B.P. Molinari , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
C.W. Johnson , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
D. Wanless , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
P. Mackerras , Dept. of Comput. Sci., Australian Nat. Univ., Canberra, ACT, Australia
pp. 59-67

INNE: a structured learning algorithm for noisy examples (PDF)

M. Liquiere , CRIM, Montpellier, France
J. Sallantin , CRIM, Montpellier, France
pp. 70-76

Embedding learning in a general frame-based architecture (PDF)

T. Tanaka , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
T.M. Mitchell , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 77-84

Finding and learning explanatory connections from scientific texts (PDF)

F. Gomez , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
C. Segami , Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA
pp. 85-90

Low-level numerical characteristics and inductive learning methodology in texture recognition (PDF)

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

TARO: an interactive, object-oriented tool for building natural language systems (PDF)

M.H. Ibrahim , Electron. Data Syst. Corp., Auburn Hills, MI, USA
F.A. Cummins , Electron. Data Syst. Corp., Auburn Hills, MI, USA
pp. 108-113

Intelligent machine translation using a contextual knowledge representation (PDF)

J. Aoe , Dept. of Inf. Sci. & Intelligent Syst., Tokushima Univ., Japan
pp. 114-121

Acquisition of knowledge sources for natural language processing (PDF)

A. Fano , SRA Corp., Arlington, VA, USA
A. Kehler , SRA Corp., Arlington, VA, USA
H. Blejer , SRA Corp., Arlington, VA, USA
S. Flank , SRA Corp., Arlington, VA, USA
pp. 122-129

Multisearch systems with hierarchical control: a tool for solving complex AI problems (PDF)

J.M. Zytkow , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 132-137

Structured matching: a task-specific technique for making decisions (PDF)

T. Bylander , Lab. for Artificial Intelligence Res., Ohio State Univ., Columbus, OH, USA
T.R. Johnson , Lab. for Artificial Intelligence Res., Ohio State Univ., Columbus, OH, USA
pp. 138-145

The infinite distance in the determination of the nearest Euclidean M-neighbours in the K-D-B tree (PDF)

O. Santana , Dept. of Inf. & Syst., Las Palmas Univ., Spain
G. Rodriguez , Dept. of Inf. & Syst., Las Palmas Univ., Spain
M. Diaz , Dept. of Inf. & Syst., Las Palmas Univ., Spain
A. Placido , Dept. of Inf. & Syst., Las Palmas Univ., Spain
pp. 146-152

Macro transform approach to solve indecomposable problems (PDF)

Q.S. Gao , Sch. of Comput. Sci., Tech. Univ. of Nova Scotia, Halifax, NS, Canada
H.D. Cheng , Sch. of Comput. Sci., Tech. Univ. of Nova Scotia, Halifax, NS, Canada
pp. 153-160

A semantic network architecture for artificial intelligence processing (PDF)

J.G. Delgado-Frias , Dept. of Electr. Eng., State Univ. of New York, Binghamton, NY, USA
pp. 162-167

Twin register architecture for an AI processor (PDF)

T. Matoba , Toshiba Corp., Kawasaki, Japan
M. Okamura , Toshiba Corp., Kawasaki, Japan
T. Aikawa , Toshiba Corp., Kawasaki, Japan
K. Minagawa , Toshiba Corp., Kawasaki, Japan
M. Saito , Toshiba Corp., Kawasaki, Japan
K. Maeda , Toshiba Corp., Kawasaki, Japan
T. Takamiya , Toshiba Corp., Kawasaki, Japan
pp. 168-173

The process trellis: a software architecture for intelligent monitors (PDF)

M. Factor , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
D.H. Gelernter , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
pp. 174-181

A metatool for implementing task-oriented formalisms (PDF)

H. Hyotyniemi , Control Eng. Lab., Helsinki Univ. of Technol., Espoo, Finland
pp. 182-188

A new intelligent backtracking scheme for Prolog: a summary of results (PDF)

J.-H. You , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
B. Wong , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
C.-S. Law , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 190-197

MARS-a RISC-based architecture for LISP (PDF)

Hung-Chang Lee , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Feipei Lai , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Jenn-Yuan Tsai , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Tai-Ming Parng , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Yu-Gang Li , Dept. of Electr. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 198-206

BIDDLE: a bidirectional data driven Lisp engine (PDF)

W.F. Wong , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
C.K. Yuen , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 207-214

Current and future trends in artificial intelligence architectures and programming languages (PDF)

S. Aletan , Dept. of Comput. Sci., Louisiana Tech. Univ., Ruston, LA, USA
pp. 215-221

Feature extraction from speech spectrograms using multi-layered network models (PDF)

M.J. Palakal , Dept. of Comput. & Inf. Sci., Indiana Univ., Indianapolis, IN, USA
M.J. Zoran , Dept. of Comput. & Inf. Sci., Indiana Univ., Indianapolis, IN, USA
pp. 224-230

Signal understanding: an artificial intelligence approach to modulation classification (PDF)

J.E. Whelchel , E-Syst. Melpar Div., Falls Church, VA, USA
D.L. McNeill , E-Syst. Melpar Div., Falls Church, VA, USA
R.D. Hughes , E-Syst. Melpar Div., Falls Church, VA, USA
M.M. Loos , E-Syst. Melpar Div., Falls Church, VA, USA
pp. 231-236

Incremental learning mechanisms for speech understanding (PDF)

W.L. Mahood , Melpar Div. E-Syst. Inc., Falls Church, VA, USA
pp. 237-243

The role of learning in logic synthesis (PDF)

J.R. Kipps , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
D.D. Gajski , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 252-258

A knowledge-based environment for the integration of logical and physical testing of VLSI circuits (PDF)

A. Dollas , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
G.L. Castrodale , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 259-265

AI methodology as a key for software reusability (PDF)

P.B. Reintjes , Microelectron. Center of North Carolina, Research Triangle Park, NC, USA
pp. 266-271

On transformation of logic specifications into procedural programs (PDF)

J.M. Lin , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
J.Y. Juang , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 274-281

A frame and rule based system to support software development using an integrated software engineering paradigm (PDF)

J.J.-P. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
S.-T. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
A. Liu , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 282-289

Using natural language and stereotypical knowledge for acquisition of software models (PDF)

D.N. Chin , Software Eng. Res. Lab., Hawaii Univ. at Manoa, Honolulu, HI, USA
K. Takea , Software Eng. Res. Lab., Hawaii Univ. at Manoa, Honolulu, HI, USA
I. Miyamoto , Software Eng. Res. Lab., Hawaii Univ. at Manoa, Honolulu, HI, USA
pp. 290-295

Towards a framework for normative software engineering research (PDF)

W.T. Tsai , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
I.A. Zualkernan , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 296-304

The intelligent system server: delivering AI to complex systems (PDF)

T. Finin , Unisys Paoli Res. Center, PA, USA
R. Fritzson , Unisys Paoli Res. Center, PA, USA
R. McEntire , Unisys Paoli Res. Center, PA, USA
D. McKay , Unisys Paoli Res. Center, PA, USA
A. O'Hare , Unisys Paoli Res. Center, PA, USA
pp. 306-313

I-see: an AI-tool for image understanding (PDF)

F. Fierens , ESAT, Katholieke Univ. Leuven, Heverlee, Belgium
J. Van Cleynenbreugel , ESAT, Katholieke Univ. Leuven, Heverlee, Belgium
P. Suetens , ESAT, Katholieke Univ. Leuven, Heverlee, Belgium
A. Oosterlinck , ESAT, Katholieke Univ. Leuven, Heverlee, Belgium
pp. 314-320

Use of the W/AGE CASE tool in artificial intelligence (PDF)

R.A. Frost , Sch. of Comput. Sci., Windsor Univ., Ont., Canada
S. Karamatos , Sch. of Comput. Sci., Windsor Univ., Ont., Canada
pp. 321-329

Constraint-based specification of production rules (PDF)

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

A parallel execution method of production systems with multiple worlds (PDF)

K. Matsuzawa , Electr. Commun. Lab., NTT, Tokyo, Japan
pp. 339-344

A family of cuts for production systems (PDF)

Z.L. Lichtman , Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
D.L. Chester , Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
pp. 353-357

An algorithm for identification of relations among rules (PDF)

H. Marathe , Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
T.-K. Ma , Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
C.-C. Liu , Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
pp. 360-367

The NVL knowledge representation language (PDF)

A.V. Hudli , Dept. of Comput. & Inf. Sci., Indiana Univ., Indianapolis, IN, USA
pp. 368-375

The role of knowledge in an active information environment (PDF)

M.P. Papazoglou , German Res. Center for Comput. Sci., St. Augustin, West Germany
C. Hoffman , German Res. Center for Comput. Sci., St. Augustin, West Germany
pp. 376-385

FGP: a virtual machine for database-driven expert systems (PDF)

S. Fertig , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
D.H. Gelernter , Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA
pp. 388-392

Adaptive DB schema evolution via constrained relationships (PDF)

D. Christodoulakis , Dept. of Comput. Eng., Patras Univ., Greece
pp. 393-398

A technique for knowledge base verification (PDF)

D. Zhang , Dept. of Comput. Sci., California State Univ., Sacramento, CA, USA
D. Nguyen , Dept. of Comput. Sci., California State Univ., Sacramento, CA, USA
pp. 399-406

Using structural and procedural knowledge in database and knowledge base integration (PDF)

L. Marinos , German Res. Center for Comput. Sci., St. Augustin, West Germany
pp. 407-417

A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation (PDF)

P. Janssen , Centre de Recherche en Inf. de Montpellier, France
P. Jegou , Centre de Recherche en Inf. de Montpellier, France
B. Nouguier , Centre de Recherche en Inf. de Montpellier, France
M.C. Vilarem , Centre de Recherche en Inf. de Montpellier, France
pp. 420-427

Match Box: fine-grained parallelism at the match level (PDF)

M. Perlin , Carnegie-Mellon Univ., Pittsburgh, PA, USA
J.-M. Debaud , Carnegie-Mellon Univ., Pittsburgh, PA, USA
pp. 428-434

Sharing the components of transposition-invariant distance, DIT, on DIT-organized Burkhard-Keller structure in searches for best matching strings (PDF)

O. Santana , Dept. of Inf. & Syst., Las Palmas Univ., Spain
J. Perez , Dept. of Inf. & Syst., Las Palmas Univ., Spain
Z. Hernandez , Dept. of Inf. & Syst., Las Palmas Univ., Spain
H.G. Rodriguez , Dept. of Inf. & Syst., Las Palmas Univ., Spain
pp. 435-441

NSA algorithm and its computational complexity-preliminary results (PDF)

W. Zhang , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 442-446

Multilayer of ring-structured feedback network for production system processing (PDF)

A. Sohn , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
J.-L. Gaudiot , Dept. of Electr. Eng.-Syst., Univ. of Southern California, Los Angeles, CA, USA
pp. 457-464

Associative recall based on abstract object descriptions learned from observation: the CBM neural net model (PDF)

P. Israel , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
C. Koutsougeras , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 465-472

Rearrangeability of 2 log N-1 shuffle/exchange network (PDF)

A.Y. Al-Hallaq , Dept. of Math., Kuwait Univ., Safat, Kuwait
pp. 473-479

A history-based scheme for accelerating Prolog interpretation (PDF)

V.M. Malhotra , Discipline of Comput. Sci., Flinders Univ. of South Australia, Bedford Park, SA, Australia
pp. 482-489

On the combined approach to intelligent backtracking (PDF)

C. Qiao , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 490-494

Toward a paperless development environment (PDF)

B.L. Blum , Appl. Phys. Lab., Johns Hopkins Univ., Laurel, MD, USA
pp. 495-498

Knowledge based invocation of software methods and tools (PDF)

H.L. Hausen , GMD, St. Augustin, West Germany
pp. 499-510

Pose determination using vertex-pairs on the Connection Machine (PDF)

G. Ramamoorthy , Syracuse Univ., NY, USA
R.V. Shankar , Syracuse Univ., NY, USA
M. Suk , Syracuse Univ., NY, USA
pp. 512-517

A software environment of architecture prototypes for evaluating parallel vision systems and algorithms (PDF)

N. Alexandridis , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., DC, USA
P. Papaioannou , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., DC, USA
B. Narahari , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., DC, USA
A. Youssef , Dept. of Electr. Eng. & Comput. Sci., George Washington Univ., DC, USA
pp. 518-525

A pipelined architecture for logic programming with a complex but single-cycle instruction set (PDF)

J.W. Mills , Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA
pp. 526-533

A parallel shape coding on SIMD architecture (PDF)

Z. Wojcik , Div. of Math., Comput. Sci. & Stat., Texas Univ., San Antonio, TX, USA
pp. 534-540

A connectionist learning with high-order functional networks and its internal representation (PDF)

A. Namatame , Dept. of Comput. Sci., Nat. Defense Acad., Yokosuka, Japan
pp. 542-547

Neural network processing through energy minimization with learning ability to the multiconstraint zero-one knapsack problem (PDF)

Hahn-Ming Lee , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Ching-Chi Hsu , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 548-555

Neural network simulation using INES (PDF)

R. Brause , J.W. Goether Univ., Frankfurt, West Germany
pp. 556-561

Solving large scale puzzles with neural networks (PDF)

M. Kajiura , Dept. of Electr. Eng., Keio Univ., Yokohama, Japan
Y. Akiyama , Dept. of Electr. Eng., Keio Univ., Yokohama, Japan
Y. Anzai , Dept. of Electr. Eng., Keio Univ., Yokohama, Japan
pp. 562-569

On the robustness of Dempster's rule of combination (PDF)

H.-Y. Hau , Grumman Data Syst., Woodbury, NY, USA
pp. 578-582

Computing answers in default logic (PDF)

R.A.T. Guerreiro , IBM Brazil, Rio de Janeiro, Brazil
A. Silva , IBM Brazil, Rio de Janeiro, Brazil
M.A. Casanova , IBM Brazil, Rio de Janeiro, Brazil
pp. 583-589

A VLSI system for difference picture-based motion analysis (PDF)

N. Ranganathan , Center for Microelectron. Res., Univ. of South Florida, Tampa, FL, USA
R. Mehrotra , Center for Microelectron. Res., Univ. of South Florida, Tampa, FL, USA
pp. 592-597

An object-oriented language for image and vision execution (OLIVE) (PDF)

N. Lavin , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 598-607

A parallel unification coprocessor (PDF)

F.N. Sibai , Dept. of Electr. Eng., Texas A&M Univ., College Station, TX, USA
K.L. Watson , Dept. of Electr. Eng., Texas A&M Univ., College Station, TX, USA
M. Lu , Dept. of Electr. Eng., Texas A&M Univ., College Station, TX, USA
pp. 608-615

Parallel branch and bound on fine-grained hypercube multiprocessors (PDF)

F. Dehne , Center for Parallel & Distributed Comput., Carleton Univ., Ottawa, Ont., Canada
pp. 616-622

An intelligent algorithm to generate non-intersecting paths for mobile robots in a multi-robot environment (PDF)

M. Kamath , Robotics Labs., Maryland Univ., College Park, MD, USA
J. Yang , Robotics Labs., Maryland Univ., College Park, MD, USA
pp. 641-648

Path planning for two cooperating robot manipulators (PDF)

Q. Xue , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
pp. 649-657

Towards an automated tool for software certification (PDF)

D.N. Christodoulakis , Dept. of Comput. Eng., Patras Univ., Greece
C. Tsalidis , Dept. of Comput. Eng., Patras Univ., Greece
pp. 670-676

PM: a metrics driven plan compiler (PDF)

R.G. Reynolds , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
J.I. Maletic , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
S.E. Porvin , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 677-684

Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs (PDF)

C.-F. Fan , Dept. of Comput. Sci., Southern Methodist Univ., Dallas, TX, USA
P. Biswas , Dept. of Comput. Sci., Southern Methodist Univ., Dallas, TX, USA
pp. 685-692

A finite state automata of the Arabic grammar (PDF)

A. El-Naggar , IBM Cairo Sci. Center, Egypt
pp. 693-699

Improved control strategy for parallel logic programming (PDF)

I.J. Chung , Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
pp. 702-708

An entity model for conceptual design (PDF)

T. Ichiko , Dept. of Inf. Eng., Nat. Yamagata Univ., Yonezawa, Japan
pp. 709-716

A metalanguage to express human guidance for program transformation (PDF)

J. Lingzi , Dept. of Comput. Sci., Nanjing Univ., China
Z. Hong , Dept. of Comput. Sci., Nanjing Univ., China
pp. 717-722
84 ms
(Ver 3.3 (11022016))