The Community for Technology Leaders
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 (1994)
New Orleans, LA, USA
Nov. 6, 1994 to Nov. 9, 1994
ISBN: 0-8186-6785-0
TABLE OF CONTENTS

KAAD: a support system for architectural design (PDF)

B. Errico , Fac. di Ingegneria, Univ. degli Studi di Roma, Italy
G. Novembri , Fac. di Ingegneria, Univ. degli Studi di Roma, Italy
pp. 792-795

R-calculus: a logical approach for knowledge base maintenance (PDF)

Wei Li , Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., China
Ningchuan Shen , Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., China
pp. 375-381

Intelligent neural networks using smart wavelets preprocessing (PDF)

H. Szu , Naval Surface Warfare Center, USA
pp. 348-349

NAVNEX: an hybrid system which learns navigation situations in real time (PDF)

G. Vercelli , Dept. of Informatics, Syst., Telecommun., Genoa Univ., Italy
F. Giuffrida , Dept. of Informatics, Syst., Telecommun., Genoa Univ., Italy
A. Rolla , Dept. of Informatics, Syst., Telecommun., Genoa Univ., Italy
R. Toracca , Dept. of Informatics, Syst., Telecommun., Genoa Univ., Italy
P. Morasso , Dept. of Informatics, Syst., Telecommun., Genoa Univ., Italy
pp. 832-835

Context free language induction with genetic programming (PDF)

B.D. Dunay , Center for Intelligent & Knowledge-Based Syst., New Orleans, LA, USA
pp. 828-831

Simulated annealing based classification (PDF)

S. Finnerty , Dept. of Math. & Comput. Sci., Tulsa Univ., OK, USA
S. Sen , Dept. of Math. & Comput. Sci., Tulsa Univ., OK, USA
pp. 824-827

Enhancing diversity for a genetic algorithm learning environment for classification tasks (PDF)

C.F. Eick , Dept. of Comput. Sci., Houston Univ., TX, USA
Y.-J. Kim , Dept. of Comput. Sci., Houston Univ., TX, USA
N. Secomandi , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 820-823

A method for organizing knowledge bases in the hierarchical form (PDF)

H.T. Bao , Japan Adv. Inst. of Sci. & Technol., Ishikawa, Japan
pp. 816-819

Using classifier systems to design neural nets (PDF)

C. Nikolopoulos , Dept. of Comput. Sci. & Artificial Intelligence, Malta Univ., Valetta, Malta
pp. 812-815

Combining geometric and photometric information to find lines from step edge detection (PDF)

A. Filbois , CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
pp. 808-811

Sequences constraint solving in constraint logic programming (PDF)

P. Baptiste , Lab. d'Automatique de Besancon, CNRS, St. Martin d'Heres, France
B. Legeard , Lab. d'Automatique de Besancon, CNRS, St. Martin d'Heres, France
H. Zidoum , Lab. d'Automatique de Besancon, CNRS, St. Martin d'Heres, France
pp. 804-807

Constructs for building complex symbolic-connectionist systems (PDF)

R. Khosla , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Melbourne, Vic., Australia
T. Dillon , Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Melbourne, Vic., Australia
pp. 796-799

Pattern theoretic knowledge discovery (PDF)

J.A. Goldman , Wright Lab., Wright Res. & Dev. Center, Wright-Patterson AFB, OH, USA
pp. 788-791

Fuzzy qualitative diagnosis (PDF)

S. Patil , Dept. of Electr. & Comput. Eng., Alabama Univ., Huntsville, AL, USA
M.O. Hofmann , Dept. of Electr. & Comput. Eng., Alabama Univ., Huntsville, AL, USA
pp. 780-783

Object reconstruction using the cooperation of 3D segments and 3D facets information (PDF)

D. Gemmerle , CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
pp. 776-779

Docile agents to process natural language (PDF)

J.-P. Fournier , Limsi, Language & Cognition Group, Orsay, France
pp. 772-775

