The Community for Technology Leaders
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence (1990)
Herndon, VA, USA
Nov. 6, 1990 to Nov. 9, 1990
ISBN: 0-8186-2084-6
TABLE OF CONTENTS

Goal-oriented behavior in autonomous systems (PDF)

P. Liu , Siemens Corp. Res., Princeton, NJ, USA
pp. 2-8

Collision-free path planning for a shape-changeable mobile robot in a 3-dimensional environment (PDF)

Q. Xue , Dept. of Electr. Eng., Indiana Univ., Indianapolis, IN, USA
pp. 9-15

Minor moves-global results: robot trajectory planning (PDF)

H. Hyotyniemi , Control Eng. Lab., Helsinki Univ. of Technol., Espoo, Finland
pp. 16-22

RL4: a tool for knowledge-based induction (PDF)

S.H. Clearwater , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
F.J. Provost , Dept. of Comput. Sci., Pittsburgh Univ., PA, USA
pp. 24-30

A method that combines inductive learning with exemplar-based learning (PDF)

J. Zhang , Dept. of Comput. Sci., Utah State Univ., Logan, UT, USA
pp. 31-37

Rule compilation from constraint-based problem solving (PDF)

S. Subramanian , Dept. of Comput. Sci., New Hampshire Univ., Durham, NH, USA
E.C. Freuder , Dept. of Comput. Sci., New Hampshire Univ., Durham, NH, USA
pp. 38-47

Building embedded languages and expert system shells in Prolog (PDF)

L.U. Yalcinalp , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
L. Sterling , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 56-62

An introduction to KEDE-A hybrid knowledge engineering development environment (PDF)

Zijian Zheng , Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., China
Wei Li , Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., China
pp. 63-69

A hybrid knowledge representation as a basis of requirement specification and reasoning (PDF)

J.J.P. Tsai , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
T. Weigert , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
H.C. Jang , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 70-76

Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need (PDF)

S. Bologna , OECD Halden Reactor Project, Norway
E. Ness , OECD Halden Reactor Project, Norway
T. Sivertsen , OECD Halden Reactor Project, Norway
pp. 86-95

Automatic elicitation of interactive rules from data with exceptions using TMS (PDF)

T. Yamazaki , NTT Commun. & Inf. Process. Lab., Kanagawa, Japan
pp. 96-102

Specification of expert systems (PDF)

A. Batarekh , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
A.D. Preece , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
A. Bennett , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
P. Grogono , Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
pp. 103-109

ACKnowledge project: A framework for knowledge acquisition techniques integration (PDF)

F. Ramparany , Cap Gemini Innovation-ZIRST, Meylan, France
M.-S. Doize , Cap Gemini Innovation-ZIRST, Meylan, France
C. Jullien , Cap Gemini Innovation-ZIRST, Meylan, France
pp. 110-116

The neural shell: a neural network simulation tool (PDF)

S.C. Ahalt , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
P. Chen , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
C.-T. Chou , Dept. of Electr. Eng., Ohio State Univ., Columbus, OH, USA
pp. 118-124

ASLANN: a tool for the design of composite neural systems (PDF)

A.D.P. Green , Dept. of Electron. Syst. Eng., Essex Univ., Colchester, UK
P.D. Noakes , Dept. of Electron. Syst. Eng., Essex Univ., Colchester, UK
pp. 125-129

Conventional and associative memory-based spelling checkers (PDF)

V. Cherkassky , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
N. Vassilas , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
G.L. Brodt , Dept. of Electr. Eng., Minnesota Univ., Minneapolis, MN, USA
pp. 138-144

Capturing design and maintenance decisions with MACS (PDF)

C. Desclaux , CAP Gemini Innovation, Paris, France
pp. 146-153

Configuration management in the HILDA system (PDF)

L.H. Hsu , Siemens Corp. Res. Inc., Princeton, NJ, USA
pp. 154-160

OKBMS: An object-oriented knowledge base management system (PDF)

Zhongzhi Shi , Acad. Sinica, Inst. of Comput. Technol., Beijing, China
Jianming Wu , Acad. Sinica, Inst. of Comput. Technol., Beijing, China
Hui Sun , Acad. Sinica, Inst. of Comput. Technol., Beijing, China
Jinxi Xu , Acad. Sinica, Inst. of Comput. Technol., Beijing, China
pp. 161-166

Tailoring explanations to the user's level of expertise and domain knowledge (PDF)

E. Sarantinos , Dept. of Comput. Sci., Queen Mary & Westfield Coll., London Univ., UK
P. Johnson , Dept. of Comput. Sci., Queen Mary & Westfield Coll., London Univ., UK
pp. 174-180

