| 1993 | Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). | Helena Rasiowa, V. Wiktor Marek |
| 1993 | Controlled Explanation Systems. | Arcot Rajasekar |
| 1993 | The Many Faces of Inductive Logic Programming. | Luc De Raedt, Nada Lavrac |
| 1993 | On the Satisfiability of Symmetrical Constrained Satisfaction Problems. | Jean-Francois Puget |
| 1993 | Compiling Proof Search in Semantic Tableaux. | Joachim Posegga |
| 1993 | Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step. | Lin Padgham, Bernhard Nebel |
| 1993 | Knowledge Management by Example. | Levent V. Orman |
| 1993 | Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. | Neil V. Murray, Erik Rosenthal |
| 1993 | On Extended Disjunctive Logic Programs. | Jack Minker, Carolina Ruiz |
| 1993 | Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning. | Manfred Meyer, Jrg P. Mller |
| 1993 | Multi-Context Systems as a Tool to Model Temporal Evolution. | Mauro Di Manzo, Enrico Giunchiglia |
| 1993 | Methodologies for Knowledge-Based Software Engineering. | Michael R. Lowry |
| 1993 | Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification. | Hakim Lounis |
| 1993 | Case-Based Planning for Medical Diagnosis. | Beatriz Lpez, Enric Plaza |
| 1993 | Modelling of Industrial Systems. | Lennart Ljung |
| 1993 | Reasoning about Higher Order Uncertainty in Possiblistic Logic. | Churn-Jung Liau, Bertrand I-Peng Lin |
| 1993 | Updating Logic Programs. | Nicola Leone, Luigi Palopoli, Massimo Romeo |
| 1993 | Building an Expert System Language Interpreter with the Rule Network Technique. | Shie-Jue Lee, Chih-Hung Wu |
| 1993 | Terminological Logic Involving Time and Evolution: A Preliminary Report. | Patrick Lambrix, Ralph Rnnquist |
| 1993 | MethoDex: A Methodology for Expert Systems Development. | J. P. Klut, Jan H. P. Eloff |
| 1993 | GGD: Graph Grammar Developer for Features in CAD/CAM. | Christoph Klauck, Johannes Schwagereit |
| 1993 | Should Decision Trees be Learned from Examples of from Decision Rules? | Ibrahim F. Imam, Ryszard S. Michalski |
| 1993 | Short CNF in Finitely-Valued Logics. | Reiner Hhnle |
| 1993 | Representing the Knowledge used during the Requirement Engineering Activity with Generic Structures. | Georges Grosz, Colette Rolland |
| 1993 | Defining Variants of Default Logic: a Modal Approach. | Laura Giordano |