Restructuring and optimizing knowledge representations (PDF)

J. Vanthienen , Dept. of Appl. Econ. Sci., Katholieke Univ., Leuven, Belgium
G. Wets , Dept. of Appl. Econ. Sci., Katholieke Univ., Leuven, Belgium
pp. 768-771

Methods for finding influences on program failure (PDF)

A.E. Howe , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
A.D. Fuegi , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 764-767

Modeling the plasma enhanced chemical vapor deposition process using neural networks and genetic algorithms (PDF)

S.-S. Han , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
G.S. May , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 760-763

Interleaving real-time multi-agent planning and execution: an application (PDF)

C.S. Silva , Inst. de Sistemas e Robotica, Tech. Univ. Lisbon, Portugal
A.M. Bernardino , Inst. de Sistemas e Robotica, Tech. Univ. Lisbon, Portugal
C. Pinto-Ferreira , Inst. de Sistemas e Robotica, Tech. Univ. Lisbon, Portugal
pp. 756-759

A heuristics guided scheduling framework for domains with complex conditions (PDF)

Y. Nomura , C&C Res. Labs., NEC Corp., Tokyo, Japan
M. Iwamoto , C&C Res. Labs., NEC Corp., Tokyo, Japan
T. Yamanouchi , C&C Res. Labs., NEC Corp., Tokyo, Japan
M. Watanabe , C&C Res. Labs., NEC Corp., Tokyo, Japan
pp. 752-755

The schema theorem considered insufficient (PDF)

W.S. Chung , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
R.A. Perez , Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
pp. 748-751

Studies on the effect of non-coding segments on the genetic algorithm (PDF)

A.S. Wu , Artificial Intelligence Lab., Michigan Univ., Ann Arbor, MI, USA
pp. 744-747

MLC++: a machine learning library in C++ (PDF)

R. Kohavi , Dept. of Comput. Sci., Stanford Univ., CA, USA
G. John , Dept. of Comput. Sci., Stanford Univ., CA, USA
R. Long , Dept. of Comput. Sci., Stanford Univ., CA, USA
D. Manley , Dept. of Comput. Sci., Stanford Univ., CA, USA
K. Pfleger , Dept. of Comput. Sci., Stanford Univ., CA, USA
pp. 740-743

Model-based identification of primary causes (PDF)

M. Tomasena , Lab. d'Intelligence Artificielle, Domaine Univ., France
pp. 736-739

User command prediction by graph-based induction (PDF)

K. Yoshida , Lab. for Comput. Sci. Res., Rutgers Univ., New Brunswick, NJ, USA
pp. 732-735

An artificial neural network for the ergonomic evaluation of a human-computer interface (PDF)

J.-F. Arcand , Performance Support Syst. Group, Centre for Inform. Technol. Innovation, Laval, Que., Canada
pp. 716-719

Integrating external functions in an object oriented reasoning system (PDF)

T.-C. Yu , 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
pp. 712-715

The RISE system: conquering without separating (PDF)

P. Domingos , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 704-707

Using planning techniques to provide feedback in interactive learning environments (PDF)

R.H. Kemp , Dept. of Comput. Sci., Massey Univ., Palmerston North, New Zealand
pp. 700-703

KBMDL: a knowledge based model description language for decision support (PDF)

Shifu Chen , Dept. of Comput. Sci. & Technol., Nanjing Univ., China
Dianxiang Xu , Dept. of Comput. Sci. & Technol., Nanjing Univ., China
pp. 696-699

A new generation of intelligent punching environment for computerized embroidery (PDF)

Shifu Chen , Dept. of Comput. Sci. & Technol., Nanjing Univ., China
Bin Hu , Dept. of Comput. Sci. & Technol., Nanjing Univ., China
pp. 692-695

Explicit versus implicit set-covering for supervised learning (PDF)

S.V. Kowalski , Dept. of Electr. Eng. Syst., Univ. of Southern California, Los Angeles, CA, USA
pp. 688-691

