9. ICTAI 1997: Newport Beach, CA, USA

9th International Conference on Tools with Artificial Intelligence (ICTAI '97), November 3-8, 1997, Newport Beach, CA, USA. IEEE Computer Society, 1997, online publication: http://computer.org/proceedings/ictai/8203/8203toc.htm

Intelligent Agents and Applications I

Enrico Pontelli, Gopal Gupta:
W-ACE: A Logic Language for Intelligent Internet Programming. 2-10
Eugene Eberbach:
A Generic Tool for Distributed AI with Matching as Message Passing. 11-18
Christophe Meyer, Irina Akoulchina, Jean-Gabriel Ganascia:
Two Approaches of Human Behavior Anticipation. 19-22
Harumi Maeda, Takashi Hirata, Toyoaki Nishida:
CoMeMo: Constructing and Sharing Everyday Memory. 23-

Neural Network Applications

A. Likartsis, I. Vlachavas, Lefteri H. Tsoukalas:
A New Hybrid Neural-Genetic Methodology for Improving Learning. 32-36
Shaun W. Ryan, Arvind K. Bansal:
A Scalable Distributed Heterogeneous Associative Logic Programming System. 37-44
J. Salerno:
Using the Particle Swarm Optimization Technique to Train a Recurrent Neural Model. 45-49
Nikolaos G. Bourbakis, Richard Andel:
Fusing Laser and Image Data for 3D Perceived Space Representations. 50-

Knowledge Representation and Reasoning

Laila Khreisat, Mukesh Dalal:
Anytime Reasoning with Probabilistic Inequalities. 60-66
Baher A. El-Geresy:
The Space Algebra: Spatial Reasoning without Composition Tables. 67-74
Patrick Njiwoua, Engelbert Mephu Nguifo:
IGLUE: An Instance-Based Learning System over Lattice Theory. 75-76
Li Yang, Mukesh Dalal:
Empirical Results on Anytime Propositional Reasoning . 77-

AI and Software Engineering I

Andrew Fetterer, Shashi Shekhar:
A Performance Analysis of Hierarchical Shortest Path Algorithms. 84-93
Yonghao Chen, Betty H. C. Cheng:
Formalizing and Automating Component Reuse. 94-101
Ilene Burnstein, Katherine Roberson, Floyd Saner, Abdul Mirza, Abdallah Tubaishat:
A Role for Chunking and Fuzzy Reasoning in a Program Comprehension and Debugging Tool. 102-

Genetic Algorithms and Applications I

D. B. Hillis:
Using a Genetic Algorithm for Multi-Hypothesis Tracking. 112-117
Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Giovanni Squillero:
GA-Based Performance Analysis of Network Protocols. 118-124
Alessio Gaspar, Philippe Collard:
Time Dependent Optimization with a Folding Genetic Algorithm. 125-132
S. Chuisano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda:
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. 133-

Logic Based Reasoning Systems

Keith Vanderveen, C. V. Ramamoorthy:
Anytime Reasoning in First-Order Logic. 142-148
Yi Tao, William I. Grosky, Chunnian Liu:
An Automatic Partial Deduction System for Constraint Logic Programs. 149-156
Raul H. C. Lopes, Mark Tarver:
Inducing Theorem Provers from Proofs. 157-164
Grigoris Antoniou:
Stratification: The Computational Base of a System for Default Reasoning. 165-

Natural Language Processing and Applications

A. G. Manousopoulou, George Manis, Panayotis Tsanakas, George K. Papakonstantinou:
Automatic Generation of Portable Parallel Natural Language Parsers. 174-177
Kwon Yang Kim, Se-Young Park, Sang-Jo Lee:
An Integrating Clues Method Based on Syntactic Relations for Korean Verb Sense Disambiguation. 178-181
Efstathios Stamatatos, Stephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis:
A User-Assisted Business Letter Generator Dealing with Text's Stykostic Variations. 182-189
Roger Nkambou:
Using Fuzzy Logic in ITS-Course Generation. 190-

Vision and Pattern Recognition

Bong-Su Kang, Sung-Il Chien, Kil-Taek Lim, Jin-Ho Kim:
Large Scale Pattern Recognition System using Hierarchical Neural Network and False-Alarming Nodes. 196-203
Zhebin Qian, Jie-gu Li:
Use of Hopfield Neural Network for Complex Image Registration. 204-207
Si-Hun Sung, Sung-Il Chien, Mun-Gab Kim, Joon-Nyun Kim:
Adaptive Window Algorithm with Four-Direction Sizing Factors for Robust Correlation-Based Tracking. 208-215
Gung-Wei Chirn, Jason Tsong-Li Wang, Zhiyuan Wang:
Scientific Data Classification: A Case Study. 216-

Optimization Problem Solving Tools

Benjamin W. Wah, Tao Wang, Yi Shang, Zhe Wu:
Improving the Performance of Weighted Lagrange-Multiplier Methods for Nonlinear Constrained Optimization. 224-231
Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira:
Prime Implicant Computation Using Satisfiability Algorithms. 232-239
Christine Solnon:
Cooperation of LP Solvers for Solving MILPs. 240-247
Peter J. Stuckey, Vincent Tam:
Extending EGENET with Lazy Constraint Consistency. 248-

Evolutionary Computation

Robert G. Reynolds, Chan-Jin Chung:
Fuzzy Approaches to Acquiring Experimental Knowledge in Cultural Algorithms. 260-267
Kyung-Jae Ha, Hak-Man Kim:
A Genetic Approach to the Attitude Control of an Inverted Pendulum System. 268-269
Vladimir Estivill-Castro:
Collaborative Knowledge Acquisition with a Genetic Algorithm. 270-277
Frank W. Moore, Oscar N. Garcia:
A New Methodology for Optimizing Evasive Maneuvers Under Uncertainty in the Extended Two-Dimensional Pursuer/Evader Problem. 278-

Object-Oriented Methodologies for Knowledge Representation and Reasoning

Taehyung Wang, Phillip C.-Y. Sheu:
An Object-Oriented Approach to Visual Database. 288-295
Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov:
Object-Oriented Constraint Programming Environment NeMo+ and Its Applications. 296-303
Robert L. Kelsey, Roger T. Hartley, Robert B. Webster:
An Object-Based Methodology for Knowledge Representation in SGML. 304-

Hybrid Knowledge Representation and Reasoning

Brandon Bennett, Anthony G. Cohn, Amar Isli:
Combining Multiple Representations in a Spatial Reasoning System. 314-322
Konstantinos Blekas, Aristidis Likas, Andreas Stafylopatis:
A Fuzzy Neural Network Approach to Classification Based on Proximity Characteristics of Patterns. 323-330
Melanie Hilario, Ahmed Rida, Christian Pellegrini:
A Metalevel Architecture for Knowledge-Based Neural Network Design. 331-337
Frédéric Alexandre:
Tools and Experiments for Hybrid Neuro-Symbolic Processing. 338-

Genetic Algorithms and Applications II

Gang Wang, Erik D. Goodman, William F. Punch III:
Toward the Optimization of a Class of Black Box Optimization Algorithms. 348-356
Hideaki Suzuki, Yoh Iwasa:
GA Performance in a Babel-like Fitness Landscape. 357-366
Hisashi Shimodaira:
DCGA: A Diversity Control Oriented Genetic Algorithm. 367-374
Roman Neruda:
Yet Another Genetic Algorithm for Feed-Forward Neural Networks. 375-

Panel: Intelligent Agents

Neural Networks

Nikolaos G. Bourbakis, Richard Andel, Anthony Hall:
Visual Target Tracking and Extraction from a Sequence of Images. 384-391
Li Bai, Dave Elliman:
Fuzzy Classification by a CMAC Network. 392-395
Ten-Ho Lin, Von-Wun Soo:
Pruning Fuzzy ARTMAP using the Minimum Description Length Principle in Learning from Clinical Databases. 396-

Knowledge Based Systems and Their Applications

Wen F. Lu, Xiaoqing Frank Liu, Hsin-Chi Chang, Lijun Dong:
Feature-Based Representation and Indexing of Axisymmetric Parts in Machining Process Planning using Case-Based Reasoning. 406-413
J. C. Tay, S. Y. Huang, Hiok Chai Quek:
CSL (Part I): Modelling General N-ary, Logical CSPs. 414-421
J. C. Tay, S. Y. Huang, Hiok Chai Quek:
CSL (Part II): Modelling General N-ary, Logical CSPs. 422-429
Mikio Sasaki, Tetsuya Mishuku, Akira Takano, Satoshi Tanaka, Akira Maeda:
Development of "Intelligent WorkFlow System" Using Know-how Acquired Based on Work Order. 430-437
Holly Ingham, Richard Helfman, Tim Hanratty, John Dumer, Edmund H. Baur:
TED-Turbine Engine Diagnostics: A Practical Application of a Diagnostic Expert System. 438-

Artificial Intelligence and Software Engineering II

Susan Craw, Robin Boswell, Ray Rowe:
Knowledge Refinement to Debug and Maintain a Tablet Formulation System. 446-453
Yau-Hwang Kuo, Shiuh-Chu Lee:
Software Development Tool for Object-Oriented Fuzzy Knowledge Systems. 454-461
T. Leonard, Valdis Berzins, Luqi, M. J. Holden:
Gathering Requirements from Remote Users. 462-

Intelligent User Interface and Scheduling

Robert J. Hilderman, Liangchun Li, Howard J. Hamilton:
Data Visualization in the DB-Discover System. 474-477
Jean-Michel Gallone, François Charpillet:
Real Time Scheduling with Neurosched. 478-479
Kevin Cai, Xindong Wu, Heinz W. Schmidt:
Schedular++: Scheduling with Knowledge Objects. 480-483
Kerstin Voigt:
Towards Individualized Information Navigation Tools that Adapt to User Domain Expertise. 484-485
Hideki Kawabe, Yoshimi Fukumura, Nobuo Mutoh, Hiroaki Karasawa, Shigehito Iwase:
An Intelligent Directory-Assistance System Using Natural Language Processing and Mapping. 486-

Panel: Data Mining

Intelligent Agents and Applications II

Stefan Covaci, Tianning Zhang, Ingo Busse:
Java-Based Intelligent Mobil Agents for Open System Management. 492-501
François Charpillet, Anne Boyer:
Progress: An Approach for Defining and Monitoring Non-Deterministic Design-to-Time Methods. 502-507
Philippe Morignot, Olivier Aycard, François Charpillet:
A Pair of Heterogenous Agents in a Unique Vehicle for Object Motion. 508-513
Sheila B. Banks, Eugene Santos Jr., Martin R. Stytz:
Enhancing Behavioral Fidelity within Distributed Virtual Environments. 514-

Machine Learning

Ockkeun Lee, Gheorghe Tecuci:
MTLS: A Tool for Extending and Refining Knowledge Bases. 524-531
Manoranjan Dash, Hua Liu, J. Yao:
Dimensionality Reduction of Unsupervised Data. 532-539
Robert J. Hammell II, Thomas Sudkamp:
A Fuzzy Model for Learning and Adaptivity. 540-547
Xiaohua Hu, Nick Cercone:
Learning Maximal Generalized Decision Rules via Discretization, Generalization, and Rough Set Feature Selection. 548-

Knowledge Discovery in Knowledge Based Systems

Robert Cooley, Bamshad Mobasher, Jaideep Srivastava:
Web Mining: Information and Pattern Discovery on the World Wide Web. 558-567
Isamu Shioya, Takao Miura:
Knowledge Discovery in Scheme Approximation. 568-573
John Zeleznikow, Andrew Stranieri:
Knowledge Discovery in the Legal Domain . 574-577
Eamonn J. Keogh:
Fast Similarity Search in the Presence of Longitudinal Scaling in Time Series Databases. 578-584