A graphical constraint-based production system environment (PDF)

M. Perlin , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
P. Gaertner , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 181-188

Interactive extension of domain datatypes (PDF)

H.J. Antonisse , MITRE Corp., McLean, VA, USA
pp. 189-193

Speculative search: An efficient search algorithm for limited memory (PDF)

M.M. Gooley , Center for Reliable & High-performance Comput., Illinois Univ., Urbana, IL, USA
B.W. Wah , Center for Reliable & High-performance Comput., Illinois Univ., Urbana, IL, USA
pp. 194-200

The DIBBS blackboard control architecture and its application to distributed natural language processing (PDF)

J.R.R. Leavitt , Center for Machine Translation, Carnegie Mellon Univ., Pittsburgh, PA, USA
E. Nyberg , Center for Machine Translation, Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 202-208

Hardware evaluation of KCM (PDF)

O. Thibault , Eur. Comput.-Ind. Res. Centre, Munchen, Germany
pp. 209-217

M: An approximate reasoning system (PDF)

Qinping Zhao , Dept. of Comput. Sci. & Eng., Beijing Univ. of Aeronaut. & Astronaut., China
Bo Li , Dept. of Comput. Sci. & Eng., Beijing Univ. of Aeronaut. & Astronaut., China
pp. 218-221

High-level reasoning in cooperative knowledge system (PDF)

Fangqing Zhang , Dept. of Comput. Sci., Jilin Univ., Changchun, China
Dayou Liu , Dept. of Comput. Sci., Jilin Univ., Changchun, China
Rikun Tang , Dept. of Comput. Sci., Jilin Univ., Changchun, China
pp. 222-228

Categorization in supervised neural network learning A computational approach (PDF)

G. Krishnan , Dept. of Math. & Comput. Sci., Stetson Univ., DeLand, FL, USA
E.B. Reynolds , Dept. of Math. & Comput. Sci., Stetson Univ., DeLand, FL, USA
pp. 230-236

Learning steppingstones for problem solving (PDF)

D. Ruby , Inf. & Comput. Sci., California Univ., Irvine, CA, USA
D. Kibler , Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 237-244

Ergodic discretized estimator learning automata with high accuracy and high adaptation rate for nonstationary environments (PDF)

A.V. Vasilakos , Dept. of Comput. Eng., Patras Univ., Greece
G.I. Papadimitriou , Dept. of Comput. Eng., Patras Univ., Greece
pp. 245-253

Learning from examples and counterexamples with equational background knowledge (PDF)

E. Kounalis , Centre de Recherche en Inf. de Nancy, France
pp. 254-260

Constraint propagation neural networks for Huffman-Clowes scene labeling (PDF)

C.-K. Tsao , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
W.-C. Lin , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 262-268

Machine learning using single-layered and multi-layered neural networks (PDF)

S. Sestito , Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia
T. Dillon , Dept. of Comput. Sci., La Trobe Univ., Bundoora, Vic., Australia
pp. 269-275

How could a shell improve the maintainability of expert systems? (PDF)

J. Yen , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 290-291

Building models for qualitative prediction of system dynamic behavior (PDF)

S. Lee , Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
pp. 294-300

Hypothesis generation in conflict based diagnosis (PDF)

J.S. Chen , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
S.N. Srihari , Dept. of Comput. Sci., State Univ. of New York, Buffalo, NY, USA
pp. 301-307

Diagnosing systems modeled with piecewise linear constraints (PDF)

H. Beringer , IBM France Sci. Center, Paris, France
B. De Backer , IBM France Sci. Center, Paris, France
pp. 308-313

TCA*-a time-constrained approximate A* search algorithm (PDF)

B.W. Wah , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
L.-C. Chu , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 314-320

Schema survival rates and heuristic search in genetic algorithms (PDF)

B.P. Buckles , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
F.E. Petry , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
R.L. Kuester , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 322-327

Improving tactical plans with genetic algorithms (PDF)

A.C. Schultz , US Naval Res. Lab., Washington, DC, USA
J.J. Grefenstette , US Naval Res. Lab., Washington, DC, USA
pp. 328-334

Using genetic algorithms for supervised concept learning (PDF)

W.M. Spears , US Naval Res. Lab., Washington, DC, USA
pp. 335-341

The control of genetic algorithms using version spaces (PDF)

R.G. Reynolds , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 342-348

Projection pursuit learning networks for regression (PDF)

M. Maechler , Dept. of Stat., Washington Univ., Seattle, WA, USA
D. Martin , Dept. of Stat., Washington Univ., Seattle, WA, USA
J. Schimert , Dept. of Stat., Washington Univ., Seattle, WA, USA
pp. 350-358