MODEST: a model-based diagnostic expert system (PDF)

Y.W. Purna , Agency for the Assessment & Application of Technol., BPP Teknologi, Jakarta, Indonesia
pp. 684-687

Experiences in using Prolog to develop a practical constraint solver (PDF)

P. Lim , Eur. Comput. Ind. Res. Centre, Munich, Germany
pp. 680-683

Integrating rules and constraints (PDF)

Bing Liu , Dept. of Inf. Syst. & Comput. Sci., Nat. Univ. of Singapore, Singapore
pp. 676-679

Imprecise probability and expert forecasting (PDF)

C.G. Wagner , Dept. of Math., Tennessee Univ., Knoxville, TN, USA
pp. 668-671

An intelligent system to facilitate the diagnosis of adverse drug reactions (PDF)

A. Laribi , Centre Univ. d'Inf., Geneva Univ., Switzerland
pp. 661-666

A framework for fault diagnosis in distributed expert systems (PDF)

J.W. Guan , Dept. of Inf. Syst., Ulster Univ., Jordanstown, UK
Z. Guan , Dept. of Inf. Syst., Ulster Univ., Jordanstown, UK
D.A. Bell , Dept. of Inf. Syst., Ulster Univ., Jordanstown, UK
pp. 654-660

A framework for automatic improvement of workflows to meet performance goals (PDF)

T. Jaeger , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
A. Prakash , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
M. Ishikawa , Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA
pp. 640-646

An experience-based approach to software project management (PDF)

C. Vasudevan , Dept. of Ocean Eng., Florida Atlantic Univ., Boca Raton, FL, USA
pp. 624-630

Tools for experiments in planning (PDF)

S.D. Anderson , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
A. Carlson , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
D.L. Westbrook , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
D.M. Hart , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
P.R. Cohen , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 615-623

Toward a fuzzy government of genetic populations (PDF)

S. Arnone , Dipartimento di Scienze dell'Informazione, Milan Univ., Italy
M. Dell'Orto , Dipartimento di Scienze dell'Informazione, Milan Univ., Italy
pp. 585-591

An educational tool for high-level interaction with Bayesian networks (PDF)

P. Haddawy , Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA
J. Jacobson , Dept. of Electr. Eng. & Comput. Sci., Wisconsin Univ., Milwaukee, WI, USA
pp. 578-584

Peirce: a tool for abductive inference (PDF)

R. Fox , Dept. of Math. & Comput. Sci., Texas Pan American Univ., Edinburg, TX, USA
pp. 571-577

Neo-fuzzy-neuron based new approach to system modeling, with application to actual system (PDF)

E. Uchino , Dept. of Control Eng. & Sci., Kyushu Inst. of Technol., Fukuoka, Japan
T. Yamakawat , Dept. of Control Eng. & Sci., Kyushu Inst. of Technol., Fukuoka, Japan
pp. 564-570

A constraint-based approach for the generation of floor plans (PDF)

P. Charman , CERMICS, INRIA, Sophia Antipolis, France
pp. 555-561

Experiments with various recurrent neural network architectures for handwritten character recognition (PDF)

A. Jameel , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 548-554

Intelligent tools for environmental tactical decision aids (PDF)

P.J. Harris , Ocean Dynamics & Predition Branch, Naval Res. Lab., Stennis Space Center, MS, USA
G.W. Heburn , Ocean Dynamics & Predition Branch, Naval Res. Lab., Stennis Space Center, MS, USA
pp. 530-533

GREAT: a model of progressive reasoning for real-time systems (PDF)

A.-I. Mouaddib , CRIN, CNRS, Vandoeuvre-les-Nancy, France
F. Charpillet , CRIN, CNRS, Vandoeuvre-les-Nancy, France
J.-P. Haton , CRIN, CNRS, Vandoeuvre-les-Nancy, France
pp. 521-527

