1. Editor's remarks

   Legacy Pages: 1 - 2

2. Artificial intelligence: Retrospective/prospective

   • Nachum Dershowitz

   OriginalPaper Pages: 3 - 5

3. Some interesting research directions in satisfiability

   • John Franco

   OriginalPaper Pages: 7 - 15

4. A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

   • Harvey J. Greenberg

   OriginalPaper Pages: 17 - 20

5. Combining assisted and automated deduction

   • Hélène Kirchner

   OriginalPaper Pages: 21 - 26

6. Deep Blue's contribution to AI

   • Monty Newborn

   OriginalPaper Pages: 27 - 30

7. Some perspectives on mathematical aspects of artificial intelligence: Logic versus approximation

   • Michael M. Richter

   OriginalPaper Pages: 31 - 33

8. Compute‐intensive methods in artificial intelligence

   • Bart Selman

   OriginalPaper Pages: 35 - 38

9. Natural language processing and intelligent interfaces

   • Oliviero Stock

   OriginalPaper Pages: 39 - 41

10. Remarks on computational learning theory

    • György Turán

    OriginalPaper Pages: 43 - 45

11. Temporal representation and reasoning in artificial intelligence: Issues and approaches

    • Luca Chittaro
    • Angelo Montanari

    OriginalPaper Pages: 47 - 106

12. Higher order generalization and its application in program verification

    • Jianguo Lu
    • John Mylopoulos
    • Masami Hagiya

    OriginalPaper Pages: 107 - 126

13. Foundations of distributed interaction systems

    • Marat Fayzullin
    • Mirco Nanni
    • V.S. Subrahmanian

    OriginalPaper Pages: 127 - 168

14. Bayes networks for estimating the number of solutions of constraint networks

    • Amnon Meisels
    • Solomon Eyal Shimony
    • Gadi Solotorevsky

    OriginalPaper Pages: 169 - 186

15. Exploiting focal points among alternative solutions: Two approaches

    • Sarit Kraus
    • Jeffrey S. Rosenschein
    • Maier Fenster

    OriginalPaper Pages: 187 - 258

16. Relevance sensitive belief structures

    • Samir Chopra
    • Rohit Parikh

    OriginalPaper Pages: 259 - 285

17. Probabilities of causation: Bounds and identification

    • Jin Tian
    • Judea Pearl

    OriginalPaper Pages: 287 - 313

18. The logic of events

    • Glenn Shafer
    • Peter R. Gillett
    • Richard Scherl

    OriginalPaper Pages: 315 - 389