Neural computing with structured information (PDF)

S.C. Kak , Dept. of Electr. & Comput. Eng., Louisiana State Univ., Baton Rouge, LA, USA
pp. 359-365

A connectionist approach to learning legal moves in Tower-of-Hanoi (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. 366-371

Temporal neural logic networks (PDF)

H.H. Teh , Nat Univ. of Singapore, Singapore
L.S. Hsu , Nat Univ. of Singapore, Singapore
S.C. Chan , Nat Univ. of Singapore, Singapore
K.F. Loe , Nat Univ. of Singapore, Singapore
pp. 372-376

Scaffolding the RETE network (PDF)

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

A forward-chaining multiple-context reasoner and its application to logic design (PDF)

Y. Ohta , ICOT Res. Center, Tokyo, Japan
K. Inoue , ICOT Res. Center, Tokyo, Japan
pp. 386-392

Performance of DBMS implementations of production systems (PDF)

T. Sellis , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
C.-C. Lin , Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
pp. 393-399

Grid Match: a basis for integrating production systems with relational databases (PDF)

J.S.E. Tan , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
M. Maheshwari , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
J. Srivastava , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 400-407

APU: an automatic programmer for UNIX (PDF)

M.T. Harandi , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
S. Bhansali , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 410-416

A knowledge and data base for software systems (PDF)

L. Miguel , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
M.H. Kim , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
C.V. Ramamoorthy , Div. of Comput. Sci., California Univ., Berkeley, CA, USA
pp. 417-423

A tool system for knowledge-based on-line diagnosis in industrial automation (PDF)

T. Beck , Inst. for Control Eng. & Ind. Autom., Stuttgart Univ., Germany
pp. 424-429

RACK: a parser generator for AI languages (PDF)

J.R. Kipps , RAND Corp., Santa Monica, CA, USA
pp. 430-435

Using MICE to study intelligent dynamic coordination (PDF)

T.A. Montgomery , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
E.H. Durfee , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 438-444

Expert system driven fuzzy control application to power reactors (PDF)

L. Tsoukalas , Oak Ridge Nat. Lab., TN, USA
R.C. Berkan , Oak Ridge Nat. Lab., TN, USA
B.R. Upadhyaya , Oak Ridge Nat. Lab., TN, USA
R.E. Uhrig , Oak Ridge Nat. Lab., TN, USA
pp. 445-450

An expert system for contingency analysis in transmission networks (PDF)

F. Mateos , Intelligent Decision Syst., SA, Madrid, Spain
P. Basagoiti , Intelligent Decision Syst., SA, Madrid, Spain
G. Pastor , Intelligent Decision Syst., SA, Madrid, Spain
pp. 457-462

A domain-independent routine design tool (PDF)

M.R. Hall , Bellcore, Piscataway, NJ, USA
J.S. Kaminski , Bellcore, Piscataway, NJ, USA
D.A. Ruddock , Bellcore, Piscataway, NJ, USA
K. Kumaran , Bellcore, Piscataway, NJ, USA
pp. 464-470

The management of uncertainty in commercial expert system building tools (PDF)

T.D. Escamilla , Cognitive Syst. Lab., Texas A&M Univ., College Station, TX, USA
D.B. Simmons , Cognitive Syst. Lab., Texas A&M Univ., College Station, TX, USA
N.C. Ellis , Cognitive Syst. Lab., Texas A&M Univ., College Station, TX, USA
pp. 471-477

HSAS: a heuristic development tool (PDF)

P.C. Nelson , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
J.F. Dillenburg , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
L. Dubinsky , Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
pp. 478-484

Neural logic programming (PDF)

T.J. Reynolds , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
H.H. Teh , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
B.T. Low , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
pp. 485-491

Combining partial evaluation and constraint solving: a new approach to constraint logic programming (PDF)

J.-K. Hao , Centre de Recherche en Inf. de Dijon, France
J.-J. Chabrier , Centre de Recherche en Inf. de Dijon, France
pp. 494-500

TIMEX-a tool for interval-based representation in technical applications (PDF)

J. Dorn , Christian Doppler Lab. for Expert Syst., Tech. Univ. Vienna, Austria
pp. 501-506

A high level compiling implementation of PARLOG based on extended graph rewriting (PDF)

Li Zhenzhong , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
Wang Dingxing , Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
pp. 507-510

Design and implementation of a parallel logic programming system (PDF)

Hu Shouren , Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
Gao Yaoqing , Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
Hwang Zhiyi , Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
Ci Yungui , Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
pp. 511-518

Experiences made using the expert system shell G2 (PDF)

S. Nilsen , OECD Halden Reactor Project, Inst. for Energiteknikk, Norway
pp. 520-529

A cooperation and communication framework for distributed problem solving (PDF)

N. Yoshida , Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
pp. 530-536

A tool for building decision-support-oriented expert systems (PDF)

Jijian Shi , Dept. of Comput. & Eng., Zhejiang Univ., Hangzhou, China
Ruizho Yu , Dept. of Comput. & Eng., Zhejiang Univ., Hangzhou, China
Zhijun He , Dept. of Comput. & Eng., Zhejiang Univ., Hangzhou, China
pp. 537-543

Development of a meta-blackboard shell (PDF)

Cheng-Seen Ho , Dept. of Electron. Eng., Nat. Taiwan Inst. of Technol., Taipei, Taiwan
pp. 544-550

The state-of-art AI research in Japan (PDF)

F. Mizoguchi , Dept. of Ind. Adm., Sci. Univ. of Tokyo, Chiba, Japan
pp. 552

Artificial intelligence and imagery (PDF)

J. Glasgow , Dept. of Comput. & Inf. Sci., Queen's Univ., Kingston, Ont., Canada
pp. 554-563

A new approach for representing and recognition of two-dimensional objects (PDF)

D.C.D. Hung , Dept. of Comput. Inf. Sci., New Jersy Inst. of Technol., Newark, NJ, USA
B.C. Cheng , Dept. of Comput. Inf. Sci., New Jersy Inst. of Technol., Newark, NJ, USA
pp. 564-570

An empirical comparison of ID3 and HONNs for distortion invariant object recognition (PDF)

L. Spirkovska , NASA Ames Res. Center, Moffett Field, CA, USA
M.B. Reid , NASA Ames Res. Center, Moffett Field, CA, USA
pp. 577-582

Software representation to support change (PDF)

K.G. Heisler , Minnesota Univ., Minneapolis, MN, USA
P.E. Johnson , Minnesota Univ., Minneapolis, MN, USA
W.T. Tsai , Minnesota Univ., Minneapolis, MN, USA
Y. Kasho , Minnesota Univ., Minneapolis, MN, USA
J.R. Snyder , Minnesota Univ., Minneapolis, MN, USA
pp. 593-602

Issues on deterministic transformation of logic-based program specification (PDF)

J.M. Lin , Dept. of Inf. & Comput. Educ., Nat. Taiwan Normal Univ., Taipei, Taiwan
pp. 603-609

KB/RMS: an intelligent assistant for requirement definition (PDF)

R.V. Binder , Robert Binder Syst. Consulting, Inc., Chicago, IL, USA
pp. 610-616

BaLinda Lisp: a parallel list-processing language (PDF)

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

Regularity: generalizing inheritance to arbitrary hierarchies (PDF)

H. Mili , Dept. of Math. & Comput. Sci., Quebec Univ., Montreal, Que., Canada
pp. 625-631

Relationships in an object knowledge representation model (PDF)

J. Escamilla , Lab. de Genie Inf., Inst. IMAG, Grenoble, France
P. Jean , Lab. de Genie Inf., Inst. IMAG, Grenoble, France
pp. 632-638

Knowledge-directed query processing in expert database systems (PDF)

S.-G. Lee , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
L.J. Henschen , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
G.Z. Qadah , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 640-646

Artificial intelligence R&D: the ISS strategy (PDF)

J. Motiwalla , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
T.H. Heng , Inst. of Syst. Sci., Nat. Univ. of Singapore, Singapore
pp. 647-650

An improved register allocation algorithm for the WAM model (PDF)

Hu Ziang , Dept. of Comput. Sci., Changsha Inst. of Tech., Hunan, China
pp. 651-657

A massively parallel knowledge-base server using a hypercube multiprocessor (PDF)

F. Dehne , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 660-666

IXM2: a parallel associative processor for semantic net processing-preliminary evaluation (PDF)

T. Higuchi , Electrotech. Lab., Ibaraki, Japan
T. Furuya , Electrotech. Lab., Ibaraki, Japan
K. Handa , Electrotech. Lab., Ibaraki, Japan
A. Kokubu , Electrotech. Lab., Ibaraki, Japan
pp. 667-673

Exploiting data parallelism for efficient execution of logic programs with 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
pp. 674-681

Knowledge based architecture to integrate heterogeneous distributed information systems (PDF)

P. Bernus , Key Centre for Software Technol., Queensland Univ., St. Lucia, Qld., Australia
pp. 682-689

A study of back-error propagation networks in the domain of noisy tactile impressions (PDF)

M. Thint , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
P.P. Wang , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 692-698

A neural architecture applied to the enhancement of noisy binary images without prior knowledge (PDF)

F.Y. Shih , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
J. Moh , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
H. Bourne , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 699-705

Fuzzy computational reasoning and neural networks (PDF)

He Xingui , Beijing Inst. of Syst. Eng., China
pp. 706-711

Extending Athena: multiple classes and confidence output values (PDF)

C. Koutsougeras , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
G. Georgiou , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 712-716

Decomposition of belief function in hierarchical hypotheses space (PDF)

H.-Y.L. Hau , Grumman Data Syst., Woodbury, NY, USA
pp. 718-724

An extended framework for evidential reasoning systems (PDF)

W. Liu , Dept. of Inf. Syst., Ulster Univ., UK
J. Hong , Dept. of Inf. Syst., Ulster Univ., UK
M.F. McTear , Dept. of Inf. Syst., Ulster Univ., UK
pp. 731-737

A real time control strategy for Bayesian belief networks with application to ship classification problem solving (PDF)

S.A. Musman , US Naval Res. Lab., Washington, DC, USA
L.W. Chang , US Naval Res. Lab., Washington, DC, USA
L.B. Booker , US Naval Res. Lab., Washington, DC, USA
pp. 738-744

On inducing topologically minimal decision trees (PDF)

T. Elomaa , Dept. of Comput. Sci., Helsinki Univ., Finland
J. Kivinen , Dept. of Comput. Sci., Helsinki Univ., Finland
pp. 746-752

Assessment of the reliability of AI programs (PDF)

F. Bastani , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 753-759

On the application of stratification to requirement specifications (PDF)

D. Cooke , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
A. Gates , Dept. of Comput. Sci., Texas Univ., El Paso, TX, USA
pp. 760-766

A knowledge-based environment for assessment of color similarity (PDF)

E. Binaghi , IFCTR-CNR, Milano, Italy
A.D. Ventura , IFCTR-CNR, Milano, Italy
A. Rampini , IFCTR-CNR, Milano, Italy
R. Schettini , IFCTR-CNR, Milano, Italy
pp. 768-775

Validation of nonmonotonic 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
J.B. Combs , Lockheed Missiles & Space Co. Inc., Austin, TX, USA
pp. 776-782

Global knowledge about local dependencies in an integrated database environment (PDF)

L. Marinos , GMD, Inst. fur Systemtech., St. Augustin, Germany
pp. 783-791

A knowledge-based graphic description tool for understanding engineering drawings (PDF)

Yong-Qing Cheng , Dept. of Comput. Sci., East China Inst. of Technol., Nanjing, China
Jing-Yu Yang , Dept. of Comput. Sci., East China Inst. of Technol., Nanjing, China
pp. 792-796

A specialized genetic algorithm for numerical optimization problems (PDF)

C.Z. Janikow , Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA
pp. 798-804

Discovery of maximal distance codes using genetic algorithms (PDF)

K. Dontas , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
K. De Jong , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 805-811

Generation of feature detectors for texture discrimination by genetic search (PDF)

J.W. Bala , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
K. De Jong , Center for Artificial Intelligence, George Mason Univ., Fairfax, VA, USA
pp. 812-818

Super-TC: an efficient generic algorithm for processing the instantiated transitive-closure queries in deductive database systems (PDF)

G.Z. Qadah , Dept. of Electr. Eng. & Comput. Sci., Northwestern Univ., Evanston, IL, USA
pp. 841-847

Performing deduction from implicit beliefs (PDF)

J. Van Baalen , Price Waterhouse Technol. Centre, Menlo Park, CA, USA
R. Nado , Price Waterhouse Technol. Centre, Menlo Park, CA, USA
pp. 848-855

PROFIM: Prolog for image management (PDF)

S. Chi , Northwestern Univ., Evanston, IL, USA
J.-Y. Juang , Northwestern Univ., Evanston, IL, USA
pp. 856-862

KNOWBEL: a hybrid expert system building tool (PDF)

J. Mylopoulos , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
H. Wang , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
A. Kushniruk , Dept. of Comput. Sci., Toronto Univ., Ont., Canada
pp. 864-870

P-graph-a graph model for anomaly checking of knowledge bases (PDF)

E.L. Lim , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
J. McCallum , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 871-877

Designing verifiable expert systems (PDF)

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

An inference engine for function free logic programs (PDF)

S. Bottcher , IBM Deutschland GmbH, Stuttgart, Germany
pp. 885-890
81 ms
(Ver 3.3 (11022016))