The temporal reasoning tools TimeGraph I-II (PDF)

A. Gerevini , Istituto per la Ricerca Sci. e Tecnologica, Povo, Italy
pp. 513-520

Discrete event simulation using event calculus (PDF)

L.R. Missiaen , Inf. Syst. Div., SHAPE Tech. Centre, The Hague, Netherlands
pp. 506-512

Parameter tuning for the MAX expert system (PDF)

C.J. Merz , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
M. Pazzani , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 632-639

Distributed belief revision versus distributed truth maintenance (PDF)

A.F. Dragoni , Comput. Sci. Inst., Ancona Univ., Italy
P. Puliti , Comput. Sci. Inst., Ancona Univ., Italy
pp. 499-505

Assumption-based truth maintenance in presence of temporal assertions (PDF)

M. Bouzid , CNRS, Vandoeuvre-les-Nancy, France
F. Charpillet , CNRS, Vandoeuvre-les-Nancy, France
P. Marquis , CNRS, Vandoeuvre-les-Nancy, France
J.-P. Haton , CNRS, Vandoeuvre-les-Nancy, France
pp. 492-498

Learning strategy knowledge incrementally (PDF)

M. Veloso , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 484-490

On learning multiple descriptions of a concept (PDF)

K. Ali , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
C. Brunk , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
M. Pazzani , Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
pp. 476-483

IIBR-a system for managing/refining structural characteristics discovered from databases (PDF)

Ning Zhong , Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan
S. Ohsuga , Res. Center for Adv. Sci. & Technol., Tokyo Univ., Japan
pp. 468-475

Galois Lattice: a framework for concept learning. Design, evaluation and refinement (PDF)

E. Mephu-Nguifo , LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
pp. 461-467

Towards the integration of artificial neural networks and constraint logic programming (PDF)

J.H.M. Lee , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
V.W.L. Tam , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 446-452

A new arc consistency algorithm for CSPs with hierarchical domains (PDF)

T. Kokeny , Univ. des Sci. et Tech. du Languedoc, Montpellier, France
pp. 439-445

Minimal forward checking (PDF)

M.J. Dent , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
pp. 432-438

Maintaining arc consistency through constraint retraction (PDF)

B. Neveu , INRIA-CERMICS, Sophia Antipolis, France
P. Berlandier , INRIA-CERMICS, Sophia Antipolis, France
pp. 426-431

Using a double-based genetic algorithm on a population of computer programs (PDF)

P. Collard , Univ. de Nice-Sophia Antipolis, Valbonne, France
J.-L. Segapeli , Univ. de Nice-Sophia Antipolis, Valbonne, France
pp. 418-424

GATTO: an intelligent tool for automatic test pattern generation for digital circuits (PDF)

P. Prinetto , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
M. Rebaudengo , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
M. Sonza Reorda , Dipartimento di Autom. e Inf., Politecnico di Torino, Italy
pp. 411-417

Using an annealing genetic algorithm to solve global energy minimization problem in molecular binding (PDF)

Leuo-Hong Wang , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Cheng-Yan Kao , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Ming Ouh-Young , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
Wen-Chin Cheu , Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan
pp. 404-410

An arc-consistency algorithm optimal in the number of constraint checks (PDF)

C. Bessiere , LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
J.-C. Regin , LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
pp. 397-403

Approximate graph matching using probabilistic hill climbing algorithms (PDF)

J.T.L. Wang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 390-396

Knowledge-based querying (PDF)

F.-Y. Villemin , Lab. CEDRIC, Conservation Nat. des Arts et Metiers, Paris, France
A. Paoli , Lab. CEDRIC, Conservation Nat. des Arts et Metiers, Paris, France
pp. 382-388

Providing semantic intelligent answers to recursive queries (PDF)

Xubo Zhang , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
Z.M. Ozsoyoglu , Dept. of Comput. Eng. & Sci., Case Western Reserve Univ., Cleveland, OH, USA
pp. 366-374

