978 Author Index
Schwitter, R. 62
Sciavicco, G., see Goranko, V. 519, 524, 530
Scott, D., see Lemmon, E.J. 520
Seaborne, A., see Prud’hommeaux, E. 830,
835, 836
Sebastiani, R., see Audemard, G. 533
Sebastiani, R., see Giunchiglia, E. 700
Sedgwick, E., see Schaefer, M. 581
Segerberg, K., see Bull, R.A. 520
Segerlind, N., see Beame, P.W. 103, 120
Seitz, S. 111
Sekar, R., see Ramakrishnan, I.V. 20, 21, 33
Selfridge, O., see Bar-Hillel, Y. 67, 70
Selfridge, P.J., see Devambu, P. 166
Sellmann, M. 193
Sellmann, M., see Fahle, T. 106, 193
Sellmann, M., see Gomes, C.P. 121
Selman, B. 89, 90, 107–109, 112, 188, 700
Selman, B., see Ansotegui, C. 119
Selman, B., see Chen, H. 113
Selman, B., see Cristani, M. 568, 571
Selman, B., see Gogic, G. 249
Selman, B., see Gomes, C.P. 89, 95, 104, 111,
113, 115–117, 121, 187
Selman, B., see Hoffmann, J. 115
Selman, B., see Horvitz, E.J. 117
Selman, B., see Kautz, H.A. 89, 91, 117, 249,
861
Selman, B., see Kirkpatrick, S. 107, 110, 111
Selman, B., see Kroc, L. 112
Selman, B., see McAllester, D.A. 107
Selman, B., see Mitchell, D.G. 90, 110
Selman, B., see Monasson, R. 111
Selman, B., see Sabharwal, A. 119
Selman, B., see Wei, W. 121
Selman, B., see Williams, R. 90, 113, 114
Sergot, M. 761
Sergot, M ., see Artikis, A. 761
Sergot, M ., see Craven, R. 761
Sergot, M ., see Kowalski, R.A. 310, 522, 532,
810
Sergot, M .J., see Farrell, A.D.H. 701
Sergot, M .J., see Kowalski, R.A. 671, 672,
687, 699
Sethi, R., see Downey, P.J. 53
Seymour, P.D., see Robertson, N. 475, 477
Shachter, R.D. 475, 477, 478, 484, 486
Shachter, R.D., see Fung, R. 486
Shadbolt, N.R., see Motta, E. 932
Shadbolt, N.R., see Schreiber, A.Th. 930,
931, 934, 941, 942
Shafer, G., see Shenoy, P.P. 476, 477
Shah, P., see Matuszek, C. 71
Shanahan, M. 69, 303, 572, 615, 671,
674–676, 683, 684, 686, 687, 691–694, 696,
699–701, 709, 714, 731, 737, 810
Shanahan, M., see Miller, R.A. 671, 679, 683,
690, 698, 700, 810
Shanahan, M., see Randell, D.A. 567
Shanahan, M., see Santos, P. 554
Shanahan, M.P. 870–872, 881
Shang, Y., see Wah, B.W. 107
Shankar, N., see Baader, F. 139, 165
Shankar, N., see Furbach, U. 49, 78–80, 82,
84
Shankar, N., see Kazakov, Y. 155
Shankar, N., see Owrie, S. 22, 60
Shankar, N., see Sutcliffe, G. 20, 21
Shapiro, E., see Sterling, L. 198
Shapiro, S. 353, 873
Shapiro, S., see Cohn, A.G. 571
Shapiro, S., see Renz, J. 565
Shapiro, S.C., see Gustafsson, J. 711, 712,
735
Sharma, J., see Egenhofer, M.J. 555, 566, 572
Shaw, P., see Kilby, P. 202
Shelah, S., see Gabbay, D. 515, 523, 529, 531
Shelah, S., see Gurevich, Y. 525
Shen, Q. 367
Shenoy, P.P. 476, 477
Shenoy, P.P., see Jaeger, M. 491, 492
Shenoy, P.P., see Lepar, V. 477
Sherburne, D.W., see Whitehead, A.N. 558
Sherin, B., see Forbus, K.D. 385
Shimomura, Y. 383
Shimomura, Y., see Umeda, Y. 448
Shimony, S.E. 474
Shintani, T., see Matsuo, T. 386
Shirley, M., see Raiman, O. 426, 427
Shirley, V., see Bell, D. 366
Shoham, Y. 69, 269, 654, 709, 737, 907
Shoham, Y., see del Val, A. 353
Shoham, Y., see Halpern, J.Y. 523, 524
Shoham, Y., see Lin, F. 277, 653, 654
Shoham, Y., see Nudelman, E. 89, 117
Shrobe, H., see Davis, R. 937
Shrobe, H., see Stahovich, T. 607, 616
Shrobe, H., see Stahovich, T.F. 384
Shtrichman, O. 106
Shwe, M. 489
Sidhu, A. 168
Sidhu, B.S., see Sidhu, A. 168
Siekmann, J. 22, 54
Siekmann, J., see Davis, M. 19
Siekmann, J.H., see Baader, F. 149
Sifakis, J., see Alur, R. 518, 525
Sifakis, J., see Henzinger, T.A. 527
Simari, G.R. 277
Simo, A., see Cavazza, M. 386
Simon, G., see Karsai, G. 438, 458
Simon, H., see Iwasaki, Y. 375
Simon, L., see Le Berre, D. 90
Simonis, H., see Dincbas, M. 199