| 1993 | A Connectionist-Symbolic Cognitive Model. Guilherme Bittencourt |
| 1993 | A Knowledge-based Approach to Group Analysis in Automated Manufacturing Systems. Kesheng Wang |
| 1993 | A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming. Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama |
| 1993 | A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks. Pierre Berlandier |
| 1993 | A Reflective Strategic Problem Solving Model. Patricia Charlton |
| 1993 | An Admissible Heuristic Search Algorithm. Li-Yen Shue, Reza Zamani |
| 1993 | An Expressive Three-valued Logic with Two Negations. Douglas R. Busch |
| 1993 | Approximation Methods for Knowledge Representation Systems. Cecylia Rauszer |
| 1993 | Automatic Theorem Generation in Plane Geometry. Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
| 1993 | Boolean Reasoning for Decision Rules Generation. Andrzej Skowron |
| 1993 | Building an Expert System Language Interpreter with the Rule Network Technique. Shie-Jue Lee, Chih-Hung Wu |
| 1993 | CENTER: A System Architecture for Matching Design and Manufacturing. Bei-Tseng Bill Chu, He Du |
| 1993 | CONSENSUS: A Method for the Development of Distributed Intelligent Systems. Michael Bateman, Sean Martin, Andrew Slade |
| 1993 | Case-Based Planning for Medical Diagnosis. Beatriz López, Enric Plaza |
| 1993 | Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step. Lin Padgham, Bernhard Nebel |
| 1993 | Compiling Proof Search in Semantic Tableaux. Joachim Posegga |
| 1993 | Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? Marta Franová, Yves Kodratoff, Martine Gross |
| 1993 | Controlled Explanation Systems. Arcot Rajasekar |
| 1993 | Defining Variants of Default Logic: a Modal Approach. Laura Giordano |
| 1993 | Development of a Programming Environment for Intelligent Robotics. Stefano Caselli, Antonio Natali, Francesco Zanichelli |
| 1993 | Expressing Program Requirements Using Refinement Lattices. David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy |
| 1993 | Expressive Extensions to Inheritance Networks. Krishnaprasad Thirunarayan |
| 1993 | Finding Logical Consequences Using Unskolemization. Ritu Chadha, David A. Plaisted |
| 1993 | Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning. Manfred Meyer, Jörg P. Müller |
| 1993 | GGD: Graph Grammar Developer for Features in CAD/CAM. Christoph Klauck, Johannes Schwagereit |
| 1993 | Input-Driven Control of Rule-Based Expert Systems. Gabriel Valiente |
| 1993 | Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification. Hakim Lounis |
| 1993 | Knowledge Management by Example. Levent V. Orman |
| 1993 | Knowledge-Based System Integration in a Concurrent Engineering Environment. Michael W. Sobolewski |
| 1993 | Learning Simple Recursive Theories. Attilio Giordana, Lorenza Saitta, Cristina Baroglio |
| 1993 | Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). Helena Rasiowa, V. Wiktor Marek |
| 1993 | MethoDex: A Methodology for Expert Systems Development. J. P. Klut, Jan H. P. Eloff |
| 1993 | Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings Henryk Jan Komorowski, Zbigniew W. Ras |
| 1993 | Methodologies for Knowledge-Based Software Engineering. Michael R. Lowry |
| 1993 | Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. Heng Chu, David A. Plaisted |
| 1993 | Modelling of Industrial Systems. Lennart Ljung |
| 1993 | Multi-Context Systems as a Tool to Model Temporal Evolution. Mauro Di Manzo, Enrico Giunchiglia |
| 1993 | Mutual Knowledge. Stanislaw Ambroszkiewicz |
| 1993 | New Design Concepts for the FLINS-Fuzzy Lingual System: Text-based and Fuzzy-centered Architectures. Shun'ichi Tano, Wataru Okamoto, Toshiharu Iwatani |
| 1993 | On Extended Disjunctive Logic Programs. Jack Minker, Carolina Ruiz |
| 1993 | On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. Andrea Schaerf |
| 1993 | On the Interpretation of Set-Oriented Fuzzy Quantified Queries and Their Evaluation in a Database Management System. Patrick Bosc, Ludovic Liétard, Olivier Pivert |
| 1993 | On the Learning of Rule Uncertainties and their Integration into Probabilistic Knowledge Bases. Beat Wüthrich |
| 1993 | On the Satisfiability of Symmetrical Constrained Satisfaction Problems. Jean-Francois Puget |
| 1993 | Reasoning about Higher Order Uncertainty in Possiblistic Logic. Churn-Jung Liau, Bertrand I-Peng Lin |
| 1993 | Recognition of Functional Dependencies in Data. Robert Zembowicz, Jan M. Zytkow |
| 1993 | Representing the Knowledge used during the Requirement Engineering Activity with Generic Structures. Georges Grosz, Colette Rolland |
| 1993 | Rough Set Learning of Preferential Attitude in Multi-Criteria Decision Making. Roman Slowinski |
| 1993 | Script and Frame: Mixed Natural Language Understanding System with Default Theory. Honghua Gan |
| 1993 | Short CNF in Finitely-Valued Logics. Reiner Hähnle |
| 1993 | Should Decision Trees be Learned from Examples of from Decision Rules? Ibrahim F. Imam, Ryszard S. Michalski |
| 1993 | Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. Neil V. Murray, Erik Rosenthal |
| 1993 | System Reorganization and Load Balancing of Parallel Database Rule Processing. Hasanat M. Dewan, Salvatore J. Stolfo |
| 1993 | Systematic Assessment of Temporal Reasoning Methode for Use in Autonomous Agnents. Erik Sandewall |
| 1993 | Terminological Logic Involving Time and Evolution: A Preliminary Report. Patrick Lambrix, Ralph Rönnquist |
| 1993 | The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. Jianhua Chen |
| 1993 | The Many Faces of Inductive Logic Programming. Luc De Raedt, Nada Lavrac |
| 1993 | Towards Intelligent Databases. François Bry |
| 1993 | Updating Logic Programs. Nicola Leone, Luigi Palopoli, Massimo Romeo |
| 1993 | Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions. C. W. R. Chau, Pawan Lingras, S. K. Michael Wong |
| 1993 | Using Semantic Information for Processing Negation and Disjunction in Logic Programs. Terry Gaasterland, Jorge Lobo |