Query processing for partial information databases in QUIXOTE (PDF)

K. Yokota , Inst. for New Generation Comput. Technol., Tokyo, Japan
H. Tsuda , Inst. for New Generation Comput. Technol., Tokyo, Japan
T. Nishioka , Inst. for New Generation Comput. Technol., Tokyo, Japan
S. Tojo , Inst. for New Generation Comput. Technol., Tokyo, Japan
pp. 359-365

A knowledge-based tutoring system for SQL programming (PDF)

Gang Zhou , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
J.T.L. Wang , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
P.A. Ng , Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 352-358

Classification in DLMS utilizing a KL-ONE representation language (PDF)

N. Rychtyckyj , Body & Assembly Div., Ford Motor Co., Dearborn, MI, USA
pp. 339-345

Recurrent neural networks for synthesizing linear control systems via pole placement (PDF)

Jun Wang , Dept. of Ind. Technol., North Dakota Univ., Grand Forks, ND, USA
Guang Wu , Dept. of Ind. Technol., North Dakota Univ., Grand Forks, ND, USA
pp. 332-338

A neural network architecture for the second level trigger in the H1-experiment at the electron proton collider HERA (PDF)

A. Gruber , Max-Planck-Inst. fur Phys., Munchen, Germany
J. Fent , Max-Planck-Inst. fur Phys., Munchen, Germany
W. Frochtenicht , Max-Planck-Inst. fur Phys., Munchen, Germany
C. Kiesling , Max-Planck-Inst. fur Phys., Munchen, Germany
J. Mock , Max-Planck-Inst. fur Phys., Munchen, Germany
P. Ribarics , Max-Planck-Inst. fur Phys., Munchen, Germany
pp. 325-331

An attempt to apply the dividing and composing method to various frames of Chinese flower and bird paintings (PDF)

Da-Yu Liu , Fac. of Eng., Hokkaido Univ., Sapporo, Japan
Y. Aoki , Fac. of Eng., Hokkaido Univ., Sapporo, Japan
pp. 317-324

Vision-based behavioural modules for robotic assembly systems (PDF)

P. Chongstitvatana , Dept. of Comput. Eng., Chulalongkorn Univ., Bangkok, Thailand
pp. 312-316

Solving constraints over the reals-a multi-solver approach (PDF)

P. Marti , CNRS, Univ. de Nice-Sophia Antipolis, Valbonne, France
M. Rueher , CNRS, Univ. de Nice-Sophia Antipolis, Valbonne, France
pp. 304-310

Predicting the response time of real-time rule-based programs with variable-expression assignments (PDF)

Jeng-Rung Chen , Dept. of Comput. Sci., Houston Univ., TX, USA
A.M.K. Cheng , Dept. of Comput. Sci., Houston Univ., TX, USA
pp. 297-303

A comparative study of IDA*-style searches (PDF)

B.W. Wah , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
Yi Shang , Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
pp. 290-296

Tooling the lexicon acquisition process for large-scale KBMT (PDF)

J.R.R. Leavitt , Center for Machine Translation, Carnegie Mellon Univ., Pittsburgh, PA, USA
D.W. Lonsdale , Center for Machine Translation, Carnegie Mellon Univ., Pittsburgh, PA, USA
K. Keck , Center for Machine Translation, Carnegie Mellon Univ., Pittsburgh, PA, USA
E.H. Nyberg , Center for Machine Translation, Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 283-289

A knowledge-based analyzer for requirements specification analysis (PDF)

Hung-Chin Jang , Dept. of Comput. Sci., Nat. Chengchi Univ., Taipei, Taiwan
pp. 276-282

A neural network for supervised learning of natural language grammar (PDF)

D. Archambault , LIFO, Orleans Univ., France
J.-C. Bassano , LIFO, Orleans Univ., France
pp. 267-273

