984 Author Index
Walischewski, H. 552, 553
Walker, A., see Apt, K.R. 293, 296
Wallace, M. 199
Wallace, R.J. 195
Wallace, R.J., see Freuder, E.C. 194, 195
Walser, J.P., see Parkes, A.J. 107
Walsh, T. 105, 113, 116, 187, 201, 513, 523,
532
Walsh, T., see Bessiere, C. 201
Walsh, T., see Fahle, T. 193
Walsh, T., see Flener, P. 192, 193
Walsh, T., see Frisch, A. 193
Walsh, T., see Gent, I.P. 107, 112, 186
Walsh, T., see Giunchiglia, F. 611
Walsh, T., see Hoos, H.H. 89
Walsh, T., see Hustadt, U. 146
Walsh, T., see Kilby, P. 115
Walsh, T., see Kiziltan, Z. 201
Walsh, T., see MacCartney, B. 65
Walsh, T., see Quimper, C.-G. 201
Walsh, T., see Rossi, F. 406, 418
Walsh, T., see Santos, P. 554
Walsh, T., see Schlobach, S. 169
Walsh, T., see Slaney, J.K. 115
Walsh, T., see Smith, B. 193
Walther, D. 916
Walukiewicz, I., see Janin, D. 156
Walukiewicz, I., see Thiagarajan, P.S. 517,
532
Wang, J., see Düntsch, I. 575, 576
Wang, J., see Jeroslow, R.G. 94
Wang, K., see Delgrande, J.P. 286
Wang, K., see Schaub, T. 252
Wang, S., see Bettini, C. 517, 535
Wang, X., see Liu, Y. 567
Wang, Y. 65
Wansing, H., see van Linder, B. 902
Warren, D.S. 861
Warren, D.S., see Chen, W. 218, 285, 296
Warren, D.S., see Pinto, J.A. 674
Wassermann, R. 353
Watson, R., see Nogueira, M. 70, 286, 306
Way, E.C. 235
Web Ontology Working Group, 938
Webber, B.L., see Clark, H.H. 622, 630
Weber, A. 353
Weber, R., see Sachenbacher, M. 458
Wegman, M.N., see Paterson, M. 30
Wehage, R.A. 616
Wei, W. 121
Weida, R., see Mays, E. 138
Weidenbach, C. 59
Weidenbach, C., see Hustadt, U. 155, 156
Weidenbach, C., see Nonnengart, A. 700
Weispfenning, V., see Bockmayr, A. 55
Weiss, G., see Artikis, A. 761
Weiss, Y., see Murphy, K.P. 486, 487, 489
Weiss, Y., see Yedidia, J.S. 486, 488, 489
Weld, D.S. 407, 431, 461, 462, 552, 568, 616,
618, 861
Weld, D.S., see Gelsey, A. 615
Weld, D.S., see Penberthy, J.S. 842
Weld, D.S., see Smith, D.E. 861
Weld, D.S., see Sun, Y. 449
Welling, M. 488, 489
Wellman, M.P. 490
Welty, C.A., see Cohn, A.G. 553
Welty, C.A., see Friedland, N.S. 780
Welty, C.A., see Guarino, N. 941
Welty, C.A., see Kershenbaum, A. 168
Welty, C.A., see Rector, A . 939
Wender, K.F., see Cohn, A.G. 383
Wender, K.F., see Renz, J. 582
Wenzel, M., see N ipkow, T. 60
Werner, E., see Jennings, N.R. 893
Werner, E., see Rao, A.S. 897
Wessel, M., see Haarslev, V. 554
Weyhrauch, R.W. 750
Whalley, P., see Forbus, K.D. 372, 386
White, B. 387
White, G. 761
White, G., see Varzi, A.C. 558
Whitehead, A.N. 67, 558, 563
Wiedermann, J., see Janin, D. 156
Wiegerinck, W. 487, 489
Wiegerinck, W., see Kappen, H.J. 489
Wielinga, B.J. 934
Wielinga, B.J., see de Koning, K. 386
Wielinga, B.J., see Schreiber, A.Th. 930, 931,
934, 941, 942
Wieringa, R.J., see Meyer, J.-J.Ch. 905
Wiklund, K., see Doherty, P. 870
Wilk, J. 701
Wilke, T., see Thérien, D. 521
Wilkerson, R.W., see Greiner, R. 412
Wilkins, D., see Wielinga, B.J. 934
Williams, A., see Hazarika, S.M. 582
Williams, B. 366, 417, 420, 423, 431, 453,
455, 458
Williams, B., see Kim, P. 453
Williams, B.C., see de K leer, J.D. 97, 407,
408, 410, 417, 418, 420, 445
Williams, C., see Hogg, T. 112, 113
Williams, M., see Peppas, P. 327, 352
Williams, M.-A. 334, 335, 341–343, 346,
348, 353
Williams, M.-A., see Benferhat, S. 349, 353
Williams, M.-A., see Bennett, B. 571
Williams, M.-A., see Friedland, N.S. 780
Williams, R. 90, 113, 114
Willsky, A.S., see Wainwright, M.J. 489
Wilson, D.B., see Bollobás, B. 111
Winslett, M. 350