| 1993 | Evaluating Evidence for Motivated Discovery. | Michael Luck |
| 1993 | Well-Founded Approximations of Autoepistemic Logic. | Jrgen Kalinski |
| 1993 | A Logical Approach for Distributed Truth Maintenance. | Thilo C. Horstmann |
| 1993 | Attribute-Specific Interchangeability in Constraint Satisfaction Problems. | Alois Haselbck, Markus Stumptner |
| 1993 | The Semantics of Rational Contractions. | Jrgen Giesl, Ingrid Neumann |
| 1993 | Organizations as Complex, Dynamic Design Problems. | Les Gasser, Ingemar A. E. Hulthage, Brian Leverich, Jon Lieb, Ann Majchrzak |
| 1993 | A Note on Chapman's Modal Truth Criterion. | Maria Fox, Derek Long |
| 1993 | Specifying and Verifying Distributed Intelligence Systems. | Michael Fisher, Michael J. Wooldridge |
| 1993 | Fast Methods for Solving Linear Diophantine Equations. | Miguel Filgueiras, Ana Paula Toms |
| 1993 | Learning Operators While Planning. | Jos Lus Ferreira, Ernesto Jorge Costa |
| 1993 | Learning Probabilistic Models by Conceptual Pyramidal Clustering. | Edwin Diday, Paula Brito, E. Mfoumoune |
| 1993 | A Uniform Framework for Deductive Database Derivation Strategies. | Robert Demolombe |
| 1993 | Inheritance in a Hierarchy of Theories. | Gabriel David, Antnio Porto |
| 1993 | Resolution of Constraints in Algebras of Rational Trees. | Lus Damas, Nelma Moreira, Sabine Broda |
| 1993 | Second Order E-Matching as a Tool for Automated Theorem Proving. | Rgis Curien |
| 1993 | A Unified Approach to Default Reasoning and Belief Revision. | Maria R. Cravo, Joo P. Martins |
| 1993 | A Text-to-Phoneme Translator for the Portuguese Language. | Geraldo Lino de Campos, Dimas Trevisan Chbane |
| 1993 | Bargaining Agents. | Stefan Bussmann, Jrgen Mller |
| 1993 | The Use and Interpretation of Meta Level Constaints. | Pierre Berlandier |
| 1993 | How to Learn in an Incomplete Knowledge Environment: Structured Objects for a Modal Approach. | Eric Auriol |
| 1993 | Assumption Set Semantics (The Procedures). | Joaquim Nunes Aparcio |
| 1993 | A Process Model for Default Logic and Its Realization in Logic Programming. | Grigoris Antoniou, Elmar Langetepe |
| 1993 | Version Space Algorithms on Hierarchies with Exceptions. | Grigoris Antoniou |
| 1991 | Adaptive Learning Using a Qualitative Feedback Loop. | Lothar Winkelbauer, Christian Stary |
| 1991 | Generalization for a Propositional Calculus: A Constraints-Based Approach. | Raoul Vorc'h |