| 1993 | Learning Simple Recursive Theories. | Attilio Giordana, Lorenza Saitta, Cristina Baroglio |
| 1993 | Script and Frame: Mixed Natural Language Understanding System with Default Theory. | Honghua Gan |
| 1993 | Using Semantic Information for Processing Negation and Disjunction in Logic Programs. | Terry Gaasterland, Jorge Lobo |
| 1993 | Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? | Marta Franov, Yves Kodratoff, Martine Gross |
| 1993 | Input-Driven Control of Rule-Based Expert Systems. | Gabriel Valiente |
| 1993 | System Reorganization and Load Balancing of Parallel Database Rule Processing. | Hasanat M. Dewan, Salvatore J. Stolfo |
| 1993 | Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. | Heng Chu, David A. Plaisted |
| 1993 | CENTER: A System Architecture for Matching Design and Manufacturing. | Bei-Tseng Bill Chu, He Du |
| 1993 | The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning. | Jianhua Chen |
| 1993 | Upper and Lower Entropies of Belief Functions Using Compatible Probability Functions. | C. W. R. Chau, Pawan Lingras, S. K. Michael Wong |
| 1993 | A Reflective Strategic Problem Solving Model. | Patricia Charlton |
| 1993 | Finding Logical Consequences Using Unskolemization. | Ritu Chadha, David A. Plaisted |
| 1993 | Development of a Programming Environment for Intelligent Robotics. | Stefano Caselli, Antonio Natali, Francesco Zanichelli |
| 1993 | An Expressive Three-valued Logic with Two Negations. | Douglas R. Busch |
| 1993 | Towards Intelligent Databases. | Franois Bry |
| 1993 | A Logical Reconstruction of Constraint Relaxation Hierarchies in Logic Programming. | Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama |
| 1993 | On the Interpretation of Set-Oriented Fuzzy Quantified Queries and Their Evaluation in a Database Management System. | Patrick Bosc, Ludovic Litard, Olivier Pivert |
| 1993 | A Connectionist-Symbolic Cognitive Model. | Guilherme Bittencourt |
| 1993 | A Performance Evaluation of Backtrack-Bounded Search Methods for N-ary Constraint Networks. | Pierre Berlandier |
| 1993 | CONSENSUS: A Method for the Development of Distributed Intelligent Systems. | Michael Bateman, Sean Martin, Andrew Slade |
| 1993 | Automatic Theorem Generation in Plane Geometry. | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
| 1993 | Mutual Knowledge. | Stanislaw Ambroszkiewicz |
| 1991 | Constructing Models of Hidden Structure. | Jan M. Zytkow, Paul J. Fischer |
| 1991 | Automated Discovery of Empirical Equations from Data. | Robert Zembowicz, Jan M. Zytkow |
| 1991 | Towards Implementing Valuation Based Systems with Relational Databases. | S. K. Michael Wong, Pawan Lingras, Yiyu Yao |