Author Index 953
Davies, J., see Samulowitz, H. 119
Davis, E. 67, 71, 72, 199, 522, 571, 575, 582,
608, 615, 616
Davis, M. 4, 19, 21, 24, 30, 92, 183, 185
Davis, R. 97, 395, 411, 937
Davis, R., see Hammond, T. 383
Davis, R., see Stahovich, T. 607, 616
Davis, R., see Stahovich, T.F. 384
Dawid, A.P., see Cowell, R.G. 477
Dawid, A.P., see Lauritzen, S.L. 477
de Alfaro, L., see Alur, R. 913
de Bakker, J.W. 517, 536
de Bakker, J.W., see Emerson, E.A. 913
de Boer, F.S., see Dastani, M. 881
de Boer, F.S., see Hindriks, K.V. 877, 881,
905
de Boer, F.S., see van der Hoek, W. 906
de Coronado, S., see Hartel, F.W. 168
de Coste, D. 366
De Domenico, N., see Picardi, C. 456
De Giacomo, G. 139, 145, 154–156, 862,
871, 872, 875, 877, 879, 881
De Giacomo, G., see Acciarri, A. 139
De Giacomo, G., see Berardi, D. 166
De Giacomo, G., see Calvanese, D. 135, 139,
146, 155, 166, 169
de Hoog, R., see Schreiber, A.Th. 930, 931,
934, 941, 942
de Jong, H. 384
de Jong, H., see Vatcheva, I. 443
de Kleer, J.D. 97, 366, 371, 372, 375, 379,
380, 406–408, 410, 411, 413, 414, 417, 418,
420, 422, 438, 445, 458, 601, 607, 608, 614
de Kleer, J.D., see Gelsey, A. 615
de Kleer, J.D., see Hamscher, W. 458,
461–464
de Kleer, J.D., see Raiman, O. 426, 427
de Kleer, J.D., see Weld, D.S. 407, 431, 461,
462, 552, 568, 618
de Koning, K. 386
de Laguna, T. 563, 568, 570
De Maeyer, P., see Van de Weghe, N. 582
de Mántaras, R.L., see Köhler, C. 554
de Moor, A., see Sowa, J.F. 223
de Nivelle, H., see Areces, C. 155
De Raedt, L., see Kersting, K. 490, 491
De Raedt, L., see Muggleton, S. 70, 492
de Rijke, M., see Areces, C. 155
de Rijke, M., see Bennett, B. 534
de Rijke, M., see Blackburn, P. 157, 520, 890
de Rijke, M., see Kurtonina, N. 157, 159
de Rijke, M., see Parikh, R. 353
de Roever, W.P., see de Bakker, J.W. 517, 536
de Roever, W.P., see Emerson, E.A. 913
de Salvo Braz, R. 493, 813
De Schreye, D., see Van Belleghem, K. 684
de Swart, H., see Horrocks, I. 166
De Tre, G., see Van de Weghe, N. 582
Dean, M. 824, 829
Dean, T. 472
Dean, T., see Boutilier, C. 843
Dechter, R. 97, 182, 186, 187, 190, 196, 200,
406, 418, 475–480, 488, 523
Dechter, R., see Ben-Eliyahu, R. 249, 299
Dechter, R., see Kask, K. 480
Dechter, R., see Marinescu, R. 480
Dechter, R., see Rish, I. 107
Dechter, R., see van Beek, P. 190
Decker, S., see Grosof, B.N. 834
DeCuyper, J. 609, 617
Degtyarev, A. 19, 528, 530
Degtyarev, A., see Konev, B. 530, 532
del Cerro, L.F., see Balbiani, B. 569
del Cerro, L.F., see Balbiani, P. 552, 567, 569,
575
del Favero, B., see Shachter, R.D. 475
del Val, A. 333, 334, 353
Delgrande, J.P. 252, 286, 346, 353
Delgrande, J.P, see Hunter, A. 346, 353
Demazeau, Y., see Jennings, N.R. 893
Demazeau, Y., see Rao, A.S. 897
Demolombe, R. 645, 873
Demri, S. 528
Denecker, M. 274, 674, 699, 701
Denecker, M., see Missiaen, L. 701
Denecker, M., see Pelov, N. 286
Denecker, M., see Van Belleghem, K. 684
Denis, M., see Aurnague, M. 570
Dennett, D.C. 889
DeOliviera, J., see Matuszek, C. 62, 63
Deplagne, E. 43
Dequen, G. 115
Dequen, G., see Dubois, O. 115
Derksen, J.A., see Rulifson, J.F. 61
Derriere, S. 168
Dershowitz, N. 39, 43, 47, 49, 50, 53
Dershowitz, N., see Bachmair, L. 48, 53
Desmedt, J.E., see Andreassen, S. 489
Devambu, P. 166
Devendeville, L., see Habet, D. 107
Deville, Y., see Dooms, G. 201
Deville, Y., see van Hentenryck, P. 182, 200
Devin, V., see Needham, C. 383
Devkar, A., see Nudelman, E. 89, 117
Di Felice, P., see Clementini, D. 382
Di Felice, P., see Clementini, E. 382, 566,
568–572
Di Felice, P., see Egenhofer, M.J. 565
Di Felice, P., see Hernández, D. 568, 569
Diaz, D. 199
Díez, F.J. 471, 477, 478, 480
Dignum, F., see Chopra, A. 761
Dignum, F., see Dastani, M. 881