Developing natural language interfaces through NALIGE (PDF)

B.Z. Manaris , Dept. of Comput. Sci., Southwestern Louisiana Univ., Lafayette, LA, USA
pp. 260-266

A novel method for parsing complex sentences in syntactically free languages (PDF)

S.E. Michos , Dept. of Electr. Eng., Patras Univ., Greece
N. Fakotakis , Dept. of Electr. Eng., Patras Univ., Greece
G. Kokkinakis , Dept. of Electr. Eng., Patras Univ., Greece
pp. 253-259

Using shared-packed forests in a GB parser (PDF)

M. Shaban , Boston Univ., MA, USA
pp. 246-252

Tools for representing and managing knowledge: some practical requirements and suggestions (PDF)

L.H. Reeker , Knowledge Models & Cognitive Syst., Nat. Sci. Found., Arlington, VA, USA
pp. 240-244

Tools for managing stories and questions (PDF)

B.M. Slator , Inst. for the Learning Sci., Northwestern Univ., Evanston, IL, USA
pp. 237-238

The evolution of intelligent writing assistants: trends and future prospects (PDF)

R.L. Oakman , Dept. of Comput. Sci., South Carolina Univ., Columbia, SC, USA
pp. 233-234

Integrated connectionist models: building AI systems on subsymbolic foundations (PDF)

R. Miikkulainen , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 231-232

Knowledge acquisition from real-world texts: some lessons learned (PDF)

F. Gomez , Dept. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
pp. 229-230

Natural language processing tools and environments: the field in perspective (PDF)

B.Z. Manaris , Dept. of Comput. Sci., Southwestern Louisiana Univ., Lafayette, LA, USA
pp. 228

Fuzzy expert system shells (PDF)

M. Umano , Dept. of Syst. Eng., Osaka Univ., Japan
I. Hatono , Dept. of Syst. Eng., Osaka Univ., Japan
H. Tamura , Dept. of Syst. Eng., Osaka Univ., Japan
pp. 219-225

Three-layered fuzzy inference and self-wondering mechanism as natural language processing engine of FLINS (PDF)

S. Tano , Lab. for Int. Fuzzy Eng. Res., Yokohama, Japan
W. Okamoto , Lab. for Int. Fuzzy Eng. Res., Yokohama, Japan
T. Iwatani , Lab. for Int. Fuzzy Eng. Res., Yokohama, Japan
A. Inoue , Lab. for Int. Fuzzy Eng. Res., Yokohama, Japan
R. Fujioka , Lab. for Int. Fuzzy Eng. Res., Yokohama, Japan
pp. 212-218

Application of fuzzy modeling to power plant generator control (PDF)

V.C. Zambenedetti , Dept. of Comput. Sci., Kyushu Inst. of Technol., Kitakyushu, Japan
S. Murakami , Dept. of Comput. Sci., Kyushu Inst. of Technol., Kitakyushu, Japan
pp. 197-204

Some issues of reasoning in fuzzy control: principle, practice and perspective (PDF)

Y. Tsukamoto , Dept. of Commerce & Econ., Meijo Univ., Nagoya, Japan
pp. 192-196

Customizing parallel formulations of backpropagation learning algorithm to neural network architectures: a summary of result (PDF)

M.B. Amin , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
S. Shekhar , Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
pp. 181-189

Artificial neural networks for motion analysis (PDF)

Ting Chen , Argonne Nat. Lab., IL, USA
pp. 175-180

A resonance correlation network with adaptive fuzzy leader clustering (PDF)

R.B. Cleary , Dept. of Comput. Sci., Alabama Univ., Huntsville, AL, USA
pp. 168-174

Response surface methodology for optimal neural network selection (PDF)

Chih-Chou Chiu , Dept. of Ind. Eng., Texas A&M Univ., TX, USA
J.J. Pignatiello , Dept. of Ind. Eng., Texas A&M Univ., TX, USA
pp. 161-167

