Table of Contents

• Will Symbolic AI Be Replaced by Neural Networks? (Panel)Rüdiger W. Brause. 1
• Integrating Symbolic Processing and Neural NetworksGail A. Carpenter, Stephen Grossberg. 2
• Integrating of AI, Database, and Software Engineering - Research Issues, Practical Problems (Panel)Matthias Jarke, Robert G. Reynolds. 3
• Quality of Heuristic Programs (Panel)Wei-Tek Tsai, Imran A. Zualkernan. 4
• Real Time and AI (Panel)Shashi Shekhar. 5
• Tools for Constraint Satisfaction (Panel)Eugene C. Freuder. 6
• Tools for Constraint SatisfactionEugene C. Freuder. 7
• Bottom Up Logic Programming as an Inference ToolDavid A. McAllester. 8
• Non-Systematic Search Methods for Model FindingBart Selman. 9
• Constraint Programming LanguagesPascal Van Hentenryck. 10
• The Future Direction of AI Tools (Panel)John Mylopoulos. 11
• Transform Coding by Lateral Inhibited Neural NetsRüdiger W. Brause. 14-21
• Data Transformation for Learning in Feedforward Neural NetsCris Koutsougeras, R. Srikanth. 22-29
• Logical and Linear Dependencies Extraction from Trained Neural NetworksRaqui Kane, Maurice Milgram. 30-33
• Neural-Logic Belief Networks - A Tool for Knowledge Representation and ReasoningBoon Toh Low. 34-37
• The Implementation of a First-Order Logic AGM Belief Revision SystemSimon Dixon, Wayne Wobcke. 40-47
• Nogood Recording for Static and Dynamic Constraint Satisfaction ProblemsThomas Schiex, Gérard Verfaillie. 48-55
• Constraint Relaxation in Distributed Constraint Satisfaction ProblemsMakoto Yokoo. 56-63
• Genetic Algorithms in Industrial DesignJakob Axelsson, Stefan Menth, Klaus Semmler. 64-67
• Using the Active Object Model to Implement Multi-Agent SystemsEleri Cardozo, Jaime Simão Sichman, Yves Demazeau. 70-77
• Principled Animation of Artificial Intelligence AlgorithmsMark Perlin. 78-86
• A Method for Translating CLP (R) Rules into ObjectsTa-Cheng Yu, Jie-Yong Juang. 87-94
• Object-Oriented Programming and Frame-Based Knowledge RepresentationChristian Rathke. 95-98
• Enhancing Reuse of Smalltalk Methods by Conceptual ClusteringR. Jetzelsperger, Stan Matwin, Franz Oppacher. 108-112
• Using Analogy and Formal Methods for Software ReuseJun-Jang Jeng, Betty H. C. Cheng. 113-116
• An Intelligent Tool for UNIX Performance TuningRaul Velez, Du Zhang, James Kho. 118-122
• Task Based Modelling for Problem Solving StrategiesP. Uvietta, Jutta Willamowski, Danielle Ziébelin. 123-126
• Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System127-130
• An Empirical Evaluation of Beam Search and Pruning in BEXAHendrik Theron, Ian Cloete. 132-139
• Prohabilistic Induction of Decision Trees and Disjunctive Normal FormsXiao-Jia M. Zhou, Tharam S. Dillon. 140-144
• The Use of a Machine Learning Toolbox on Industrial ApplicationsN. J. Puzey, T. J. Parsons, P. F. Sims, M. Green, T. Brookes. 145-149
• A Combined Object-Oriented and Logic Programming Tool for AIMarcelo Jenkins, Daniel L. Chester. 152-159
• Knowledge Representation and Reasoning in a System Integration Logic in ObjectsIoannis Hatzilygeroudis. 160-167
• A Fast Hill-Climbing Approach Without an Energy Function for Probabilistic ReasoningEugene Santos Jr.. 170-179
• Networked Bubble Propagation Method as a Polynomial-Time Hypothetical Reasoning for Computing Quasi-Optimal SolutionYukio Ohsawa, Mitsuru Ishizuka. 184-187
• Experimental Evaluation of Output-Based Partition Testing for Expert SystemsImran A. Zualkernan, Yuan-Jing Lin. 190-197
• Illustration of a Decision Table Tool for Specifying and Implementing Knowledge Based SystemsJan Vanthienen, E. Dries. 198-205
• Incorporating Domain Specific Knowledge into Version Space SearchWilliam Sverdlik, Robert G. Reynolds. 216-223
• Self-Adjusting Real-Time Search: A Summary of ResultsShashi Shekhar, Babak Hamidzadeh. 224-231
• Fast Hypothetical Reasoning Using Analogy on Inference-Path NetworksMitsuru Ishizuka, Akinori Abe. 232-239
• Short Term Unit-Commitment Using Genetic AlgorithmsDipankar Dasgupta, Douglas R. McGregor. 240-247
• A Marker-Passing Algorithm for Reference ResolutionSeungho Cha, Dan I. Moldovan. 250-257
• CARAMEL: A Step Towards Reflection in Natural Language Understanding SystemsGérard Sabah, Xavier Briffault. 258-265
• QUIXOTE as a Tool for Natural Language ProcessingSatoshi Tojo, Hiroshi Tsuda, Hideki Yasukawa, Kazumasa Yokota, Yukihiro Morita. 266-270
• Management of Graphical Symbols in a CAD Environment: A Neural Network ApproachDer-Shung Yang, Julie L. Webster, Larry A. Rendell, James H. Garrett Jr., Doris S. Shaw. 272-279
• On Features Used for Handwritten Character Recognition in a Neural Network EnvironmentAkhtar Jameel, Cris Koutsougeras. 280-284
• An Architecture of Neural Network for Fuzzy Teaching InputsHahn-Ming Lee, Weng-Tang Wang. 285-288
• Meaning Description by SD-Forms and a Prototype of a Conversational-Text Retrieval SystemEiji Kawaguchi, Marilyn Lee, Koichi Nozaki. 306-310
• Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial SearchingNeng-Fa Zhou. 312-319
• Evaluating Logical Queries by Means of Communicating ProcessesDu Zhang, Weining Zhang. 320-324
• The Application of a Multi-Modal Preferential Logic to the Design of Rational AgentsHua Shu. 325-328
• A Connectionist Shell for Developing Expert Decision Support SystemsTong-Seng Quah, Chew Lim Tan, Hoon heng Teh. 330-337
• Neural Network Optimization Tool Based on Predictive MDL Principle for Time Series PredictionMikko Lehtokangas, Jukka Saarinen, Pentti Huuhtanen, Kimmo Kaski. 338-342
• Paper Web Quality Profile Analysis Tool Based on Artificial Neural NetworksJukka Vanhala, Pekka Pakarinen, Kimmo Kaski. 343-347
• The Analysis of Cost Error in Parallel Simulated AnnealingChul-Eui Hong, Il-Yong Chung, Hee-Il Ahn. 348-355
• Robust Feature Selection AlgorithmsHaleh Vafaie, Kenneth DeJong. 356-363
• Knowledge Based Tools for Risk Assessment in Software Development and ReuseC. V. Ramamoorthy, C. Chandra, S. Ishihara, Y. Ng. 364-371
• PARTES: A Partitioning Scheme for Parallel MatchingStefano Gallucci, Jack Tan, Kuo-Wei Hwang. 374-380
• A Parallel Search-and-Learn Technique for Solving Large Scale TSPC. P. Ravikumar. 381-388
• A Visual Inspection-Diagnosis Expert System for Printed Circuit Boards: Reverse EngineeringAli Moghaddamzadeh, Nikolaos G. Bourbakis. 396-403
• New Techniques for Inference in Assumption-Based Truth Maintenance SystemsClaudette Cayrol, Michel Cayrol, Olivier Palmade. 404-407
• A Research for Visual ReasoningJianxiang Wang, Shenquan Liu. 408-411
• HML - An Approach for Refining/Managing Knowledge Discovered from DatabasesNing Zhong, Setsuo Ohsuga. 418-426
• A Tool for Classifying Office DocumentsXiaolong Hao, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng. 427-434
• Sampling Issues in Generating Rules from DatabasesChanghwan Lee. 435-439
• Data Analysis in Scientific DatabasesFatma Mili. 442-443
• On Metatheoretic Properties of Logic-Based Abductive InferencePierre Marquis. 444-445
• NALIG: A CAD System for Interior Design with High Level Interaction CapabilitiesAlessandro Armando, Paolo Pecchiari. 446-447
• Integration of Multiple Knowledge Representation for Classification ProblemsMidori Tanaka, Norimasa Aoyama, Atsushi Sugiura, Yoshiyuki Koseki. 448-449
• Parallel Processing and Hardware Support of SymbolsMasa-Aki Fukase, Tadao Nakamura. 450-451
• Experiments in Distributed Constraint SatisfactionJ. T. Buchanan, Q. Y. Luo, P. G. Hendry. 454-455
• Dynamically Configurable Combinatory Logic Array as Boolean Neural NetworkJarkko Niittylahti, Harri Raittinen, Kimmo Kaski. 456-457
• Self-Organizing Navigation: From Neural Maps to Navigation SituationsR. Dellacasa, Pietro Morasso, S. Repetto, Gianni Vercelli, Renato Zaccaria. 458-459
• An Extension of the Back-Propagation Algorithm to Three Dimensions by Vector ProductTohru Nitta. 460-461
• Checking the Correctness of Mission PlansJohn A. Allen, Renuka Shankar. 462-463
• A Training System Shell for the WorkplaceXueming Huang, John W. Brahan, Sieu Phan. 464-465
• An Inference Browser to Verify Knowledge BasesSuk I. Yoo, Chang H. Park. 466-467
• The Design and Implementation of a Rule-Based Expert System LanguageChih-Hung Wu, Shie-Jue Lee, Hung-Sen Chou, Cheng-Jer Yu. 468-469
• An Expert System Building Tool Supporting Knowledge Compilation and ManagementXiaoqing Liu, Nengbin Wang, Guangfu Liu. 470-471
• Modifying Rete to Reason TemporallyMarcus A. Maloof, Krys Kochut. 472-473
• Meta-COOP: An AI Tool with Embedding Rules, Frames, and Numerical Computing in an Object-Oriented EnvironmentMing Rao, Qun Wang. 476-477
• Interleaving Planning with Execution using the Success Probability - Preliminary ReportSeiji Yamada, Yoshinori Isoda, Jun ichi Toyoda. 478-479
• A Fuzzy Logic Expert System for Fault Diagnosis and Security Assessment of Power TransformersPing Zhou, Shiheng Xu. 480-481
• MERIT MotifsUlrich Thiel, Martin Kracker, Adelheit Stein. 482-483
• Flexible Script-Handling Techniques for Natural Language Understanding SystemsStephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis. 486-487
• Concrete Browsing of a Graphical Toolkit LibraryDenys Duchier. 491-492
• Non-Violent ProgrammingJean Pierre Fournier. 493-494
• Advantages of Meta-Level Control Architectures in Maintaining Rule-Based SystemsYutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara. 495-496
• How to Distribute an Existing Modular Expert System ShellAnne-Marie Dery, W. Lejouad, Coco Djossou. 497-498