Van Harmelen F., Lifschitz V., Porter B. Handbook of Knowledge Representation
Подождите немного. Документ загружается.
962 Author Index
Jaeger, M. 491–493
Jaeger, M., see Chavira, M. 481–483, 493
Jaffar, J. 197, 199
Jaffar, J., see Zhang, Y. 189
Jain, L.C., see Liu, H. 813
Jajodia, S., see Bettini, C. 517, 535
Jamroga, W. 918
Jamroga, W., see van der Hoek, W. 916
Janhunen, T. 300, 302
Janin, D. 156
Jannach, D., see Felfernig, A. 455, 458
Janson, S. 111, 199
Janssen, T.M.V., see Kamp, H. 216
Jeavons, P. 190
Jeavons, P., see Cohen, D.A. 193
Jeavons, P., see Cooper, M. 189
Jeavons, P., see Krokhin, A.A. 579
Jefferies, M., see Kuipers, B.J. 553, 583
Jefferson, C., see Cohen, D.A. 193
Jeffrey, R. 469
Jen-Sen, P., see Mustapha, S. 385
Jennings, N.R. 893
Jennings, N.R., see Wooldridge, M.J. 909
Jensen, F.V. 476, 477, 489
Jensen, F.V., see Andreassen, S. 489
Jensen, F.V., see Nielsen, T. 479
Jensen, R.M. 862
Jeroslow, R.G. 94
Jia, H. 113
Jin, X., see Liu, Y. 567
Jin, Y. 345, 346
Joe, G., see Mukerjee, A. 568
Johannsen, J., see Alekhnovich, M. 101, 103
Johansen, J., see Bonet, M.L. 101, 103
Johnson, D.S. 108, 188
Johnson, D.S., see Garey, M.R. 163, 248
Johnson, D.S., see Resende, M.G.C. 107
Johnson, D.S., see Selman, B. 89, 107, 108
Johnson, D.S., see Spears, W.M. 107
Johnson, J.R., see Caviness, B.F. 55
Johnson, R., see Gamma, E. 934
Johnston, M.D., see Adorf, H. 107
Johnston, M.D., see Minton, S. 107, 187
Jones, E.K., see Cohen, P.R. 62, 73
Jonsson, P. 191, 565, 579
Jonsson, P., see Drakengren, T. 519, 523, 532
Jonsson, P., see Krokhin, A.A. 579
Jordan, M.I. 486
Jordan, M.I., see Ghahramani, Z. 487
Jordan, M.I., see Heckerman, D.E. 497
Jordan, M.I., see Murphy, K.P. 486, 487, 489
Jordan, M.I., see Saul, L.K. 487
Jordan, M.I., see Smyth, P. 472
Jordan, M.I., see Xing, E.P. 487
Jordan, P. 386
Jorge, A., see Pacheco, J. 570
Jørgensen, K.F., see Sowa, J.F. 233
Josephson, N., see Dershowitz, N. 53
Joshi, A.K., see Clark, H.H. 622, 630
Joskowicz, L. 382, 605, 613–616
Joskowicz, L., see Sacks, E. 384, 604, 616
Jouannaud, J.-P. 39, 49, 51–53, 55, 57
Jouannaud, J.-P., see Dershowitz, N. 43, 47
Joy, A., see Baral, C. 286
Ju, Q., see Hickey, T. 368
Junker, U. 202, 249
Jurkowiak, B., see Li, C.M. 106
Kabanza, F. 842, 862
Kabanza, F., see Bacchus, F. 532, 666, 747,
842, 878
Kaci, S., see Benferhat, S. 349
Kaelbling, L.P., see Rosenschein, S. 906
Kaelbling, L.P., see Rosenschein, S.J. 622,
906
Kaelbling, L.P., see Santos, P. 570, 571
Kagal, L., see Berners-Lee, T. 836
Kahlert, R.C., see Matuszek, C. 71
Kakas, A.C. 694, 697–700
Kakas, A.C., see Bracciali, A. 699
Kakas, A.C., see Dimopoulos, Y. 698, 700
Kakas, A.C., see Miller, R.A. 671, 679, 683,
690, 698, 810
Kalmár, L. 15
Kalyanpur, A. 168, 169, 825
Kalyanpur, A., see Grau, B.C. 65
Kalyanpur, A., see Parsia, B. 169
Kalyanpur, A., see Sirin, E. 147, 168, 825
Kamath, A. 107
Kambhampati, S., see Acciarri, A. 139
Kambhampati, S., see Calvanese, D. 139
Kambhampati, S., see Matuszek, C. 71
Kameyama, M., see Hobbs, J.R. 70
Kamin, S. 40, 48
Kamp, H. 216, 217, 807
Kamp, J. 516, 520–522, 531
Kampman, A., see Broekstra, J. 824
Kamps, J. 384
Kanakis, T., see Picardi, C. 456
Kanal, L.N., see Fung, R. 486
Kanal, L.N., see Henrion, M. 471
Kanal, L.N., see Shachter, R.D. 486
Kanazawa, K. 486
Kanazawa, K., see Dean, T. 472
Kanazawa, K., see Russell, S.J. 495
Kanoui, H., see Colmerauer, A. 285
Kanza, T., see Armoni, R. 534
Kao, M.-Y., see Chen, Z.-Z. 581
Kaporis, A.C. 111
Kappen, H.J. 489
Kapur, D. 53, 54, 57
Kapur, D., see Giesl, J. 57
Kapur, D., see Guttag, J.V. 47
Author Index 963
Kapur, D., see Owrie, S. 22, 60
Karlsson, L. 711–713, 744, 745, 747
Karlsson, L., see Bjäreland, M. 712
Karlsson, L., see Doherty, P. 711, 733, 734
Karmarkar, N., see Kamath, A. 107
Karp, P.D. 826
Karp, R., see Beame, P.W. 111
Karpinski, M., see Kleine-Büning, H. 118
Karsai, G. 438, 458
Kartha, G.N. 735
Kartha, G.N., see Giunchiglia, E. 843, 862
Kask, K. 480
Kask, K., see Dechter, R. 488
Kassirer, J., see Kuipers, B.J. 387
Katsuno, H. 343, 349, 352
Katz, G. 804
Katz, S. 517
Katz, S., see Soergel, D. 168
Katz, Y., see Sirin, E. 147, 168, 825
Kaufman, B., see Gebser, M. 286
Kaufman, S. 572
Kaufmann, M. 20, 22, 57, 60
Kaufmann, M., see Boyer, R. 57, 60
Kaufmann, S., see van der Hoek, W. 901
Kautz, H.A. 89, 91, 117, 249, 861
Kautz, H.A., see Allen, J.F. 746
Kautz, H.A., see Beame, P.W. 100, 101, 103,
104
Kautz, H.A., see Gogic, G. 249
Kautz, H.A., see Gomes, C.P. 89, 95, 104,
113, 115, 116, 187
Kautz, H.A., see Horvitz, E.J. 117
Kautz, H.A., see McAllester, D.A. 107
Kautz, H.A., see Sang, T. 120, 483, 484
Kautz, H.A., see Selman, B. 89, 107–109, 700
Kautz, H.A., see Vilain, M. 200
Kazakov, Y. 155
Keefe, K., see Ramachandran, D. 63
Keen, E., see Weidenbach, C. 59
Keisler, H., see Chang, C. 337
Keizer, J., see Soergel, D. 168
Kelly, K., see Glymour, C. 496
Kelsey, T., see Gent, I.P. 106
Kelsey, T., see Roney-Dougal, C. 193
Kemp, D.B., see Vaghani, J. 285
Kenefsky, B., see Cheeseman, P. 110
Kenny, A. 900
Kernighan, B., see Lin, S. 107
Kershenbaum, A. 168
Kersting, K. 490, 491
Kesten, Y. 518, 522, 529
Kesten, Y., see Pnueli, A. 529
Ketner, K.L., see Peirce, C.S. 233
Keymeulen, D., see DeCuyper, J. 609, 617
Khatib, L., see Doherty, P. 711, 712, 717, 737
Kifer, M., see Chen, W. 218
Kifer, M., see Hirtle, D. 831, 836
Kilby, P. 115, 202
Kim, H. 380, 382, 604, 605, 610
Kim, H., see Klenk, M. 383
Kim, J.H., see Bollobás, B. 111
Kim, P. 453
King, R. 384
Kinny, D., see d’Inverno, M. 897
Kintsch, W. 794
Kirchner, C. 55
Kirchner, C., see Deplagne, E. 43
Kirchner, C., see Jouannaud, J.-P. 55
Kirchner, H., see Deplagne, E. 43
Kirchner, H., see Jouannaud, J.-P. 51–53
Kirchner, H., see Kirchner, C. 55
Kirkpatrick, S. 107, 109–111
Kirkpatrick, S., see Aurell, E. 112
Kirkpatrick, S., see Monasson, R. 111
Kirkpatrick, S., see Selman, B. 112
Kirousis, L.M. 111
Kirousis, L.M., see Kaporis, A.C. 111
Kittay, E., see Fillmore, C. 814
Kiziltan, Z. 201
Kiziltan, Z., see Flener, P. 192, 193
Kiziltan, Z., see Frisch, A. 193
Kjaerulff, U. 484, 489
Kjærulff, U., see Andreassen, S. 489
Kjaerulff, U., see Nielsen, T. 479
Kleine-Büning, H. 117, 118
Klenk, M. 383
Klop, J.W., see Toyama, Y. 50
Knauff, M. 582
Knauff, M., see Renz, J. 582
Knight, B., see Ma, J. 519, 522
Knublauch, H. 168, 169
Knuth, D.E. 43, 47, 48
Köbler, J. 105
Koeb, D. 457
Koehler, J., see Dimopoulos, Y. 306
Koenig, S., see Wooldridge, M.J. 277
Kogut, P.A., see Baclawski, K. 62
Köhler, C. 554
Kojevnikov, A., see Hirsch, E.A. 89, 107, 109
Kokar, M.M., see Baclawski, K. 62
Kolaitis, P.G., see Grädel, E. 139, 145
Koller, D. 491
Koller, D., see Boutilier, C. 471, 480
Koller, D., see Friedman, N. 490, 491
Koller, D., see Getoor, L. 491
Koller, D., see Kanazawa, K. 486
Koller, D., see Russell, S.J. 495
Konev, B. 530, 532
Konev, B., see Degtyarev, A. 530
Konev, B., see Hustadt, U. 532
Konev, B., see Mueller, E.T. 700
Konieczny, S. 346, 349
Konolige, K. 107, 258, 273–275, 890
964 Author Index
Konolige, K., see Brewka, G. 242, 270, 684
Konolige, K., see Junker, U. 249
Kontchakov, R. 530
Kontchakov, R., see Gabelaia, D. 524, 575
Konuk, H. 89
Kooi, B.P., see van Benthem, J.F.A.K. 643
Kooi, B.P., see van Ditmarsch, H.P. 891, 892
Koomen, J.A., see Allen, J.F. 519
Koprowski, A. 49
Kornilowicz, A., see Audemard, G. 533
Korovin, K. 53
Korovin, K., see G anzinger, H. 30
Koubarakis, M. 191, 725
Koubarakis, M., see Stergiou, K. 200
Kounalis, E., see Jouannaud, J.-P. 57
Kovacshazy, T., see Karsai, G. 438, 458
Kowalski, R.A. 65, 285, 310, 522, 532, 671,
672, 674, 684, 687, 694, 699, 701, 810
Kowalski, R.A., see Bondarenko, A. 277
Kowalski, R.A., see Eshghi, K. 674, 699, 701
Kowalski, R.A., see Gelfond, M. 698, 793
Kowalski, R.A., see Sadri, F. 674
Koymans, R. 524
Kozen, D. 527
Kozen, D., see Harel, D. 891
Kozen, D.C., see Chandra, A.K. 517
Krajcik, J., see Jackson, S. 385
Kranakis, E., see Kirousis, L.M. 111
Kraus, S. 268, 270
Kraus, S., see Baral, C. 349
Kraus, S., see Subrahmanian, V.S. 905
Kraus, S., see Wooldridge, M.J. 277
Krebsbach, K.D., see Goldman, R.P. 862
Kripke, S.A. 621
Krishnamurthy, B. 106
Krishnan, S.C., see Alur, R. 913
Krishnan, T., see McLachlan, G.J. 496
Krizanc, D., see Kirousis, L.M. 111
Kroc, L. 112
Kroese, M., see Dastani, M. 881
Kröger, F. 529
Krogh, A. 473
Krokhin, A.A. 579
Kruskal, J.B. 39, 49
Kuchcinski, K., see Doherty, P. 870
Kudenko, D., see Heinsohn, J. 150
Kuehlmann, A., see Chai, D. 105
Kuehne, S. 374, 387
Kuehne, S., see Forbus, K.D. 372, 386
Kuhn, W., see Egenhofer, M.J. 551, 553
Kuhn, W., see Faltings, B. 553
Kuhn, W., see Ferguson, R.W. 554
Kuhn, W., see Hernández, D. 568, 569
Kuhn, W., see Mark, D.M. 582
Kuhn, W., see Schlieder, C. 566
Kuhn, W., see Zimmermann, K. 568, 570
Kuiper, R., see Barringer, H. 521, 522
Kuipers, B.J. 367, 370, 371, 380, 381, 387,
553, 583, 614, 618
Kuipers, B.J., see Bobrow, D.G. 370
Kuipers, B.J., see Dvorak, D. 426
Kuipers, B.J., see Remolina, E. 553
Kullback, S. 487
Küng, J., see Cicekli, N.K. 699, 701
Kupferman, O., see Alur, R. 517, 526, 910
Kurien, J., see de Kleer, J.D. 438
Kurtonina, N. 157, 159
Kurucz, A., see Gabbay, D.M. 890
Kurucz, A., see Gabelaia, D. 524, 575
Küsters, R. 169
Küsters, R., see Baader, F. 138, 162, 169
Küsters, R., see Brandt, S. 169
Kuwabara, K., see Yokoo, M. 201
Kvarnström, J. 711–713, 717, 719, 737, 742,
747–749
Kvarnström, J., see Doherty, P. 711–713, 717,
733, 734, 737, 747
Kvarnström, J., see Gustafsson, J. 712
Kwiatkowska, M.Z. 533
Kwok, R., see Peppas, P. 352, 353
Kyberg Jr., H.E., see Schubert, L.K. 654, 694,
710, 712
Kyckelhahn, B., see Klenk, M. 383
Laburthe, F., see Caseau, Y. 202
Labuschagne, W., see Meyer, T. 353
Lacatusu, F., see Moldovan, D. 782
Lackinger, F., see Friedrich, G. 423
Lacy, L. 168
Ladkin, P.B. 523, 578
Ladner, R.E., see Fischer, M.J. 146, 154
Lafortune, S., see Sampath, M. 429, 430, 446
Laguna, M., see Glover, F. 188
Laird, P., see Minton, S. 107, 187
Lakemeyer, G. 277, 874, 881
Lakemeyer, G., see Burgard, W. 881
Lakemeyer, G., see Ferrein, A. 870, 880, 881
Lakemeyer, G., see Grosskreutz, H. 871, 872,
881
Lakemeyer, G., see Halpern, J.Y. 72, 277
Lakemeyer, G., see Thrun, S. 551, 872
Lalas, E.G., see Kaporis, A.C. 111
Lallouet, A., see Benedetti, M. 120
Lam, W. 497
Lamperti, G. 430
Lamport, L. 531
Lamport, L., see Abadi, M. 532
Landver, A., see Armoni, R. 534
Lang, J., see Asher, N. 572
Lang, J., see Benferhat, S. 276
Lang, J., see Delgrande, J.P. 346
Lang, J., see Dubois, D. 276
Lang, J., see Fargier, H. 194
Author Index 965
Lang, J., see Konieczny, S. 349
Lankford, D. 48, 52
Lankford, D., see Huet, G. 47, 49
Lansky, A.L., see Georgeff, M.P. 897
Lansky, A.L., see Lifschitz, V. 909, 919
Larkin, D., see Dechter, R. 479, 480
Laroussinie, F. 521
Larrabee, T., see Konuk, H. 89
Larranaga, P., see Inza, I. 494
Larrosa, J. 195, 196
Larsen, K.G. 533
Larsen, K.G., see Behrmann, G. 533
Laskey, K.B. 489, 491
Lassez, J.-L., see Jouannaud, J.-P. 55
Lassez, J.L., see Jaffar, J. 199
Lassila, O. 824
Lassila, O., see Berners-Lee, T. 823
Lau, R.Y.K. 353
Laughery, K., see Green, B. 780
Lauritzen, S.L. 476, 477, 496
Lauritzen, S.L., see Cowell, R.G. 477
Lauritzen, S.L., see Jensen, F.V. 476, 477
Lauser, B., see Soergel, D. 168
Laux, A., see van Linder, B. 902
Law, Y.C. 193
Leask, T.S., see Vaghani, J. 285
Le Berre, D. 90
Le Berre, D., see Benferhat, S. 349
Le Bras, M., see Hartley, S. 386
Le Clair, S. 383
Le Pape, C., see Baptiste, P. 202
Lee, J. 761
Lee, J., see Akman, V. 700, 761
Lee, J., see Ferraris, P. 309
Lee, J., see Giunchiglia, E . 697, 761, 763,
767, 768, 770, 871
Lee, J.H.M., see Cheng, B.M.W. 192
Lee, J.H.M., see Law, Y.C. 193
Lee, K., see Meyer, T. 169
Lee, R., see Chang, C. 34
Lee, S.-J. 29, 58
Lee, S.-J., see Plaisted, D.A. 21
Leech, J., see Knuth, D.E. 43, 47, 48
Leenen, L., see Meyer, T. 353
Lehmann, D. 270, 271, 346
Lehmann, D., see Freund, M. 344
Lehmann, D., see Kraus, S. 268, 270
Lehmann, D., see Schlechta, K. 346
Lehmann, F. 553, 565, 572
Lehmann, H., see Shwe, M. 489
Lehrer, A., see Fillmore, C. 814
Lehrer, K., see Cartwright, R. 562
Leibler, R.A., see Kullback, S. 487
Leitch, R., see Shen, Q. 367
Leitsch, A. 34
Leitsch, A., see Baaz, M. 517
Leitsch, A., see Caferra, R. 22
Leitsch, A., see Sattler, U. 155
Leitsch, A., see Stenz, G. 29
Lemaître, M., see Verfaillie, G. 195
LeMay, H.E., see Brown, T.L. 617
Lembo, D., see Acciarri, A. 139
Lembo, D., see Calvanese, D. 139
Lemmer, J.F., see Fung, R. 486
Lemmer, J.F., see Henrion, M. 471
Lemmer, J.F., see Shachter, R.D. 486
Lemmon, E.J. 520
Lemon, O., see Pratt, I. 555
Lenat, D.B. 62, 813, 937
Lenat, D.B., see Matuszek, C. 71
Lenzen, W. 621
Lenzerini, M., see Acciarri, A. 139
Lenzerini, M., see Borgida, A. 166
Lenzerini, M., see Cadoli, M. 266
Lenzerini, M., see Calvanese, D. 135, 139,
146, 155, 166, 169
Lenzerini, M., see De Giacomo, G. 139, 145,
154, 156
Lenzerini, M., see Donini, F.M. 138, 139, 169
Leonard, T., see Bjesse, P. 89
Leone, N. 286, 297
Leone, N., see Buccafurri, F. 286
Leone, N., see Eiter, T. 286, 862
Leone, N., see Faber, W. 286
Leone, N., see Franconi, E. 66
Leone, N., see Gelfond, M. 300
Leone, N., see Gottlob, G. 191
Leone, N., see Kakas, A.C. 699, 700
Lepar, V. 477
Lescanne, P., see Jouannaud, J.-P. 39, 49
Lespérance, Y. 873, 881, 906
Lespérance, Y., see de Giacomo, G. 871, 877,
879
Lespérance, Y., see Levesque, H.J. 651, 862,
877, 906
Lespérance, Y., see Shapiro, S. 353, 873
Lespérance, Y., see van der Hoek, W. 906
Lettmann, T., see Kleine-Büning, H. 117
Letz, R. 36, 59, 118
Letz, R., see Stenz, G. 29
Leue, S., see van der Hoek, W. 909
Levesque, H.J. 90, 276, 651, 862, 869, 872,
877, 893, 906
Levesque, H.J., see Bacchus, F. 872
Levesque, H.J., see Brachman, R.J. 67, 90,
136, 138, 174, 177–179, 934
Levesque, H.J., see Cohen, P.R. 781, 891,
893–895, 897, 903
Levesque, H.J., see de G iacomo, G. 871, 872,
875, 877, 879
Levesque, H.J., see Lakemeyer, G. 277
Levesque, H.J., see Lespérance, Y. 873, 906
Levesque, H.J., see Lifschitz, V. 772
966 Author Index
Levesque, H.J., see Lin, F. 662
Levesque, H.J., see Liu, Y. 875
Levesque, H.J., see Minker, J. 285
Levesque, H.J., see Mitchell, D.G. 90, 110
Levesque, H.J., see Petrick, R. 645
Levesque, H.J., see Randell, D.A. 558, 563
Levesque, H.J., see Sandewall, E. 714
Levesque, H.J., see Scherl, R.B. 645, 862,
872, 873
Levesque, H.J., see Schmidt-Schauß, M. 138
Levesque, H.J., see Selman, B. 89, 90, 107,
188
Levesque, H.J., see Shanahan, M. 701
Levesque, H.J., see Shapiro, S. 353, 873
Levin, L. 91
Levinson, R.A. 223, 234
Levitt, T.S., see Henrion, M. 471
Levy, A., see Nayak, P. 611, 616
Levy, A.Y. 169
Lévy, F. 700
Levy, J.-J., see Kamin, S. 40, 48
Lewerentz, C., see Beyer, D. 533
Lewis, D. 327, 630
Lex, W., see Sowa, J.F. 223
Leyton-Brown, K., see Nudelman, E. 89, 117
Li, C.M. 89, 106, 115
Li, C.M., see Habet, D. 107
Li, H., see Zhang, D. 353
Li, S. 565
Li, X.Y. 89, 107
Liang, A., see Soergel, D. 168
Liberatore, P. 348, 349
Lichtenstein, O. 521
Lierler, Y., see Giunchiglia, E. 286
Liffiton, M.H., see Darga, P.T. 105
Lifschitz, V. 19, 69, 243, 260, 262, 264–267,
274, 275, 297, 299, 615, 654, 675, 684–687,
689, 694, 732, 733, 735, 737, 761, 766, 772,
773, 876, 909, 919
Lifschitz, V., see Akman, V. 700, 761
Lifschitz, V., see Bar-Hillel, Y. 67, 70
Lifschitz, V., see Brewka, G. 416
Lifschitz, V., see Campbell, J. 761
Lifschitz, V., see Dimopoulos, Y. 698, 700
Lifschitz, V., see Dogandag, S. 761
Lifschitz, V., see Ferraris, P. 286, 292, 309
Lifschitz, V., see Fisher, M. 428
Lifschitz, V., see Gelfond, M. 89, 253, 265,
285, 286, 291, 303, 309, 697, 698, 770, 793,
796, 813, 843
Lifschitz, V., see Giunchiglia, E. 697, 711,
735, 761, 763, 767, 768, 770, 771, 843, 862,
871
Lifschitz, V., see Halpern, J.Y. 908
Lifschitz, V., see Kartha, G.N. 735
Lifschitz, V., see Lee, J. 761
Lifschitz, V., see Lin, F. 448
Lifschitz, V., see McCarthy, J. 285
Lifschitz, V., see Mueller, E. 810
Lifschitz, V., see Reiter, R. 651, 654, 656, 862
Ligozat, G. 523, 556, 567, 577, 579, 580
Ligozat, G., see Renz, J. 576, 577, 579
Limongelli, C., see Mayer, M.C. 532
Lin, A., see Cohen, P.R. 62, 73
Lin, A., see Youn, P. 60
Lin, F. 277, 286, 297, 448, 513, 522, 651,
653, 654, 656–662, 666, 667, 694, 731, 735,
737, 742, 761, 814, 874, 876
Lin, F., see Lespérance, Y. 873, 906
Lin, F., see Levesque, H.J. 651, 862, 877, 906
Lin, K., see Farley, A. 384
Lin, S. 107
Lin, Y. 484
Linder, B. 873
Linder, B., see van der Hoek, W. 873
Lindstrom, S. 336, 353
Linton, S., see Gent, I.P. 106
Linton, S., see Roney-Dougal, C. 193
Lisitsa, A., see Degtyarev, A. 528
Little, J.A. 494
Littman, M.L. 120
Liu, C. 532
Liu, H. 813
Liu, J. 553, 570
Liu, Y. 567, 875
Lloyd, J.W. 197, 198
Lloyd, J.W., see Baader, F. 149
Lloyd, J.W., see Lifschitz, V. 243
Löchner, B., see Gaillourdet, J.-M. 43
Löckenhoff, C., see Valente, A. 934
Logemann, G., see Davis, M. 21, 24, 30, 92,
185
Lomuscio, A. 644, 909
Lomuscio, A., see Raimondi, F. 909
Long, D. 749
Long, D., see Fox, M. 106, 532, 870
Long, D.E., see Burch, J.R. 533
Lopez, A., see Balbiani, B. 569
Loui, R.P., see Chesñevar, C.I. 277
Loui, R.P., see Schubert, L.K. 654, 694, 710,
712
Loui, R.P., see Simari, G.R. 277
Loveland, D.W. 20, 22, 34, 36
Loveland, D.W., see Davis, M. 21, 24, 30, 92,
185
Loveland, D.W., see Gelernter, H. 37
Lovett, A., see Tomai, E. 383
Lowe, J., see Baker, C. 387
Lowry, M.R., see Smith, D.R. 59
Lowry, M.R., see Stickel, M.E. 59
Lozano, J., see Inza, I. 494
Lozano-Perez, T. 615
Luby, M. 116
Author Index 967
Luby, M., see Dagum, P. 485
Luciano, J., see Ruttenberg, A. 168
Luck, M., see d’Inverno, M. 897
Lugrin, J., see Hartley, S. 386
Lui, C.N., see Chow, C.K. 497
Lukasiewicz, T., see Eiter, T. 169, 310, 761
Lukaszewicz, W. 242, 252
Lukaszewicz, W., see Doherty, P. 265
Łukaszewicz, W., see Doherty, P. 685, 686,
710, 712, 731, 733
Luks, E.M., see Crawford, J.M. 105
Luks, E.M., see Dixon, H.E. 106
Luks, G., see Crawford, J.M. 193
Lundell, M. 374
Lunze, J., see Biswas, G. 438
Lusk, E., see Boyer, R. 58
Lusk, E., see Marek, V.W. 253, 274
Lusk, E., see Wos, L. 34
Lutz, C. 143, 150, 154, 155
Lutz, C., see Baader, F. 139, 146, 155, 161,
163, 165, 169
Lutz, C., see Kontchakov, R. 530
Lutz, C., see Walther, D. 916
Lynce, I. 102, 117
Lynch, C., see Bachmair, L. 43
Ma, J. 519, 522
Ma, L., see Kershenbaum, A. 168
Ma, W., see Orgun, M. 532
MacCartney, B. 65
MacGregor, R. 138
Machado, B. 385
Macii, E., see Bahar, R.I. 479
MacIntyre, E., see Gent, I.P. 186
MacKay, D.J.C., see Frey, B.J. 486, 487
MacKenzie, P.D. 103
Mackworth, A.K. 182, 183, 185, 191, 577
Mackworth, A.K., see de Kleer, J.D. 408,
410, 411, 413, 414, 458
MacNish, C., see Williams, M.-A. 334, 335
Madali
´
nska-Bugaj, E., see Doherty, P. 712
Maddux, R., see Ladkin, P.B. 523
Madhusudan, P., see Alur, R. 517, 518
Madigan, C.F., see Moskewicz, M.W. 89, 94,
95, 97, 100, 116
Madigan, C.F., see Zhang, L. 97, 99, 100
Madigan, D., see Hanks, S. 535
Mador-Haim, S., see Armoni, R. 534
Magee, D., see Cohn, A.G. 383
Magee, D., see Needham, C. 383
Magee, D.R., see Galata, A. 583
Magidor, M., see Kraus, S. 268, 270
Magidor, M., see Lehmann, D. 270, 271
Magidor, M., see Schlechta, K. 346
Magnini, B., see Bar-Haim, R. 806
Magnini, M., see Dagan, I. 806, 813
Magnusson, M., see Kvarnström, J. 713, 749
Maguitman, A.G., see Chesñevar, C.I. 277
Maher, M.J., see Antoniou, G. 276
Maher, M.J., see Jaffar, J. 197
Maher, M.J., see Thornton, J.R. 530
Mahoney, S.M., see Laskey, K.B. 491
Maibaum, T., see Stirling, C. 529
Maier, D. 472
Mailharro, D., see Junker, U. 202
Maiorano, S., see Clark, C. 782, 783, 790, 792
Majercik, S.M., see Littman, M.L. 120
Majumdar, A.K., see Sowa, J.F. 223
Makatchev, M., see Jordan, P. 386
Makinson, D. 242, 252, 270, 272, 298, 321,
346, 353
Makinson, D., see Alchourron, C. 317, 319,
322, 324, 331
Makinson, D., see Alchourrón, C.E. 902
Makinson, D., see Gärdenfors, P. 325, 326,
353
Malik, S., see Moskewicz, M.W. 89, 94, 95,
97, 100, 116
Malik, S., see Zhang, L. 97, 99, 100, 118
Mallot, H.A. 551
Mandler, J., see Dubois, O. 111
Maneva, E.N. 112
Mang, F.Y.C., see Alur, R. 517, 913
Manna, Z. 528, 529, 531, 635, 666, 907
Manna, Z., see Abadi, M . 530, 532
Manna, Z., see Bjørner, N. 532
Manna, Z., see Halpern, J.Y. 519, 523
Manna, Z., see Kesten, Y. 518, 522
Manna, Z., see Moszkowski, B. 519
Mannila, H., see Eiter, T. 293
Manning, C. 73
Manning, C., see Haghighi, A. 813
Manolios, P., see Kaufmann, M. 20, 22, 57, 60
Mántaras, R.L. de, see Baral, C. 863
Mappus IV, R.L., see Ferguson, R.W. 554
Maratea, M., see Babovich, Y. 286, 297
Maratea, M., see Giunchiglia, E. 286
Marcu, D., see Lespérance, Y. 906
Marcus, S. 930
Marcus, S., see McDermott, J. 930, 934
Marek, V.W. 242, 247, 249, 251–253, 255,
258, 260, 273, 274, 285, 286, 309
Marek, V.W., see Cholewi
´
nski, P. 249
Marek, V.W., see Denecker, M. 274
Margaria, T., see Vardi, M.Y. 913
Marinescu, R. 480
Mark, D.M. 582
Mark, D.M., see Bittner, T. 572
Mark, D.M., see Egenhofer, M.J. 551, 553
Mark, D.M., see Roy, A.J.O. 565
Markert, K., see Bos, J. 62, 806, 808, 809
Markey, N., see Laroussinie, F. 521
Markov, I.L., see Aloul, F.A. 105
968 Author Index
Markov, I.L., see Darga, P.T. 105
Markov, Z., see Mueller, E.T. 700
Marques-Silva, J.P. 89, 94, 95, 97, 100, 106
Marques-Silva, J.P., see Baptista, L. 104, 115
Marques-Silva, J.P., see Lynce, I. 102, 117
Marquis, P., see Amilhastre, J. 202
Marquis, P., see Darwiche, A. 120
Marquis, P., see Konieczny, S. 349
Marriott, K. 182, 197, 198
Mars, N.J.I., see Speel, P.-H. 150
Mars, N.J.I., see Vatcheva, I. 443
Marshall, C.R., see Clark, H.H. 622, 630
Martelli, A. 30
Martin, P.A., see Hobbs, J.R. 61
Marx, M. 524
Marx, M., see Areces, C. 146, 155, 528
Masini, G., see Mohr, R. 183
Maslov, S.Ju. 19
Masolo, C. 555
Masolo, C., see Borgo, S. 555, 558, 570
Masolo, C., see Oltramari, A. 939
Masolo, M., see Borgo, S. 570, 571
Mason, M. 607
Massacci, F., see Donini, F.M. 147, 155
Masterman, M. 213
Mateescu, R., see Dechter, R. 478, 488
Mateis, C., see Eiter, T. 286
Matejka, R., see Le Clair, S. 383
Matsuo, T. 386
Matthews, G., see Curtis, J. 813
Matthews, G., see Friedland, N.S. 780
Matuszek, C. 62, 63, 71
Mavrovouniotis, M. 568, 570
May, W. 530
Maybury, M. 780
Mayer, M.C. 525, 532
Mayer, W. 457
Maynard-Reid, P., see Amir, E. 62
Mays, E. 138
Mazure, B. 107
Mazure, B., see Ostrowski, R. 89
McAllester, D.A. 107
McAllester, D.A., see Baumgartner, P. 29
McAllester, D.A., see Benhamou, F. 200
McAllester, D.A., see Ginsberg, M.L. 107
McAllester, D.A., see Horrocks, I. 139, 149,
155
McAllester, D.A., see Kapur, D. 57
McAllester, D.A., see Selman, B. 700
McAloon, K., see Gomes, C.P. 89, 113
McBride, B., see Hayes, P.J. 218
McBurney, P., see Wooldridge, M.J. 277
McCain, N.C. 304, 654, 694, 735, 737, 761,
767
McCain, N.C., see Giunchiglia, E. 697, 761,
763, 767, 768, 770, 871
McCain, N.C., see Lifschitz, V. 761
McCarthy, J. 3, 60, 61, 67, 69, 240, 260, 282,
285, 309, 369, 649, 651, 653, 656, 660, 684,
689, 709, 731, 732, 737, 756, 759, 776, 906
McCarthy, J., see Bar-Hillel, Y. 67, 70
McCarthy, J., see Hayes, P.J. 303, 310
McCartney, R., see Smith, D.R. 59
McCloskey, S., see Düntsch, I. 575, 576
McCune, W.W. 20, 22, 43
McCune, W.W., see Boyer, R. 58
McDermott, D.V. 67, 69, 70, 213, 252, 258,
273, 274, 522, 843, 871
McDermott, D.V., see Hanks, S. 69, 653, 686,
731, 772
McDermott, J. 930, 934
McDermott, J., see Andreassen, S. 489
McDermott, J., see Marcus, S. 930
McDermott, J.P., see Shoham, Y. 709
McEliece, R.J. 488
McEliece, R.J., see Aji, S.M. 488
McGeoch, L.A., see Johnson, D.S. 108, 188
McGregor, J.J. 185
McGuinness, D.L. 166
McGuinness, D.L., see Baader, F. 55, 135,
139, 144, 147, 149, 150, 154, 169–171, 528
McGuinness, D.L., see Bennett, B. 571
McGuinness, D.L., see Brachman, R.J. 169
McGuinness, D.L., see Fensel, D. 142
McGuinness, D.L., see Hazarika, S.M. 582
McGuinness, D.L., see Patel-Schneider, P.F.
138
McIlraith, S.A. 443
McIlraith, S.A., see Amir, E. 64
McIlraith, S.A., see Choueiry, B. 616
McIlraith, S.A., see Knublauch, H. 168, 169
McIlraith, S.A., see MacCartney, B. 65
McKinsey, J.C.C., see Tarski, A. 570
McLachlan, G.J. 496
McMillan, K.L. 533
McMillan, K.L., see Burch, J.R. 22, 533
McRobbie, M.A., see Ohlbach, H.-J. 265
Meathrel, R.C. 569
Meek, C., see Geiger, D. 487
Mehlhorn, K. 184
Mehrotra, M., see Hayes, P.J. 65
Meiri, I., see Dechter, R. 200, 523
Mejino, J.V.L., see Rosse, C. 939
Melham, T.F., see Gordon, M.J. 22, 56
Melliar-Smith, P.M., see Schwartz, R.L. 519
Mellish, C.S., see Clocksin, W.F. 897
Meltzer, B., see Buchanan, B.G. 617
Meltzer, B., see Burstall, R.M. 666
Meltzer, B., see Gardin, F. 609, 616
Meltzer, B., see Hayes, P.J. 303, 310
Meltzer, B., see McCarthy, J. 67, 240, 649,
651, 653, 684, 759, 906
Meltzer, B., see Sandewall, E. 241
Author Index 969
Mendelzon, A., see Katsuno, H. 343, 349, 352
Menzel, C., see Hayes, P.J. 218, 231
Merz, S. 528
Meseguer, J., see Hendrix, J. 43
Meseguer, P. 195
Meseguer, P., see Larrosa, J. 195
Metzing, D., see Hayes, P.J. 138
Meyer, A.R., see Stockmeyer, L.J. 118, 153
Meyer, J.-J.Ch. 645, 902, 905
Meyer, J.-J.Ch., see Dastani, M. 881
Meyer, J.-J.Ch., see Hindriks, K.V. 877, 881,
905
Meyer, J.-J.Ch., see Linder, B. 873, 891, 899,
901, 902
Meyer, J.-J.Ch., see Ryan, M. 914
Meyer, J.-J.Ch., see van der Hoek, W. 873,
901, 906
Meyer, M.A. 942
Meyer, M.A., see Wallace, R.J. 195
Meyer, T. 169, 353
Meyer, T., see Booth, R. 346
Meyer, T., see Chopra, S. 348
Mézard, M. 89, 111, 112
Micali, S., see Goldwasser, S. 622
Michael, L., see Dimopoulos, Y. 698, 700
Michael, L., see Kakas, A.C. 699, 700
Michel, L., see van Hentenryck, P. 182, 199,
200
Michie, D., see Buchanan, B.G. 617
Michie, D., see Burstall, R.M. 666
Michie, D., see Hayes, P.J. 71, 303, 310, 614
Michie, D., see McCarthy, J. 67, 240, 649,
651, 653, 684, 759, 906
Michie, D., see Sandewall, E. 241
Middeldorp, A. 50
Middeldorp, A., see Hirokawa, N. 41, 49
Middleton, B., see Pradhan, M. 489
Middleton, B., see Shwe, M. 489
Miglioli, P., see Billon, J.-P. 29
Miguel, I., see Flener, P. 192, 193
Miguel, I., see Frisch, A. 193
Mikitiuk, A., see Cholewi
´
nski, P. 249
Milano, M., see Focacci, F. 106
Milicic, M., see Baader, F. 155
Miller, G.A. 780, 787, 789, 794, 814, 939
Miller, G.A., see Harabagiu, S. 786
Miller, R.A. 71, 489, 671, 679, 683, 690, 698,
700, 810
Miller, R.A., see Kakas, A.C. 694, 697–700
Miller, R.A., see Parker, R.C. 489
Miller, S. 58
Milne, R., see Trave-Massuyes, L. 458
Minett, J.W., see Brooks, D.R. 286
Minka, T.P. 487
Minka, T.P., see Welling, M. 488
Minker, J. 285
Minker, J., see Baral, C. 349
Minker, J., see Clark, K.L. 12, 654, 684, 761
Minker, J., see Denecker, M. 274
Minker, J., see Gaasterland, T. 780
Minker, J., see Przymusinski, T.C. 293
Minker, J., see Reiter, R. 250, 251
Minker, J., see Shanahan, M.P. 881
Minsky, M . 67, 69, 71, 138, 597
Minsky, M., see Evans, T. 383
Minsky, M., see McCarthy, J. 649
Minton, S. 107, 187
Miraglia, P., see Friedland, N.S. 780
Miranker, D.P., see Bayardo Jr., R.J. 97
Misra, J., see Chandy, K.M. 637
Missiaen, L. 701
Missiaen, L., see Denecker, M. 674, 699, 701
Mitchell, D.G. 90, 110
Mitchell, D.G., see Cook, S.A. 110
Mitchell, D.G., see Selman, B. 89, 90, 107,
188
Mitchell, T.M. 495
Mitchie, D., see Hayes, P.J. 556
Mitchison, G., see Krogh, A. 473
Mitra, D., see Ligozat, G. 580
Mitra, D., see Renz, J. 567, 571
Mizrahi, T. 635
Modayil, J., see Kuipers, B.J. 583
Moelands, J., see Picardi, C. 456
Mogul, H., see Fielding, J. 827
Mohammed, A. 787, 789
Mohr, R. 183
Mokkedem, A., see Bjesse, P. 89
Moldovan, D. 782, 787, 788
Moldovan, D., see Clark, C. 782, 783, 786,
790, 792
Moldovan, D., see Harabagiu, S. 786, 788
Moldovan, D., see Mohammed, A. 787, 789
Molitor, R., see Baader, F. 162
Molitor, R., see Küsters, R. 169
Moller, F. 526
Möller, O., see Behrmann, G. 533
Möller, R., see Haarslev, V. 139, 147, 150,
166, 168, 169
Molloy, M., see Achlioptas, D. 102
Monasson, R. 111
Monnich, U., see Gabbay, D. 522
Montag, M., see Beschta, A. 446, 452
Montague, R. 784
Montanari, A. 516
Montanari, A., see Bresolin, D. 516
Montanari, A., see Cervesato, I. 672
Montanari, A., see Euzenat, J. 517
Montanari, A., see Goranko, V. 519, 524, 530
Montanari, U. 182, 190
Montanari, U., see Bistarelli, S. 194–196
Montanari, U., see Martelli, A. 30
Moore, B., see Hayes, P.J. 582
970 Author Index
Moore, C., see Jia, H. 113
Moore, J., see Boyer, R. 57, 60
Moore, J.D., see Halpin, H. 701
Moore, J.S., see Kaufmann, M. 20, 22, 57, 60
Moore, R. 786, 873
Moore, R., see Hayes, P.J. 67, 71, 609–611,
614
Moore, R.C. 67, 252, 256, 257, 285, 309, 645,
891, 899, 909
Moore, R.C., see Hobbs, J.R. 71
Morales, A.R., see Son, T.C. 307
Morales, D., see Baral, C. 881
Moran, J., see Frey, B.J. 487
Morancho, E., see Larrosa, J. 196
Morarescu, P., see Moldovan, D . 782
Morgan, J.L., see Bratman, M.E. 894
Morgan, J.L., see Cohen, P.R. 893
Morgenstern, L. 69, 72, 615, 700, 909
Morgenstern, L., see Miller, R.A. 71
Morgenstern, L., see Stein, L.A. 69
Morris, R., see Doherty, P. 711, 712, 717, 737
Moscato, U., see Billon, J.-P. 29
Moses, Y. 513, 635, 644
Moses, Y., see Dwork, C. 635
Moses, Y., see Engelhardt, K. 643
Moses, Y., see Fagin, R. 622, 637, 642, 891,
918
Moses, Y., see Halpern, J.Y. 255, 622, 629,
630, 637, 644
Moses, Y., see Mizrahi, T. 635
Moses, Y., see van Benthem, J.F.A.K. 643
Moskewicz, M.H., see Zhang, L. 97, 99, 100
Moskewicz, M.W. 89, 94, 95, 97, 100, 116
Moss, J.L., see Parikh, R. 353
Moss, L.S., see Baltag, A. 643, 891, 892
Mossel, E., see Maneva, E.N. 112
Mosterman, P. 373, 380, 430
Moszkowski, B. 517, 519, 523, 524, 532
Moszkowski, B., see Hale, R. 532
Moszkowski, B., see Halpern, J.Y. 519, 523
Motik, B. 169
Motik, B., see Hustadt, U. 146, 155, 156
Motik, B., see Kazakov, Y. 155
Motta, E. 932
Mozetic, I. 421
Mueller, E. 513, 532, 810
Mueller, E.T. 310, 671, 679, 681, 683, 684,
687, 693, 699–701, 709, 782, 783, 810, 812,
813
Muggleton, S. 70, 492
Mugnier, M.-L., see Dau, F. 235
Mukerjee, A. 554, 568
Muller, D.E. 156
Müller, J.P., see Fischer, K. 897
Müller, J.P., see Lespérance, Y. 906
Müller, J.P., see Rao, A.S. 897
Muller, P. 582
Mulvehill, A., see Lacy, L. 168
Mundici, D., see Billon, J.-P. 29
Murdock, J.W., see Kershenbaum, A. 168
Murphy, K., see Binder, J. 484
Murphy, K.P. 486, 487, 489
Musen, M. 825
Musen, M., see Knublauch, H. 168, 169
Musen, M., see Puerta, A.R. 934
Museros, L. 382
Musliner, D.J., see Goldman, R.P. 862
Musser, D., see Guttag, J.V. 47
Mustapha, S. 385
Myers, J.D., see Miller, R.A. 489
Myers, K.L., see Karp, P.D. 826
Nadel, A. 89, 94, 95
Nadel, L., see Shanahan, M. 684, 687
Nagel, H.-H., see Köhler, C. 554
Nagle, J.A., see Nagle, T.E. 235
Nagle, T.E. 235
Naor, A., see Achlioptas, D. 111
Narasimhan, S. 438, 458
Narasimhan, S., see Karsai, G. 438, 458
Narayanan, H., see Forbus, K.D. 382
Narayanan, N.H., see DeCuyper, J. 609, 617
Narayanan, N.H., see Gardin, F. 609, 616
Narayanan, N.H., see Glasgow, J. 583
Nardi, D., see Baader, F. 55, 135, 139, 144,
147, 149, 150, 154, 169–171, 528
Nardi, D., see Calvanese, D. 135, 139, 166
Nardi, D., see de Giacomo, G. 881
Nardi, D., see Donini, F.M. 138, 139, 169
Nardi, D., see Wagner, T. 553
Narendran, P., see Baader, F. 162
Narendran, P., see Comon, H. 48
Narendran, P., see Kapur, D. 54, 57
Narizzano, M., see Giunchiglia, E. 118
Nau, D., see Ghallab, M. 841, 876
Nayak, A. 330, 342–345
Nayak, A., see Delgrande, J.P. 353
Nayak, A., see Peppas, P. 352, 353
Nayak, P. 378, 407, 611, 616
Nayak, P., see Williams, B. 423, 431, 458
Nebel, B. 138, 149, 150, 161, 163, 200, 330,
334, 335, 574, 578, 579
Nebel, B., see Asher, N. 572
Nebel, B., see Baader, F. 150
Nebel, B., see Benferhat, S. 276
Nebel, B., see Dimopoulos, Y. 306
Nebel, B., see Gabbay, D.M. 265
Nebel, B., see Gerevini, A . 583
Nebel, B., see Heinsohn, J. 150
Nebel, B., see Köhler, C. 554
Nebel, B., see Renz, J. 570, 574, 575,
578–581
Nebel, B., see Thrun, S. 551, 872
Author Index 971
Needham, C. 383
Needham, R.M., see Burrows, M. 60
Negoita, M.Gh., see Liu, H. 813
Neiger, G. 635
Nejdl, W., see Friedrich, G. 414, 449
Nelson, G. 20, 53, 55
Németi, I., see Andréka, H. 145
Nemhauser, G., see Easton, K. 189
Nerode, A., see Niemelä, I. 687, 700
Nesmith, D., see Andrews, P.B. 20
Neumann, A., see Gebser, M. 286
Neumann, M., see Tullos, D. 384
Newell, A. 929
Newell, A., see Bell, C.G. 60
Newman, M.H.A. 46, 47
Ng, A., see Haghighi, A. 813
Ng, G., see Franconi, E. 169
Ng, H.-K., see Lespérance, Y. 881
Ngo, L. 491, 492
Nguyen, Q.H., see Deplagne, E. 43
Nicholson, A. 472
Nicod, J. 570
Nicolas, P., see Nouioua, F. 813
Nicollin, X., see Alur, R. 518, 525
Nicollin, X., see Henzinger, T.A. 527
Nielsen, P. 382, 604, 613, 616
Nielsen, P., see Forbus, K.D. 382, 384, 552,
583, 607, 615, 616
Nielsen, T. 479
Niemelä, I. 247, 249, 258–260, 265, 266, 275,
286, 297, 302, 687, 700
Niemelä, I., see Aravindan, C. 66
Niemelä, I., see Brewka, G. 416
Niemelä, I., see Dimopoulos, Y. 698, 700
Niemelä, I., see Dix, J. 249, 260
Niemelä, I., see Janhunen, T. 302
Niemelä, I., see Soininen, T. 286
Nieuwenborgh, D.V., see Heymans, S. 288
Nieuwenhuis, R. 41, 43
Nieuwenhuis, R., see Comon, H. 48
Nieuwenhuis, R., see Franconi, E. 66
Niles, I., see Fowler, A. 806
Nilsson, N.J. 61, 649, 870
Nilsson, N.J., see Fikes, R.E. 61, 770, 842,
870, 876, 909
Nilsson, N.J., see Genesereth, M. 67
Nilsson, N.J., see Genesereth, M.R. 689
Nipkow, T. 20, 60
Nipkow, T., see Baader, F. 43, 71
Nipkow, T., see Sattler, U. 155
Nipkow, T., see Stenz, G. 29
Nishimura, N. 114
Niso, D., see Larrosa, J. 196
Nivat, M., see Bachmair, L . 48
Noack, A., see Beyer, D. 533
Nogueira, M. 70, 286, 306
Nogueira, M., see Baral, C. 881
Nonnengart, A. 530, 700
Nordberg, K., see Doherty, P. 870
Norman, G., see Kwiatkowska, M.Z. 533
Norvig, P., see Russell, S.J. 67, 89
Nouioua, F. 813
Novello, S., see Wallace, M. 199
Novikov, Y., see Goldberg, E. 89, 94
Novischi, A., see Fowler, A. 806
Novischi, A., see Moldovan, D. 782
Noy, N. 941
Noy, N., see Knublauch, H. 168, 169
Nudelman, E. 89, 117
Nuijten, W., see Baptiste, P. 202
Nunes, J.H.T., see Levesque, H.J. 893
Nunes, J.H.T., see Mark, D.M. 582
Nute, D. 276
Nutt, W. 574
Nutt, W., see Baader, F. 149
Nutt, W., see Buchheit, M. 139
Nutt, W., see Donini, F.M. 138, 139
Nutt, W., see Hollunder, B. 138
Nuttle, T. 384
Oberthaler, J., see Golbeck, J. 830
Odell, J. 939
Odell, J., see Artikis, A. 761
O’Hara, K., see Motta, E. 932
Ohlbach, H.-J. 265, 516, 530
Ohlbach, H.-J., see Doherty, P. 686, 710, 712,
731
Ohlbach, H.-J., see Fisher, M. 905
Ohlbach, H.-J., see Gabbay, D.M. 265, 542,
546
Ohlebusch, E. 43
Øhrstrøm, P., see Hasle, P. 530
Øhrstrom, P., see Schärfe, H. 235
Ohsaki, H., see Hendrix, J. 43
Oikarinen, E., see Janhunen, T. 300
Older, W.J. 199
Olesen, K.G., see Andreassen, S. 489
Olesen, K.G., see Jensen, F.V. 476, 477
Oliver, P., see Mukerjee, A. 554
Olivero, A., see Alur, R. 518, 525
Olivetti, N., see Bonatti, P.A. 249
Olivetti, N., see Giordano, L. 353
Olsen, G.R., see Gruber, T.R. 940
Oltramari, A. 939
Ooi, B., see Clementini, D. 382
Ooi, B., see Egenhofer, M.J. 555, 566, 572
Ooi, B.C., see Clementini, E. 566
Oosterom, P., see Clementini, D. 382
Oosterom, P., see Clementini, E. 566
Oppacher, F. 151
Oppen, D.C. 55
Oppen, D.C., see Nelson, G. 20, 53, 55
Oppeneheim, P., see Hempel, C.G. 70