Cascaded vector quantization by non-linear PCA network layers (PDF)

R.W. Brause , Fachbereich Inf., Frankfurt Univ., Germany
pp. 154-160

A formal associative model of logic programming and its abstract instruction set (PDF)

A.K. Bansal , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
P.V. Lokam , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
M.N. Ghandikota , Dept. of Math. & Comput. Sci., Kent State Univ., OH, USA
pp. 145-151

Skeletons and techniques for the systematic development of constraint logic programs (PDF)

S. Michaylov , Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
pp. 138-144

A partial breadth-first execution model for Prolog (PDF)

J. Tubella , Dept. d'Arquitectura de Computadors, Univ. Politecnica de Catalunya, Barcelona, Spain
A. Gonzalez , Dept. d'Arquitectura de Computadors, Univ. Politecnica de Catalunya, Barcelona, Spain
pp. 129-137

A WAM-based abstract machine for interval constraint logic programming (PDF)

J.H.M. Lee , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
T.W. Lee , Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Shatin, Hong Kong
pp. 122-128

The Rail Yard Manager (PDF)

M. Lewellen , Artificial Intelligence/ Oper. Res. Center, Union Pacific Railroad, Omaha, NE, USA
R. Ravula , Artificial Intelligence/ Oper. Res. Center, Union Pacific Railroad, Omaha, NE, USA
R. Swab , Artificial Intelligence/ Oper. Res. Center, Union Pacific Railroad, Omaha, NE, USA
B. Pratt , Artificial Intelligence/ Oper. Res. Center, Union Pacific Railroad, Omaha, NE, USA
pp. 112-119

Design By Expectation: a framework for engineering design optimization (PDF)

Erh-Chun Yeh , Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
pp. 105-111

Using genetic algorithms for optimal design of trusses (PDF)

C.A. Coello Coello , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
M. Rudnick , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
A.D. Christiansen , Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
pp. 88-94

Adaptive robot path planning in changing environments (PDF)

P.C. Chen , Sandia Nat. Labs., Albuquerque, NM, USA
pp. 71-77

Integrating statistical methods for characterizing causal influences on planner behavior over time (PDF)

A.E. Howe , Dept. of Comput. Sci., Colorado State Univ., Fort Collins, CO, USA
pp. 56-62

A distributed scheduling framework (PDF)

C.P. Gomes , Dept. of Artificial Intelligence, Edinburgh Univ., UK
pp. 49-55

An interactive train scheduling workbench based on artificial intelligence (PDF)

Hsien-Cheng Lin , Technol. Res. Div., Inst. for Inf. Ind., Taipei, Taiwan
pp. 42-48

Parsing unification categorial grammar with object-oriented knowledge (PDF)

Li Li , Dept. of Comput. & Inf. Sci., Alabama Univ., Birmingham, AL, USA
B.R. Bryant , Dept. of Comput. & Inf. Sci., Alabama Univ., Birmingham, AL, USA
pp. 33-39

A graphical environment for formally developing object-oriented software (PDF)

B.H.C. Cheng , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
E.Y. Wang , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
R.H. Bourdeau , Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
pp. 26-32

A new approach to modularity in rule-based programming (PDF)

D. Gadbois , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
J.C. Browne , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
M.G. Gouda , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
D.P. Miranker , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A. Mok , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
R. Bayerdo , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
S. Chodrow , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
A. Emerson , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
F. Haddix , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
T.W. Hetherington , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
L. Obermeyer , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Duu-Chung Tsou , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Chih-Kan Wang , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Rwo-Hsi Wang , Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
pp. 18-25

A tool to support knowledge based software maintenance: the Software Service Bay (PDF)

J.I. Maletic , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
R.G. Reynolds , Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
pp. 11-17

Solving diagramless crossword puzzles (PDF)

E. Pershits , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
R. Stansifer , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 4-10
95 ms
(Ver 3.3 (11022016))