| 187 | -- | 214 | Sergio A. Alvarez. A Theory of Frame Transformations for Belief Combination |
| 215 | -- | 224 | Adam Cannon, Lenore Cowen. Approximation Algorithms for the Class Cover Problem |
| 225 | -- | 262 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. Locally Determined Logic Programs and Recursive Stable Models |
| 263 | -- | 282 | Henning Fernau. Identifying Terminal Distinguishable Languages |
| 283 | -- | 302 | Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping. Solving Hierarchical Constraints over Finite Domains with Local Search |
| 303 | -- | 352 | Oliver Kullmann. Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems |
| 353 | -- | 372 | Vasco M. Manquinho, João P. Marques Silva. Satisfiability-Based Algorithms for Boolean Optimization |
| 373 | -- | 402 | Fumiaki Okushi, Allen Van Gelder. Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination |
| 403 | -- | 0 | Tzachi Rosen, Solomon Eyal Shimony, Eugene Santos Jr.. Reasoning with BKBs - Algorithms and Complexity |