| 2000 | Reasoning about the Elementary Functions of Complex Analysis. | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
| 2000 | Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. | Martine Ceberio, Laurent Granvilliers |
| 2000 | Basic Operators for Solving Constraints via Collaboration of Solvers. | Carlos Castro, ric Monfroy |
| 2000 | On Communicating Proofs in Interactive Mathematical Documents. | Olga Caprotti, Martijn Oostdijk |
| 2000 | Composite Distributive Lattices as Annotation Domains for Mediators. | Jacques Calmet, Peter Kullmann, Morio Taneda |
| 2000 | A Proof Strategy Based on a Dual Representation. | Guilherme Bittencourt, Isabel Tonin |
| 2000 | Negotiation Algorithms for Multi-agent Interactions. | Marco A. Arranz |
| 1998 | Representing and Reasoning with Context. | Richmond H. Thomason |
| 1998 | Non-clausal Reasoning with Propositional Definite Theories. | Zbigniew Stachniak |
| 1998 | Real Parametrization of Algebraic Curves. | J. Rafael Sendra, Franz Winkler |
| 1998 | ALLTYPES: An ALgebraic Language and TYPE System. | Fritz Schwarz |
| 1998 | Knowledge Discovery Objects and Queries in Distributed Knowledge Systems. | Zbigniew W. Ras, Jiyun Zheng |
| 1998 | An Inductive Logic Programming Query Language for Database Mining. | Luc De Raedt |
| 1998 | Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. | Brigitte Pientka, Christoph Kreitz |
| 1998 | SoleX: A Domain-Independent Scheme for Constraint Solver Extension. | ric Monfroy, Christophe Ringeissen |
| 1998 | Basic Completion with E-cycle Simplification. | Christopher Lynch, Christelle Scharff |
| 1998 | The Unification Problem for One Relation Thue Systems. | Christopher Lynch |
| 1998 | Inference and Verification in Medical Appropriateness Criteria Using Grbner Bases. | Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo |
| 1998 | Optimising Propositional Modal Satisfiability for Description Logic Subsumption. | Ian Horrocks, Peter F. Patel-Schneider |
| 1998 | Polymorphic Call-by-Value Calculus Based on Classical Proofs. | Ken-etsu Fujita |
| 1998 | Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. | Dirk Fuchs |
| 1998 | Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. | Melvin Fitting |
| 1998 | Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. | Stphane Fvre, Dongming Wang |
| 1998 | Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. | Uwe Egly, Stephan Schmitt |
| 1998 | An Evolutionary Algorithm for Welding Task Sequence Ordering. | Martin Damsbo, Peder Thusgaard Ruhoff |