| 1 | -- | 2 | Martin Charles Golumbic. Editor s remarks |
| 3 | -- | 5 | Nachum Dershowitz. Artificial intelligence: Retrospective/prospective |
| 7 | -- | 15 | John V. Franco. Some interesting research directions in satisfiability |
| 17 | -- | 20 | Harvey J. Greenberg. A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving |
| 21 | -- | 26 | Hélène Kirchner. Combining assisted and automated deduction |
| 27 | -- | 30 | Monty Newborn. Deep Blue s contribution to AI |
| 31 | -- | 33 | Michael M. Richter. Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation |
| 35 | -- | 38 | Bart Selman. Compute-intensive methods in artificial intelligence |
| 39 | -- | 41 | Oliviero Stock. Natural language processing and intelligent interfaces |
| 43 | -- | 45 | György Turán. Remarks on computational learning theory |
| 47 | -- | 106 | Luca Chittaro, Angelo Montanari. Temporal representation and reasoning in artificial intelligence: Issues and approaches |
| 107 | -- | 126 | Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya. Higher order generalization and its application in program verification |
| 127 | -- | 168 | Marat Fayzullin, Mirco Nanni, Dino Pedreschi, V. S. Subrahmanian. Foundations of distributed interaction systems |
| 169 | -- | 186 | Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky. Bayes networks for estimating the number of solutions of constraint networks |
| 187 | -- | 258 | Sarit Kraus, Jeffrey S. Rosenschein, Maier Fenster. Exploiting focal points among alternative solutions: Two approaches |
| 259 | -- | 285 | Samir Chopra, Rohit Parikh. Relevance sensitive belief structures |
| 287 | -- | 313 | Jin Tian, Judea Pearl. Probabilities of causation: Bounds and identification |
| 315 | -- | 389 | Glenn Shafer, Peter R. Gillett, Richard B. Scherl. The logic of events |