| 215 | -- | 227 | Jean-Claude Latombe. Geometry and Search in Motion Planning |
| 229 | -- | 245 | Marc Kirschenbaum, Leon Sterling, Ashish Jain. Relating Logic Programs Via Program Maps |
| 247 | -- | 270 | Paolo Carraresi, Giorgio Gallo, Gabriella Rago. A Hypergraph model for Constraint Logic Programming and Applications to Bus Drivers Scheduling |
| 271 | -- | 284 | Michel Gangnet, Burton Rosenberg. Constraint Programming and Graph Algorithms |
| 285 | -- | 300 | Feng Zhao. Computational Dynamics: Modeling and Visualizing Trajectory Flows in Phase Space |
| 301 | -- | 314 | Paul A. Strooper, Maarten H. van Emden. Describing Symmetrical Structures in Logic |
| 315 | -- | 343 | Divesh Srivastava. Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints |
| 345 | -- | 362 | Fritz von Haeseler, Heinz-Otto Peitgen, Guentcho Skordev. Cellular Automata, Matrix Substitutions and Fractals |
| 363 | -- | 381 | Richard Barnett, David A. Basin, Jane Hesketh. A Recursion Planning Analysis of Inductive Completion |
| 383 | -- | 405 | Hantao Zhang, Gary Xin Hua. Proving Ramsey s Theorem by the Cover Set Induction: A Case and Comparison Study |
| 407 | -- | 423 | Kurt Ammon. A Learning Procedure for Mathematics |
| 425 | -- | 447 | Dominique Pastre. Automated Theorem Proving in Mathematics |
| 449 | -- | 474 | José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian. Disjunctive LP + Integrity Constraints = Stable Model Semantics |
| 475 | -- | 502 | Alessandro Armando, Enrico Giunchiglia. Embedding Complex Decision Procedures Inside an Interactive Theorem Prover |