sty Artificial 4, Intelligence ELSEVIER Artificial Intelligence 104 (1998) 363-364 Author Index—Volume 104 (1998) Abdelbar, A.M. An algorithm for finding MAPs for belief networks through cost-based abduction 331-338 Aha, D.W., see Kasif, S. 287-311 Anrig, B., see Kohlas, J. 71-106 Baral, C., A. Gabaldon and A. Provetti Formalizing narratives using nested circumscription 107-164 Costello, T. The expressive power of circumscription 313-329 Davis, R., see Stahovich, T.F. 211-264 Evenchik, A., see Kraus, S. l— 69 Ford, K.M., see LaForte, G. 265-286 Gabaldon, A., see Baral, C. 107-164 Haenni, R., see Kohlas, J. 71-106 Hayes, P.J., see LaForte, G. 265-286 Kasif, S., S. Salzberg, D. Waltz, J. Rachlin and D.W. Aha A probabilistic framework for memory-based reasoning 287-311 Kohlas, J., B. Anrig, R. Haenni and P.A. Monney Model-based diagnostics and probabilistic assumption-based reason- ing 71-106 Kraus, S., K. Sycara and A. Evenchik Reaching agreements through argumentation: a logical model and implementation LaForte, G., P.J. Hayes and K.M. Ford Why Gédel’s theorem cannot refute computationalism 265-286 Levy, A.Y. and M.-C. Rousset Combining Horn rules and description logics in CARIN 165-209 Monney, P.A., see Kohlas, J. 71-106 Provetti, A., see Baral, C. 107-164 Rachlin, J., see Kasif, S. 287-311 Rousset, M.-C., see Levy, A.Y . 165-209 Salzberg, S., see Kasif, S. 287-311 Elsevier Science B.V. 364 Author Index—Volume 104 / Artificial Intelligence 104 (1998) 363-364 Shrobe, H., see Stahovich, T.F. Stahovich, T.F., R. Davis and H. Shrobe Generating multiple new designs from a sketch Sycara, K., see Kraus, S. Thielscher, M. Reasoning about actions: steady versus stabilizing state constraints Waltz, D., see Kasif, S.