| 1998 | COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. | Carlos Castro |
| 1998 | Specification and Integration of Theorem Provers and Computer Algebra Systems. | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
| 1998 | Finite Model Search for Equational Theories (FMSET). | Belaid Benhamou, Laurent Henocque |
| 1998 | Automatic Generation of Epsilon-Delta Proofs of Continuity. | Michael Beeson |
| 1998 | Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. | Clemens Ballarin, Lawrence C. Paulson |
| 1998 | From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. | Alessandro Armando, Silvio Ranise |
| 1996 | Geometry Machines: From AI to SMC. | Dongming Wang |
| 1996 | Interactive Theorem Proving and Finite Projective Planes. | Johannes Ueberberg |
| 1996 | Data Types in Subdefinite Models. | Vitaly Telerman, Dmitry Ushakov |
| 1996 | Towards a Sheaf Semantics for Cooperating Agents Scenarios. | Viorica Sofronie |
| 1996 | Symbolic Computation and Teaching. | Dana S. Scott |
| 1996 | A New Approach on Solving 3-Satisfiability. | Robert Rodosek |
| 1996 | An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas |
| 1996 | Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future. | Gunther Reinhart, Rolf Diesch, Michael R. Koch |
| 1996 | Soundness and Completeness versus Lifting Property. | Jan A. Plaza |
| 1996 | PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. | Christopher Lynch, Polina Strogova |
| 1996 | Towards Modelling the Topology of Homogeneous Manifolds by Means of Symbolic Computation. | Michael Joswig |
| 1996 | Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. | Antonio Gavilanes, Javier Leach, Pedro J. Martn, Susana Nieva |
| 1996 | Backward Reasoning in Systems with Cut. | Elmar Eder |
| 1996 | Measuring the Likely Effectiveness of Strategies. | Brian J. Dupe |
| 1996 | Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots. | Rdiger Dillmann, Holger Friedrich |
| 1996 | Compromised Updates in Labelled Databases. | Ftima C. C. Dargam |
| 1996 | Calculi for Qualitative Spatial Reasoning. | Anthony G. Cohn |
| 1996 | Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
| 1996 | Proof Transformation for Non-Compatible Rewriting. | Reinhard Bndgen |