| 1 | -- | 27 | Joseph Y. Halpern. Set-theoretic completeness for epistemic and conditional logic |
| 29 | -- | 57 | Alexander Brodsky, Yehoshua Sagiv. Inference of monotonicity constraints in Datalog programs |
| 59 | -- | 85 | Fumiaki Okushi. Parallel cooperative propositional theorem proving |
| 87 | -- | 112 | Allen Van Gelder, Fumiaki Okushi. A propositional theorem prover to solve planning and other problems |
| 113 | -- | 132 | Allen Van Gelder, Fumiaki Okushi. Lemma and cut strategies for propositional model elimination |
| 133 | -- | 147 | Peter Jonsson. Strong bounds on the approximability of two Pspace-hard problems in propositional planning |
| 149 | -- | 170 | Daniel Frost, Rina Dechter. Maintenance scheduling problems as benchmarks for constraint algorithms |
| 171 | -- | 191 | Endre Boros, Tonguç Ünlüyurt. Diagnosing double regular systems |
| 193 | -- | 213 | Xiaodong Li, Martin K. Purvis. Pattern recognition by an optical thin-film multilayer model |
| 215 | -- | 252 | Zippora Arzi-Gonczarowski. Perceive this as that - Analogies, artificial perception, and category theory |
| 253 | -- | 256 | Joseph Y. Halpern. Errata: The relationship between knowledge, belief, and certainty |