| 1993 | A Combined Object-Oriented and Logic Programming Tool for AI. Marcelo Jenkins, Daniel L. Chester |
| 1993 | A Connectionist Shell for Developing Expert Decision Support Systems. Tong-Seng Quah, Chew Lim Tan, Hoon heng Teh |
| 1993 | A Constructivist Approach to Tense and Aspect: From Text to Polytyped Strings. Agnès Dormont, Jean-Pierre Gruselle |
| 1993 | A Fast Hill-Climbing Approach Without an Energy Function for Probabilistic Reasoning. Eugene Santos Jr. |
| 1993 | A Fuzzy Logic Expert System for Fault Diagnosis and Security Assessment of Power Transformers. Ping Zhou, Shiheng Xu |
| 1993 | A Language Model for Parsing Very Long Chinese Sentences. Hsin-Hsi Chen |
| 1993 | A Marker-Passing Algorithm for Reference Resolution. Seungho Cha, Dan I. Moldovan |
| 1993 | A Method for Translating CLP (R) Rules into Objects. Ta-Cheng Yu, Jie-Yong Juang |
| 1993 | A New Metric for Self-Organizing Feature Maps Allows Mapping of Arbitrary Parallel Programs. Jürgen W. Meyer |
| 1993 | A Parallel Search-and-Learn Technique for Solving Large Scale TSP. C. P. Ravikumar |
| 1993 | A Research for Visual Reasoning. Jianxiang Wang, Shenquan Liu |
| 1993 | A Simple and Efficient Method for Diagnosing Equipment Faults Using Equations Representing the Steady State. Hisashi Shimodaira |
| 1993 | A Tool for Classifying Office Documents. Xiaolong Hao, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng |
| 1993 | A Training System Shell for the Workplace. Xueming Huang, John W. Brahan, Sieu Phan |
| 1993 | A Visual Inspection-Diagnosis Expert System for Printed Circuit Boards: Reverse Engineering. Ali Moghaddamzadeh, Nikolaos G. Bourbakis |
| 1993 | Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems. Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara |
| 1993 | An Architecture of Neural Network for Fuzzy Teaching Inputs. Hahn-Ming Lee, Weng-Tang Wang |
| 1993 | An Empirical Evaluation of Beam Search and Pruning in BEXA. Hendrik Theron, Ian Cloete |
| 1993 | An Expert System Building Tool Supporting Knowledge Compilation and Management. Xiaoqing Liu, Nengbin Wang, Guangfu Liu |
| 1993 | An Extension of the Back-Propagation Algorithm to Three Dimensions by Vector Product. Tohru Nitta |
| 1993 | An Inference Browser to Verify Knowledge Bases. Suk I. Yoo, Chang H. Park |
| 1993 | An Intelligent Tool for UNIX Performance Tuning. Raul Velez, Du Zhang, James Kho |
| 1993 | An Interactive Consistency Maintenance System and Its Logical Framework. Wei Li |
| 1993 | An Operating Context-Sensitive Approach to Fault Detection of Mechatronic Systems. Matti Kurki, Jarmo Hirvinen |
| 1993 | Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching. Neng-Fa Zhou |
| 1993 | Bottom Up Logic Programming as an Inference Tool. David A. McAllester |
| 1993 | CARAMEL: A Step Towards Reflection in Natural Language Understanding Systems. Gérard Sabah, Xavier Briffault |
| 1993 | Checking the Correctness of Mission Plans. John A. Allen, Renuka Shankar |
| 1993 | Concrete Browsing of a Graphical Toolkit Library. Denys Duchier |
| 1993 | Constraint Programming Languages. Pascal Van Hentenryck |
| 1993 | Constraint Relaxation in Distributed Constraint Satisfaction Problems. Makoto Yokoo |
| 1993 | Data Analysis in Scientific Databases. Fatma Mili |
| 1993 | Data Transformation for Learning in Feedforward Neural Nets. Cris Koutsougeras, Radhakrishnan Srikanth |
| 1993 | Dynamically Configurable Combinatory Logic Array as Boolean Neural Network. Jarkko Niittylahti, Harri Raittinen, Kimmo Kaski |
| 1993 | Elastic Version Space: A Knowledge Acquisition Method with Background Knowledge Adjustment. Ken-Ichi Hagiwara |
| 1993 | Enhancing Reuse of Smalltalk Methods by Conceptual Clustering. R. Jetzelsperger, Stan Matwin, Franz Oppacher |
| 1993 | Evaluating Logical Queries by Means of Communicating Processes. Du Zhang, Weining Zhang |
| 1993 | Experimental Evaluation of Output-Based Partition Testing for Expert Systems. Imran A. Zualkernan, Yuan-Jing Lin |
| 1993 | Experiments in Distributed Constraint Satisfaction. J. T. Buchanan, Q. Y. Luo, P. G. Hendry |
| 1993 | Fast Hypothetical Reasoning Using Analogy on Inference-Path Networks. Mitsuru Ishizuka, Akinori Abe |
| 1993 | Fifth International Conference on Tools with Artificial Intelligence, ICTAI '93, Boston, Massachusetts, USA, November 8-11, 1993 |
| 1993 | Flexible Script-Handling Techniques for Natural Language Understanding Systems. Stephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis |
| 1993 | Generalizing Evidence Theory to Lattices to Manage Uncertainty. Sheng Guan |
| 1993 | Genetic Algorithms in Industrial Design. Jakob Axelsson, Stefan Menth, Klaus Semmler |
| 1993 | HML - An Approach for Refining/Managing Knowledge Discovered from Databases. Ning Zhong, Setsuo Ohsuga |
| 1993 | How to Distribute an Existing Modular Expert System Shell. Anne-Marie Dery, Wided Lejouad, Coco Djossou |
| 1993 | Illustration of a Decision Table Tool for Specifying and Implementing Knowledge Based Systems. Jan Vanthienen, Elke Dries |
| 1993 | Incorporating Domain Specific Knowledge into Version Space Search. William Sverdlik, Robert G. Reynolds |
| 1993 | Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System. Jérôme Gensel, Pierre Girard, Olivier Schmeltzer |
| 1993 | Integrating Symbolic Processing and Neural Networks. Gail A. Carpenter, Stephen Grossberg |
| 1993 | Integrating of AI, Database, and Software Engineering - Research Issues, Practical Problems (Panel). Matthias Jarke, Robert G. Reynolds |
| 1993 | Integration of Multiple Knowledge Representation for Classification Problems. Midori Tanaka, Norimasa Aoyama, Atsushi Sugiura, Yoshiyuki Koseki |
| 1993 | Interleaving Planning with Execution using the Success Probability - Preliminary Report. Seiji Yamada, Yoshinori Isoda, Jun'ichi Toyoda |
| 1993 | Interval Constraint Satisfaction Tool INC++. Eero Hyvönen, Stefano De Pascale, Aarno Lehtola |
| 1993 | Knowledge Based Tools for Risk Assessment in Software Development and Reuse. C. V. Ramamoorthy, Charu Chandra, S. Ishihara, Y. Ng |
| 1993 | Knowledge Representation and Reasoning in a System Integration Logic in Objects. Ioannis Hatzilygeroudis |
| 1993 | Logical and Linear Dependencies Extraction from Trained Neural Networks. Raqui Kane, Maurice Milgram |
| 1993 | MERIT Motifs. Ulrich Thiel, Martin Kracker, Adelheit Stein |
| 1993 | Maintaining Consistency in a Quantitative Time Manager. Roberto Cervoni, Amedeo Cesta, Angelo Oddi |
| 1993 | Management of Graphical Symbols in a CAD Environment: A Neural Network Approach. Der-Shung Yang, Julie L. Webster, Larry A. Rendell, James H. Garrett Jr., Doris S. Shaw |
| 1993 | Meaning Description by SD-Forms and a Prototype of a Conversational-Text Retrieval System. Eiji Kawaguchi, Marilyn Lee, Koichi Nozaki |
| 1993 | Meta-COOP: An AI Tool with Embedding Rules, Frames, and Numerical Computing in an Object-Oriented Environment. Ming Rao, Qun Wang |
| 1993 | Modeling Autonomous Agents in a Knowledge Based Simulation Environment. M. Zeller, Rüdiger Mock-Hecker |
| 1993 | Modifying Rete to Reason Temporally. Marcus A. Maloof, Krys J. Kochut |
| 1993 | NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. Alessandro Armando, Paolo Pecchiari |
| 1993 | Networked Bubble Propagation Method as a Polynomial-Time Hypothetical Reasoning for Computing Quasi-Optimal Solution. Yukio Ohsawa, Mitsuru Ishizuka |
| 1993 | Neural Network Optimization Tool Based on Predictive MDL Principle for Time Series Prediction. Mikko Lehtokangas, Jukka Saarinen, Pentti Huuhtanen, Kimmo Kaski |
| 1993 | Neural-Logic Belief Networks - A Tool for Knowledge Representation and Reasoning. Boon Toh Low |
| 1993 | New Techniques for Inference in Assumption-Based Truth Maintenance Systems. Claudette Cayrol, Michel Cayrol, Olivier Palmade |
| 1993 | Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. Thomas Schiex, Gérard Verfaillie |
| 1993 | Non-Systematic Search Methods for Model Finding. Bart Selman |
| 1993 | Non-Violent Programming. Jean Pierre Fournier |
| 1993 | Object-Oriented Programming and Frame-Based Knowledge Representation. Christian Rathke |
| 1993 | On Features Used for Handwritten Character Recognition in a Neural Network Environment. Akhtar Jameel, Cris Koutsougeras |
| 1993 | On Metatheoretic Properties of Logic-Based Abductive Inference. Pierre Marquis |
| 1993 | PARTES: A Partitioning Scheme for Parallel Matching. Stefano Gallucci, Jack Tan, Kuo-Wei Hwang |
| 1993 | Paper Web Quality Profile Analysis Tool Based on Artificial Neural Networks. Jukka Vanhala, Pekka Pakarinen, Kimmo Kaski |
| 1993 | Parallel Processing and Hardware Support of Symbols. Masa-Aki Fukase, Tadao Nakamura |
| 1993 | Principled Animation of Artificial Intelligence Algorithms. Mark Perlin |
| 1993 | Prohabilistic Induction of Decision Trees and Disjunctive Normal Forms. Xiao-Jia M. Zhou, Tharam S. Dillon |
| 1993 | QUIXOTE as a Tool for Natural Language Processing. Satoshi Tojo, Hiroshi Tsuda, Hideki Yasukawa, Kazumasa Yokota, Yukihiro Morita |
| 1993 | Quality of Heuristic Programs (Panel). Wei-Tek Tsai, Imran A. Zualkernan |
| 1993 | Real Time and AI (Panel). Shashi Shekhar |
| 1993 | Robust Feature Selection Algorithms. Haleh Vafaie, Kenneth A. De Jong |
| 1993 | Sampling Issues in Generating Rules from Databases. Changhwan Lee |
| 1993 | Self-Adjusting Real-Time Search: A Summary of Results. Shashi Shekhar, Babak Hamidzadeh |
| 1993 | Self-Organizing Navigation: From Neural Maps to Navigation Situations. R. Dellacasa, Pietro Morasso, S. Repetto, Gianni Viardo Vercelli, Renato Zaccaria |
| 1993 | Short Term Unit-Commitment Using Genetic Algorithms. Dipankar Dasgupta, Douglas R. McGregor |
| 1993 | Task Based Modelling for Problem Solving Strategies. P. Uvietta, Jutta Willamowski, Danielle Ziébelin |
| 1993 | Temporal Interpretations of Sentences with Complement Clauses. Hsiu-Hui Lee |
| 1993 | The Analysis of Cost Error in Parallel Simulated Annealing. Chul-Eui Hong, Il-Yong Chung, Hee-Il Ahn |
| 1993 | The Application of a Multi-Modal Preferential Logic to the Design of Rational Agents. Hua Shu |
| 1993 | The Design and Implementation of a Rule-Based Expert System Language. Chih-Hung Wu, Shie-Jue Lee, Hung-Sen Chou, Cheng-Jer Yu |
| 1993 | The Future Direction of AI Tools (Panel). John Mylopoulos |
| 1993 | The Implementation of a First-Order Logic AGM Belief Revision System. Simon Dixon, Wayne Wobcke |
| 1993 | The Use of a Machine Learning Toolbox on Industrial Applications. N. J. Puzey, T. J. Parsons, P. F. Sims, M. Green, T. Brookes |
| 1993 | Tools for Constraint Satisfaction (Panel). Eugene C. Freuder |
| 1993 | Tools for Constraint Satisfaction. Eugene C. Freuder |
| 1993 | Transform Coding by Lateral Inhibited Neural Nets. Rüdiger W. Brause |
| 1993 | Using Analogy and Formal Methods for Software Reuse. Jun-Jang Jeng, Betty H. C. Cheng |
| 1993 | Using the Active Object Model to Implement Multi-Agent Systems. Eleri Cardozo, Jaime Simão Sichman, Yves Demazeau |
| 1993 | Will Symbolic AI Be Replaced by Neural Networks? (Panel). Rüdiger W. Brause |