| 193 | -- | 206 | Lenore Cowen, Joan Feigenbaum, Sampath Kannan. A Formal Framework for Evaluating Heuristic Programs |
| 207 | -- | 236 | Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex. Nonmonotonic Reasoning: From Complexity to Algorithms |
| 237 | -- | 257 | Andreas Birkendorf, Hans-Ulrich Simon. Using Computational Learning Strategies as a Tool for Combinatorial Optimization |
| 259 | -- | 279 | Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy. Automating the Synthesis of Decision Procedures in a Constructive Metatheory |
| 281 | -- | 296 | Peter Jonsson, Christer Bäckström. Tractable Plan Existence Does Not Imply Tractable Plan Generation |
| 297 | -- | 318 | Mukesh Dalal. Anytime Clausal Reasoning |
| 319 | -- | 331 | Bertrand Mazure, Lakhdar Sais, Éric Grégoire. Boosting Complete Techniques Thanks to Local Search Methods |
| 333 | -- | 361 | Carolina Ruiz, Jack Minker. Logic Knowledge Bases With Two Default Rules |