948 Author Index
Artikis, A. 761
Artobolevsky, I. 613
Arts, T. 41
Asher, N. 558, 563, 564, 572
Atkins, B., see Fillmore, C. 814
Audemard, G. 533
Aumann, R.J. 622, 630, 643, 917
Aurell, E. 112
Aurnague, M. 554, 563, 570
Autexier, S., see Siekmann, J. 22
Auton, L., see Crawford, J.M. 110
Aviles, G., see Lacy, L. 168
Baader, F. 43, 54, 55, 71, 78–80, 82, 135,
138–140, 143, 144, 146, 147, 149, 150,
154–156, 159, 161–163, 165, 169–171, 243,
247, 249, 252, 528
Baader, F., see Baumgartner, P. 29
Baaz, M. 517
Babovich, Y. 286, 297
Bacchus, F. 89, 120, 478, 532, 666, 747, 842,
872, 878, 881
Bacchus, F., see Lam, W. 497
Bacchus, F., see Petrick, R. 861
Bacchus, F., see Samulowitz, H. 119
Bacchus, F., see Sang, T. 120
Bachmair, L. 38, 42, 43, 48, 53, 530
Backes, M., see Sprenger, C. 60
Backstrom, C., see Jonsson, P. 191
Baclawski, K. 62
Badulescu, A., see Moldovan, D. 782
Bahar, R.I. 479
Baher, J., see Forbus, K.D. 372, 386
Bailey-Kellogg, C., see Ramakrishnan, N. 384
Bailley-Kellogg, C. 374, 384
Baker, A.B. 151, 265, 654, 694
Baker, C. 387
Balas, G., see Karsai, G. 438, 458
Balbiani, B. 569
Balbiani, P. 552, 567, 569, 575
Balder, J.R., see van Harmelen, F. 935, 936
Balduccini, M. 286, 304, 307, 309, 453
Balduccini, M., see Nogueira, M. 70, 286, 306
Balestreri, G., see Mayer, M.C. 532
Ball, T. 534
Ballantyne, A.M., see Lankford, D. 52
Ballard, B.W., see Devambu, P. 166
Baltag, A. 643, 891, 892
Banieqbal, B. 527
Bao, J., see Wang, Y. 65
Baptista, L. 104, 115
Baptista, L., see Lynce, I. 117
Baptiste, P. 202
Bar-Haim, R. 806
Bar-Hillel, Y. 67, 70
Bar-Yehuda, R., see Becker, A. 478
Baral, C. 286, 288, 290, 292, 293, 303, 307,
309, 310, 349, 513, 522, 532, 687, 698, 700,
709, 793, 796, 803, 815, 863, 871, 881
Baral, C., see Gebser, M. 286
Baral, C., see Son, T.C. 862, 875
Baral, C., see Tari, L. 782, 804
Barbeau, M., see Kabanza, F. 842, 862
Barendregt, H.-P., see Toyama, Y. 50
Barker, K., see Friedland, N.S. 780
Barringer, H. 520–522, 532, 905
Barringer, H., see Banieqbal, B. 527
Barrow, H.G. 60
Barry, M., see Nogueira, M. 70, 286, 306
Bartels, C., see Bilmes, J. 484
Bartolini, C., see Farrell, A.D.H. 701
Baselice, S. 297, 815
Basin, D.A., see Bundy, A. 57
Basin, D.A., see Sprenger, C. 60
Batt, G., see de Jong, H. 384
Baudinet, M. 532
Bauer, G., see Nipkow, T. 20
Baumert, L., see Golomb, S. 185, 187
Baumgartner, P. 29, 59
Baxter, D., see Curtis, J. 813
Bayardo Jr., R.J. 89, 97, 99, 120
Beame, P.W. 100, 101, 103, 104, 111, 120
Beame, P.W., see Achlioptas, D. 102
Beame, P.W., see Sang, T. 120, 483, 484
Bear, J., see Hobbs, J.R. 70
Beaumont, M., see Thornton, J.R. 530
Bechhofer, S. 168, 169
Becker, A. 478
Beer, I. 534
Beeson, P., see Kuipers, B.J. 583
Behrmann, G. 533
Beldiceanu, N. 184
Beldiceanu, N., see Aggoun, A. 184
Beldiceanu, N., see Carlsson, M. 193
Belinfante, J.G.F. 58
Bell, C.G. 60
Bell, D. 366
Bellazzi, R. 366
Ben-Ari, M. 146
Ben-David, S. 534
Ben-David, S., see Beer, I. 534
Ben-Eliyahu, R. 249, 299
Bendix, P.B., see Knuth, D.E. 43, 47, 48
Benedetti, M. 118–120
Benferhat, S. 276, 349, 353
Bengtsson, J. 517
Benhamou, F. 200
Bennett, B. 534, 555, 558, 565, 570, 571, 574,
615, 684
Bennett, B., see Cohn, A.G. 381, 555, 563,
564, 571
Bennett, B., see Cristani, M. 568, 571
Bennett, B., see Santos, P. 570, 571